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.
A framework for control, fault detection, state estimation and verification of hybrid systems
A. BEMPORAD;
1999-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
