Bemporad, Alberto and Mignone, Domenico and Morari, Manfred An efficient branch and bound algorithm for state estimation and control of hybrid systems. In: European control conference, Karlsruhe, Germany (1999)