Framework for control, fault detection, state estimation, and verification of hybrid systems

Motivated by the key idea of transforming propositional logic into linear mixed-integer inequalities, and by the availability of techniques for solving mixed-integer quadratic programs, a framework for modeling and controlling systems described by both dynamics and logic, and subject to operating constraints, denoted as mixed logical dynamical (MLD) systems, are presented. The MLD structure is suitable for formal verification, state estimation, and fault detection.