Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

A Framework for Control, Fault Detection, State Estimation, and Verification of Hybrid Systems

Author(s):

D. Mignone, A. Bemporad, M. Morari
Conference/Journal:

American Control Conference, San Diego, pp. 134-138
Abstract:

This paper presents a modeling formalism for hybrid systems which allows 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 to reduce the number of auxiliary binary variables in the modeling phase.

Further Information
Year:

1999
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { MigBem:1999:IFA_109,
    author={D. Mignone and A. Bemporad and M. Morari},
    title={{A Framework for Control, Fault Detection, State Estimation,
	  and Verification of Hybrid Systems}},
    booktitle={American Control Conference},
    pages={134--138},
    year={1999},
    address={San Diego},
    month=jun,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=109}
}
Permanent link