---
_id: '4618'
abstract:
- lang: eng
text: We introduce the framework of hybrid automata as a model and specification
language for hybrid systems. Hybrid automata can be viewed as a generalization
of timed automata, in which the behavior of variables is governed in each state
by a set of differential equations. We show that many of the examples considered
in the workshop can be defined by hybrid automata. While the reachability problem
is undecidable even for very restricted classes of hybrid automata, we present
two semidecision procedures for verifying safety properties of piecewiselinear
hybrid automata, in which all variables change at constant rates. The two procedures
are based, respectively, on minimizing and computing fixpoints on generally infinite
state spaces. We show that if the procedures terminate, then they give correct
answers. We then demonstrate that for many of the typical workshop examples, the
procedures do terminate and thus provide an automatic way for verifying their
properties.
acknowledgement: BRA ESPRIT project REACT, National Science Foundation under grant
CCR-9200794 , United States Air Force Office of Scientific Research contract F49620-93-1-0056.
alternative_title:
- LNCS
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
citation:
ama: 'Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic
approach to the specification and verification of hybrid systems. In: Grossman
R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer;
1993:209-229. doi:10.1007/3-540-57318-6_30'
apa: 'Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid
automata: An algorithmic approach to the specification and verification of hybrid
systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid
Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30'
chicago: 'Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid
Automata: An Algorithmic Approach to the Specification and Verification of Hybrid
Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders
Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.'
ieee: 'R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An
algorithmic approach to the specification and verification of hybrid systems,”
in Hybrid Systems, 1993, vol. 736, pp. 209–229.'
ista: 'Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic
approach to the specification and verification of hybrid systems. Hybrid Systems.
, LNCS, vol. 736, 209–229.'
mla: 'Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification
and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman
et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.'
short: R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode,
A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
date_created: 2018-12-11T12:09:47Z
date_published: 1993-01-01T00:00:00Z
date_updated: 2022-03-21T11:04:54Z
day: '01'
doi: 10.1007/3-540-57318-6_30
editor:
- first_name: Robert
full_name: Grossman, Robert
last_name: Grossman
- first_name: Anil
full_name: Nerode, Anil
last_name: Nerode
- first_name: Anders
full_name: Ravn, Anders
last_name: Ravn
- first_name: Hans
full_name: Rischel, Hans
last_name: Rischel
extern: '1'
intvolume: ' 736'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/3-540-57318-6_30
month: '01'
oa_version: None
page: 209 - 229
publication: Hybrid Systems
publication_status: published
publisher: Springer
publist_id: '87'
quality_controlled: '1'
status: public
title: 'Hybrid automata: An algorithmic approach to the specification and verification
of hybrid systems'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 736
year: '1993'
...