---
_id: '4605'
abstract:
- lang: eng
  text: 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. In this survey,
    we demonstrate symbolic algorithms for the verification of and controller synthesis
    for linear hybrid automata, a subclass of hybrid automata that can be analyzed
    automatically
article_processing_charge: No
author:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- 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: Howard
  full_name: Wong Toi, Howard
  last_name: Wong Toi
citation:
  ama: 'Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In:
    <i>Proceedings of the 36th IEEE Conference on Decision and Control</i>. IEEE;
    1997:702-707. doi:<a href="https://doi.org/10.1109/CDC.1997.650717  ">10.1109/CDC.1997.650717 
    </a>'
  apa: 'Alur, R., Henzinger, T. A., &#38; Wong Toi, H. (1997). Symbolic analysis of
    hybrid systems. In <i>Proceedings of the 36th IEEE Conference on Decision and
    Control</i> (pp. 702–707). San Diego, CA, USA: IEEE. <a href="https://doi.org/10.1109/CDC.1997.650717 
    ">https://doi.org/10.1109/CDC.1997.650717  </a>'
  chicago: Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis
    of Hybrid Systems.” In <i>Proceedings of the 36th IEEE Conference on Decision
    and Control</i>, 702–7. IEEE, 1997. <a href="https://doi.org/10.1109/CDC.1997.650717 
    ">https://doi.org/10.1109/CDC.1997.650717  </a>.
  ieee: R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,”
    in <i>Proceedings of the 36th IEEE Conference on Decision and Control</i>, San
    Diego, CA, USA, 1997, pp. 702–707.
  ista: 'Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems.
    Proceedings of the 36th IEEE Conference on Decision and Control. CDC: Decision
    and Control, 702–707.'
  mla: Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.” <i>Proceedings
    of the 36th IEEE Conference on Decision and Control</i>, IEEE, 1997, pp. 702–07,
    doi:<a href="https://doi.org/10.1109/CDC.1997.650717  ">10.1109/CDC.1997.650717 
    </a>.
  short: R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference
    on Decision and Control, IEEE, 1997, pp. 702–707.
conference:
  end_date: 1997-12-12
  location: San Diego, CA, USA
  name: 'CDC: Decision and Control'
  start_date: 1997-12-12
date_created: 2018-12-11T12:09:43Z
date_published: 1997-12-01T00:00:00Z
date_updated: 2022-08-17T08:08:36Z
day: '01'
doi: '10.1109/CDC.1997.650717  '
extern: '1'
language:
- iso: eng
month: '12'
oa_version: None
page: 702 - 707
publication: Proceedings of the 36th IEEE Conference on Decision and Control
publication_identifier:
  isbn:
  - '0780341872'
publication_status: published
publisher: IEEE
publist_id: '101'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Symbolic analysis of hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '1997'
...