Alur, Rajeev; Henzinger, Thomas AIST Austria ; Wong-Toi, Howard
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
702 - 707
CDC: Decision and Control
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 .