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.

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

Bemporad Alberto;
1999

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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.11771/20189
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 26
social impact