Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata

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

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

This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized denition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with Rectangular Hybrid Automata, and verifying some realistic assumptions. A practical example is considered throughout the paper for illustration purposes.

Domaines: Automatique / Robotique

Haithem Derbel, Nejib Ben Hadj-Alouane, Moez Yeddes, Hassane Alla. Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata. ADHS 2009 - 3rd IFAC conference on Analysis and Design of Hybrid Systems, 2009, Zaragoza, Spain. pp.CD, ⟨10.3182/20090916-3-ES-3003.00049⟩. ⟨hal-00377233⟩