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)

Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arn...

## 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

Item Type: | Book Section |
---|---|

Identification Number: | 10.1109/ACC.1999.782755 |

Uncontrolled 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 |

Subjects: | Q Science > QA Mathematics Q Science > QA Mathematics > QA75 Electronic computers. Computer science T Technology > TJ Mechanical engineering and machinery |

Research Area: | Computer Science and Applications |

Depositing User: | Professor Alberto Bemporad |

Date Deposited: | 27 Jul 2011 09:18 |

Last Modified: | 08 Aug 2011 08:26 |

URI: | http://eprints.imtlucca.it/id/eprint/608 |

### Actions (login required)

Edit Item |