Control of systems integrating logic, dynamics, and constraints, Automatica 35 (3 (1999)

by A Bemporad, M Morari
Venue:407–427. Cuijpers, M.A. Reniers / Journal of Logic and Algebraic Programming 62