Regularization Of Zeno Hybrid Automata

. Hybrid automata that can exhibit infinitely many discrete transitions in finite time are studied. These are called Zeno hybrid automata and it is shown that they can be regularized, so that the executions of the automata are defined also for times beyond the Zeno time. The theory is illustrated on hybrid models for a bouncing ball and a water tank control problem. 1. Introduction There has been a great deal of recent activity in the area of hybrid systems. Despite considerable advances, however, even fundamental issues, such as conditions for existence and uniqueness of executions for classes of hybrid systems, are still the topic of intense research activity [18]. In addition to the usual technical conditions associated with existence results for conventional continuous dynamical systems, new complications due to blocking and nondeterminism need to be considered in the analysis of hybrid systems. Yet another issue is the Zeno phenomenon, where the executions of the hybrid system ex..