eprintid: 609 rev_number: 9 eprint_status: archive userid: 7 dir: disk0/00/00/06/09 datestamp: 2011-07-27 09:18:08 lastmod: 2014-07-16 14:26:00 status_changed: 2011-07-27 09:18:08 type: book_section metadata_visibility: show item_issues_count: 0 creators_name: Bemporad, Alberto creators_name: Mignone, Domenico creators_name: Morari, Manfred creators_id: alberto.bemporad@imtlucca.it creators_id: creators_id: title: Moving horizon estimation for hybrid systems and fault detection ispublished: pub subjects: QA75 subjects: TJ divisions: CSA full_text_status: none keywords: 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 abstract: 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 date: 1999 date_type: published publication: American Control Conference volume: 4 publisher: IEEE place_of_pub: San Diego, California, June 1999 pagerange: 2471-2475 event_dates: Chicago, IL id_number: 10.1109/ACC.1999.786492 refereed: TRUE isbn: 0-7803-4990-3 book_title: American Control Conference official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=786492&isnumber=16954 citation: Bemporad, Alberto and Mignone, Domenico and Morari, Manfred Moving horizon estimation for hybrid systems and fault detection. In: American Control Conference. IEEE, San Diego, California, June 1999, pp. 2471-2475. ISBN 0-7803-4990-3 (1999)