--- res: bibo_abstract: - 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.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Pei foaf_name: Ho, Pei foaf_surname: Ho - foaf_Person: foaf_givenName: Howard foaf_name: Wong Toi, Howard foaf_surname: Wong Toi bibo_doi: 10.1007/s100090050008 bibo_issue: 1-2 bibo_volume: 1 dct_date: 1997^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/1433-2779 dct_language: eng dct_publisher: Springer@ dct_title: 'HyTech: A model checker for hybrid systems@' ...