{"publication_status":"published","extern":"1","date_published":"1997-01-01T00:00:00Z","issue":"1-2","abstract":[{"lang":"eng","text":"A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing continuous change. HyTech is a symbolic model checker for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically by computing with polyhedral state sets. A key feature of HyTech is its ability to perform parametric analysis, i.e., to determine the values of design parameters for which a linear hybrid automaton satisfies a temporal-logic requirement."}],"type":"journal_article","day":"01","month":"01","article_processing_charge":"No","date_updated":"2022-08-17T11:14:15Z","title":"HyTech: A model checker for hybrid systems","quality_controlled":"1","status":"public","oa_version":"None","date_created":"2018-12-11T12:09:08Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer","scopus_import":"1","article_type":"original","citation":{"mla":"Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” <i>Software Tools For Technology Transfer</i>, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:<a href=\"https://doi.org/10.1007/s100090050008\">10.1007/s100090050008</a>.","ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” <i>Software Tools For Technology Transfer</i>, vol. 1, no. 1–2. Springer, pp. 110–122, 1997.","chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” <i>Software Tools For Technology Transfer</i>. Springer, 1997. <a href=\"https://doi.org/10.1007/s100090050008\">https://doi.org/10.1007/s100090050008</a>.","ista":"Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.","apa":"Henzinger, T. A., Ho, P., &#38; Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. <i>Software Tools For Technology Transfer</i>. Springer. <a href=\"https://doi.org/10.1007/s100090050008\">https://doi.org/10.1007/s100090050008</a>","ama":"Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. <i>Software Tools For Technology Transfer</i>. 1997;1(1-2):110-122. doi:<a href=\"https://doi.org/10.1007/s100090050008\">10.1007/s100090050008</a>","short":"T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122."},"language":[{"iso":"eng"}],"_id":"4493","doi":"10.1007/s100090050008","page":"110 - 122","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"last_name":"Ho","first_name":"Pei","full_name":"Ho, Pei"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"publication":"Software Tools For Technology Transfer","publication_identifier":{"issn":["1433-2779"]},"acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, the NSF CAREER award CCR-501708, NSF grant CCR-9504469, AFOSR contract F49620-93-1-0056, ARO MURI grant DAAH-04-96-1-0341, ARPA grant  AG2-892, and SRC contract 95-DC-324.036.","intvolume":"         1","volume":1,"publist_id":"236","year":"1997"}