---
res:
  bibo_abstract:
  - 'Since hybrid embedded systems are pervasive and often safety-critical, guarantees
    about their correct performance are desirable. The hybrid systems model checker
    HyTech provides such guarantees and has successfully verified some systems. However,
    HyTech severely restricts the continuous dynamics of the system being analyzed
    and, therefore, often forces the use of prohibitively expensive discrete and polyhedral
    abstractions. We have designed a new algorithm, which is capable of directly verifying
    hybrid systems with general continuous dynamics, such as linear and nonlinear
    differential equations. The new algorithm conservatively overapproximates the
    reachable states of a hybrid automaton by using interval numerical methods. Interval
    numerical methods return sets of points that enclose the true result of numerical
    computation and, thus, avoid distortions due to the accumulation of round-off
    errors. We have implemented the new algorithm in a successor tool to HyTech called
    HyperTech. We consider three examples: a thermostat with delay, a two-tank water
    system, and an air-traffic collision avoidance protocol. HyperTech enables the
    direct, fully automatic analysis of these systems, which is also more accurate
    than the use of polyhedral abstractions.@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: Benjamin
      foaf_name: Horowitz, Benjamin
      foaf_surname: Horowitz
  - foaf_Person:
      foaf_givenName: Ritankar
      foaf_name: Majumdar, Ritankar
      foaf_surname: Majumdar
  - foaf_Person:
      foaf_givenName: Howard
      foaf_name: Wong Toi, Howard
      foaf_surname: Wong Toi
  bibo_doi: 10.1007/3-540-46430-1_14
  bibo_volume: 1790
  dct_date: 2000^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/9783540672593
  dct_language: eng
  dct_publisher: Springer@
  dct_title: 'Beyond HyTech: Hybrid systems analysis using interval numerical methods@'
...