1. Alessandro Alessio and Alberto Bemporad . 2009. A Survey on Explicit Model Predictive Control . In Nonlinear Model Predictive Control: Towards New Challenging Applications . Springer , Berlin, Germany , 345–369. Alessandro Alessio and Alberto Bemporad. 2009. A Survey on Explicit Model Predictive Control. In Nonlinear Model Predictive Control: Towards New Challenging Applications. Springer, Berlin, Germany, 345–369.
2. R. Alur R. P. Kurshan and M. Viswanathan. 1998. Membership questions for timed and hybrid automata. IEEE. R. Alur R. P. Kurshan and M. Viswanathan. 1998. Membership questions for timed and hybrid automata. IEEE.
3. Observability and controllability of piecewise affine and hybrid systems
4. Alberto Bemporad and Nicolò Giorgetti . 2004. A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems . In Hybrid Systems: Computation and Control (HSCC’04) . Springer , 126–141. Alberto Bemporad and Nicolò Giorgetti. 2004. A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC’04). Springer, 126–141.
5. Control of systems integrating logic, dynamics, and constraints