Key points are not available for this paper at this time.
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.
Lygeros et al. (Wed,) studied this question.