Title :
Simulation of Zeno hybrid automata
Author :
Johansson, Karl Henrik ; Lygeros, John ; Sastry, Shankar ; Egerstedt, Magnus
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
fDate :
6/21/1905 12:00:00 AM
Abstract :
Zeno hybrid automata are hybrid systems that can exhibit infinitely many discrete transitions in a finite time interval. Such automata arise due to modeling simplifications and may deteriorate simulation efficiency and accuracy considerably. Some basic properties of Zeno hybrid automata are explored. Possible ways to extend a simulation beyond the Zeno time are suggested
Keywords :
automata theory; control system analysis; control system synthesis; Zeno hybrid automata; controller analysis; controller synthesis; discrete transitions; finite time interval; simulation efficiency; Analytical models; Automata; Automatic control; Computational modeling; Equations; Packaging; System analysis and design;
Conference_Titel :
Decision and Control, 1999. Proceedings of the 38th IEEE Conference on
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-5250-5
DOI :
10.1109/CDC.1999.827900
