A hybrid system approach to modeling and optimal control of DISC engines. - Alberto Bemporad; Nicolò Giorgetti; Ilya V. Kolmanovsky; Davor Hrovat (CDC, 2002)

A logic-based hybrid solver for optimal control of hybrid systems. - Alberto Bemporad; Nicolò Giorgetti (CDC, 2003)

SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems. - Alberto Bemporad; Nicolò Giorgetti (CPAIOR, 2004)

A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. - Alberto Bemporad; Nicolò Giorgetti (HSCC, 2004)

Bounded Model Checking of Hybrid Dynamical Systems. - Nicolò Giorgetti; George J. Pappas; Alberto Bemporad (CDC/ECC, 2005)

Logic-based solution methods for optimal control of hybrid systems. - Alberto Bemporad; Nicolò Giorgetti (IEEE Trans. Autom. Control., 2006)