{"intvolume":"         1","extern":"1","oa_version":"None","publication_status":"published","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.","article_type":"original","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"first_name":"Pei","full_name":"Ho, Pei","last_name":"Ho"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"year":"1997","type":"journal_article","date_created":"2018-12-11T12:09:08Z","volume":1,"month":"01","page":"110 - 122","date_updated":"2022-08-17T11:14:15Z","_id":"4493","title":"HyTech: A model checker for hybrid systems","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","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."}],"publist_id":"236","publisher":"Springer","language":[{"iso":"eng"}],"issue":"1-2","article_processing_charge":"No","citation":{"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>","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>.","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>","short":"T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.","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>.","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."},"scopus_import":"1","doi":"10.1007/s100090050008","publication_identifier":{"issn":["1433-2779"]},"date_published":"1997-01-01T00:00:00Z","status":"public","day":"01","publication":"Software Tools For Technology Transfer","quality_controlled":"1"}