---
_id: '4617'
abstract:
- lang: eng
  text: 'We extend the timed-automaton model for real-time systems [AD90] to a formal
    model for hybrid systems: while the continuous variables of a timed automaton
    are clocks that measure time, the continuous variables of a hybrid system are
    governed by arbitrary differential equations. We then adopt the verification methodology
    for timed automata [ACD90, ACD+92, HNSY92] to analyze hybrid systems: while the
    verification problem is decidable for timed automata, we obtain semidecision procedures
    for the class of hybrid systems whose continuous variables change in a piecewise
    linear fashion. '
alternative_title:
- LNCIS
article_processing_charge: No
author:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- first_name: Costas
  full_name: Courcoubetis, Costas
  last_name: Courcoubetis
- 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: Xavier
  full_name: Nicollin, Xavier
  last_name: Nicollin
- first_name: Alfredo
  full_name: Olivero, Alfredo
  last_name: Olivero
- first_name: Joseph
  full_name: Sifakis, Joseph
  last_name: Sifakis
- first_name: Sergio
  full_name: Yovine, Sergio
  last_name: Yovine
citation:
  ama: 'Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid
    systems. In: <i>11th International Conference on Analysis and Optimization of
    Systems Discrete Event Systems</i>. Vol 199. Springer; 1994:331-351. doi:<a href="https://doi.org/10.1007/BFb0033565">10.1007/BFb0033565</a>'
  apa: 'Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero,
    A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In <i>11th
    International Conference on Analysis and Optimization of Systems Discrete Event
    Systems</i> (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. <a href="https://doi.org/10.1007/BFb0033565">https://doi.org/10.1007/BFb0033565</a>'
  chicago: Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin,
    Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis
    of Hybrid Systems.” In <i>11th International Conference on Analysis and Optimization
    of Systems Discrete Event Systems</i>, 199:331–51. Springer, 1994. <a href="https://doi.org/10.1007/BFb0033565">https://doi.org/10.1007/BFb0033565</a>.
  ieee: R. Alur <i>et al.</i>, “The algorithmic analysis of hybrid systems,” in <i>11th
    International Conference on Analysis and Optimization of Systems Discrete Event
    Systems</i>, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.
  ista: 'Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis
    J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International
    Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS:
    Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199,
    331–351.'
  mla: Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” <i>11th
    International Conference on Analysis and Optimization of Systems Discrete Event
    Systems</i>, vol. 199, Springer, 1994, pp. 331–51, doi:<a href="https://doi.org/10.1007/BFb0033565">10.1007/BFb0033565</a>.
  short: R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero,
    J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization
    of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
conference:
  end_date: 1994-06-17
  location: Sophia-Antipolis, France
  name: 'ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems'
  start_date: 1994-06-15
date_created: 2018-12-11T12:09:46Z
date_published: 1994-01-01T00:00:00Z
date_updated: 2022-06-01T14:14:31Z
day: '01'
doi: 10.1007/BFb0033565
extern: '1'
intvolume: '       199'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/BFb0033565
month: '01'
oa_version: None
page: 331 - 351
publication: 11th International Conference on Analysis and Optimization of Systems
  Discrete Event Systems
publication_identifier:
  isbn:
  - 978-3-540-19896-3
publication_status: published
publisher: Springer
publist_id: '91'
quality_controlled: '1'
status: public
title: The algorithmic analysis of hybrid systems
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 199
year: '1994'
...