TY  - CHAP
CY  - San Diego, California, June 1999
ID  - eprints609
M1  - 4
KW  - automata; continuous dynamics; fault detection; hybrid systems; modeling framework; moving horizon estimation; propositional logic; three-tank benchmark system; automata theory; continuous time systems; discrete systems; fault diagnosis; formal logic; level control; state estimation
AV  - none
Y1  - 1999///
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=786492&isnumber=16954
T2  - American Control Conference
SP  - 2471
A1  - Bemporad, Alberto
A1  - Mignone, Domenico
A1  - Morari, Manfred
N2  - An approach for fault detection and state estimation of hybrid systems is presented. The method relies on the modeling framework for hybrid systems introduced by Bemporad and Morari (1999). This framework considers interacting propositional logic, automata, continuous dynamics and constraints. The proposed approach is illustrated by considering the fault detection problem of the three-tank benchmark system
SN  - 0-7803-4990-3 
EP  - 2475
PB  - IEEE
TI  - Moving horizon estimation for hybrid systems and fault detection
ER  -