Title :
On the existence of executions of hybrid automata
Author :
Lygeros, John ; Johansson, Karl Henrik ; Sastry, Shankar ; Egerstedt, Magnus
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
Necessary and sufficient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are, developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that exhibit infinitely many discrete transitions in finite time
Keywords :
continuous time systems; deterministic automata; discrete systems; reachability analysis; set theory; hybrid automata; infinitely many discrete transitions; local existence; necessary and sufficient conditions; nonblocking automata; uniqueness of executions; Analytical models; Automata; Automatic control; Control system analysis; Control system synthesis; Cost accounting; Extraterrestrial phenomena; Optimal control; Sufficient conditions; Topology;
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.831255
