Viability of Hybrid Systems A Controllability Operator Approach - Labinaz, G.; Guay, M. (Springer Netherlands, 2012)