article published yes Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 Pei Ho author Howard Wong Toi author 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. Springer1997 eng 1433-277910.1007/s100090050008 11-2110 - 122 yes 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. T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122. 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. 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> 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>. 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>. 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> 44932018-12-11T12:09:08Z2022-08-17T11:14:15Z