Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata. - Haithem Derbel; Nejib Ben Hadj-Alouane; Moez Yeddes; Hassane Alla (ADHS, 2009)

Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides. (Model-based diagnosis of timed systems and a class of hybrid dynamic systems). - Haithem Derbel (2009)