relation: http://eprints.imtlucca.it/608/
title: A framework for control, fault detection, state estimation and verification of hybrid systems
creator: Mignone, Domenico
creator: Bemporad, Alberto
creator: Morari, Manfred
subject: QA Mathematics
subject: QA75 Electronic computers. Computer science
subject: TJ Mechanical engineering and machinery
description: 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 
publisher: IEEE
date: 1999
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=782755&isnumber=16984
relation: 10.1109/ACC.1999.782755