Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1790 . Springer-Verlag, pp. 45-58. ISBN 978-3-540-67259-3 (2000)