Title :
Symbolic analysis of hybrid systems
Author :
Alur, Rajeev ; Henzinger, Thomas A. ; Wong-Toi, Howard
Author_Institution :
Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
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
Keywords :
automata theory; control system analysis; control system synthesis; differential equations; discrete time systems; symbol manipulation; continuous change; controller synthesis; differential equations; discrete change; dynamical system; hybrid automaton; hybrid systems; linear hybrid automaton verification; symbolic analysis; Automata; Automatic control; Contracts; Control systems; Debugging; Differential equations; Mathematical model; Medical control systems; State-space methods; Vectors;
Conference_Titel :
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4187-2
DOI :
10.1109/CDC.1997.650717
