1. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems;Branicky;IEEE Transactions on Automatic Control,1998
2. A geometric approach to bisimulation and verification of hybrid systems. In Hybrid Systems: Computation and Control, 61–75;Broucke,1999
3. Logics for hybrid systems;Davoren;Proceedings of the IEEE,2000
4. Output feedback control of switched nonlinear systems using multiple lyapunov functions;El-Farra;Systems & Control Letters,2005
5. Hybrid Dynamical Systems: Modeling, Stability and Robustness;Goebel,2012