---
res:
  bibo_abstract:
  - We describe a new implementation of HYTECH, a symbolic model checker for hybrid
    systems. Given a parametric description of an embedded system as a collection
    of communicating automata, HYTECH automatically computes the conditions on the
    parameters under which the system satisfies its safety and timing requirements.
    While the original HYTECH prototype was based on the symbolic algebra tool Mathematica,
    the new implementation is written in C++ and builds on geometric algorithms instead
    of formula manipulation. The new HYTECH offers a cleaner and more expressive input
    language, greater portability, superior performance (typically two to three orders
    of magnitude), and new features such as diagnostic error-trace generation. We
    illustrate the effectiveness of the new implementation by applying HYTECH to the
    automatic parametric analysis of the generic railroad crossing benchmark problem
    and to an active structure control algorithm@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.1109/REAL.1995.495196 '
  dct_date: 1995^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0818673370
  dct_language: eng
  dct_publisher: IEEE@
  dct_title: 'HyTech: The next generation@'
...