---
_id: '4499'
abstract:
- lang: eng
  text: 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
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Pei
  full_name: Ho, Pei
  last_name: Ho
- first_name: Howard
  full_name: Wong Toi, Howard
  last_name: Wong Toi
citation:
  ama: 'Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: <i>Proceedings
    16th IEEE Real-Time Systems Symposium</i>. IEEE; 1995:56-65. doi:<a href="https://doi.org/10.1109/REAL.1995.495196
    ">10.1109/REAL.1995.495196 </a>'
  apa: 'Henzinger, T. A., Ho, P., &#38; Wong Toi, H. (1995). HyTech: The next generation.
    In <i>Proceedings 16th IEEE Real-Time Systems Symposium</i> (pp. 56–65). Pisa,
    Italy: IEEE. <a href="https://doi.org/10.1109/REAL.1995.495196 ">https://doi.org/10.1109/REAL.1995.495196
    </a>'
  chicago: 'Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.”
    In <i>Proceedings 16th IEEE Real-Time Systems Symposium</i>, 56–65. IEEE, 1995.
    <a href="https://doi.org/10.1109/REAL.1995.495196 ">https://doi.org/10.1109/REAL.1995.495196
    </a>.'
  ieee: 'T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in
    <i>Proceedings 16th IEEE Real-Time Systems Symposium</i>, Pisa, Italy, 1995, pp.
    56–65.'
  ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings
    16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.'
  mla: 'Henzinger, Thomas A., et al. “HyTech: The next Generation.” <i>Proceedings
    16th IEEE Real-Time Systems Symposium</i>, IEEE, 1995, pp. 56–65, doi:<a href="https://doi.org/10.1109/REAL.1995.495196
    ">10.1109/REAL.1995.495196 </a>.'
  short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time
    Systems Symposium, IEEE, 1995, pp. 56–65.
conference:
  end_date: 1995-12-07
  location: Pisa, Italy
  name: 'RTSS: Real-Time Systems Symposium'
  start_date: 1995-12-05
date_created: 2018-12-11T12:09:10Z
date_published: 1995-01-01T00:00:00Z
date_updated: 2022-06-10T09:33:19Z
day: '01'
doi: '10.1109/REAL.1995.495196 '
extern: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/495196
month: '01'
oa_version: None
page: 56 - 65
publication: Proceedings 16th IEEE Real-Time Systems Symposium
publication_identifier:
  isbn:
  - '0818673370'
publication_status: published
publisher: IEEE
publist_id: '232'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'HyTech: The next generation'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1995'
...