Deadlock-free piecewise-linear controlled hybrid automata
Michael D. Lemmon · 2002
A controlled hybrid automaton is a hybrid automaton whose continuous-state trajectories satisfy inhomogeneous differential equations. This paper presents sufficient conditions for the existence of periodic global solutions of piecewise-linear controlled hybrid automata.