Dynamical properties of hybrid automata (2003)

by J Lygeros, K H Johansson, S N Simić, J Zhang, S S Sastry
Venue:IEEE Transactions on Automatic Control