Online Diagnosis of Systems with Rectangular Hybrid Automata Models

Haithem Derbel (1) , Hassane Alla (1) , Nejib Ben Hadj-Alouane (2) , Moez Yeddes (3)

1 GIPSA-SED - GIPSA - Systèmes à événements discrets
2 OASIS - Optimisation des systèmes industriels et de services [Tunis]
3 CRISTAL - Centre de Recherche Réseau Image SysTème Architecture et MuLtimédia

We propose an online diagnosis approach for a class of hybrid systems. The normal and the faulty behaviors of the system are modeled with rectangular hybrid automata. Our approach is based on the use of a diagnosis procedure which performs, online, an estimation of the system states, within a given time window, and based on the current record of observable timed events. Each new estimation can be triggered either, by a new event observation, or simply by the elapse of time. We give examples to illustrate the use of our hybrid systems diagnosis approach.

Mots clés: Online; Rectangular Hybrid Automata; Symbolic Analysis; Diagnosis

Domaines: Automatique / Robotique

Haithem Derbel, Hassane Alla, Nejib Ben Hadj-Alouane, Moez Yeddes. Online Diagnosis of Systems with Rectangular Hybrid Automata Models. INCOM 2009 - 13th IFAC Symposium on Information Control Problems in Manufacturing, Jun 2009, Moscou, Russia. pp.123-129. ⟨hal-00377226⟩