TY  - CHAP
A1  - Mignone, Domenico
A1  - Bemporad, Alberto
A1  - Morari, Manfred
T2  - American Control Conference
CY  - San Diego, California, June 1999
SP  - 134
PB  - IEEE
EP  - 138
KW  - Boolean algebra; fault detection; formal verification;hybrid systems; integer programming; linear programming; mixed logical dynamical systems; propositional calculus; quadratic programming; state estimation; Boolean algebra; fault diagnosis; formal logic; formal verification; integer programming; linear programming; quadratic programming; state estimation
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=782755&isnumber=16984
TI  - A framework for control, fault detection, state estimation and verification of hybrid systems
ID  - eprints608
AV  - none
Y1  - 1999///
SN  - 0-7803-4990-3 
N2  - 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 
M1  - 1
ER  -