Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Lygeros et al. (2003) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: