DocumentCode
342908
Title
A framework for control, fault detection, state estimation, and verification of hybrid systems
Author
Mignone, Domenico ; Bemporad, Alberto ; Morari, Manfred
Author_Institution
Inst. fur Autom., Eidgenossische Tech. Hochschule, Zurich, Switzerland
Volume
1
fYear
1999
fDate
1999
Firstpage
134
Abstract
This paper presents a modeling formalism for hybrid systems which allows one to formulate and solve several practical problems, such as control, formal verification, state estimation, and fault detection. As an extension to previous works we report a technique that allows one to reduce the number of auxiliary binary variables in the modeling phase
Keywords
Boolean algebra; fault diagnosis; formal logic; formal verification; integer programming; linear programming; quadratic programming; state estimation; Boolean algebra; fault detection; formal verification; hybrid systems; integer programming; linear programming; mixed logical dynamical systems; propositional calculus; quadratic programming; state estimation; Automatic control; Calculus; Control systems; Control theory; Difference equations; Fault detection; Formal verification; Nonlinear dynamical systems; State estimation; Vehicle dynamics;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1999. Proceedings of the 1999
Conference_Location
San Diego, CA
ISSN
0743-1619
Print_ISBN
0-7803-4990-3
Type
conf
DOI
10.1109/ACC.1999.782755
Filename
782755
Link To Document