Symbolic analysis of hybrid systems

R. Alur, T.A. Henzinger, H. Wong Toi, in:, IEEE, 1997, pp. 702–707.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Author
; ;
Abstract
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
Publishing Year
Date Published
1997-01-01
Page
702 - 707
Conference
CDC: Decision and Control
IST-REx-ID

Cite this

Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717 
Alur, R., Henzinger, T. A., & Wong Toi, H. (1997). Symbolic analysis of hybrid systems (pp. 702–707). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/CDC.1997.650717 
Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems,” 702–7. IEEE, 1997. https://doi.org/10.1109/CDC.1997.650717  .
R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” presented at the CDC: Decision and Control, 1997, pp. 702–707.
Alur R, Henzinger TA, Wong Toi H. 1997. Symbolic analysis of hybrid systems. CDC: Decision and Control 702–707.
Alur, Rajeev, et al. Symbolic Analysis of Hybrid Systems. IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717  .

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar