On the existence of executions of hybrid automata
John Lygeros, Karl Henrik Johansson, Shankar Sastry, Magnus Egerstedt · 2003
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.