Mignone, Domenico and Bemporad, Alberto and Morari, Manfred A framework for control, fault detection, state estimation and verification of hybrid systems. In: American Control Conference. IEEE, San Diego, California, June 1999, pp. 134-138. ISBN 0-7803-4990-3 (1999)