eprintid: 608
rev_number: 11
eprint_status: archive
userid: 7
dir: disk0/00/00/06/08
datestamp: 2011-07-27 09:18:12
lastmod: 2011-08-08 08:26:41
status_changed: 2011-07-27 09:18:12
type: book_section
metadata_visibility: show
contact_email: alberto.bemporad@imtlucca.it
item_issues_count: 0
creators_name: Mignone, Domenico
creators_name: Bemporad, Alberto
creators_name: Morari, Manfred
creators_id: 
creators_id: alberto.bemporad@imtlucca.it
creators_id: 
title: A framework for control, fault detection, state estimation and verification of hybrid systems
ispublished: pub
subjects: QA
subjects: QA75
subjects: TJ
divisions: CSA
full_text_status: none
keywords: 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
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 
date: 1999
date_type: published
publication: American Control Conference
volume: 1
publisher: IEEE
place_of_pub: San Diego, California, June 1999
pagerange: 134-138
id_number: 10.1109/ACC.1999.782755
refereed: TRUE
isbn: 0-7803-4990-3 
book_title: American Control Conference
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=782755&isnumber=16984
citation:   Mignone, Domenico and Bemporad, Alberto and Morari, Manfred  A framework for control, fault detection, state estimation and verification of hybrid systems.   In:  American Control Conference.   IEEE, San Diego, California, June 1999, pp. 134-138.  ISBN 0-7803-4990-3       (1999)