Control of systems integrating logic, dynamics, and constraints
scientific article; zbMATH DE number 1331886