Bemporad, Alberto and Giorgetti, Nicolò Logic-based solution methods for optimal control of hybrid systems. IEEE Transactions on Automatic Control, 51 (6). pp. 963-976. ISSN 0018-9286 (2006)