Alberto__Bemporad
Control of systems integrating logic, dynamics, and constraints
Observability and controllability of piecewise affine and hybrid systems
Optimization-based verification and stability characterization of piecewise affine and hybrid systems
Verification of hybrid systems via mathematical programming