Diagnosis of a dynamic hybrid system by hybrid timed automata. - Olfa Azzabi; Chakib Ben Njima; Hassani Messaoud (CoDIT, 2016)

Modeling a system with hybrid automata and multi - models. - Olfa Azzabi; Chakib Ben Njima; Hassani Messaoud (ICCAD, 2017)

New approach of diagnosis with hybrid automata. - Olfa Azzabi; Chakib Ben Njima; Hassani Messaoud (ICCAD, 2017)

New Approach of Diagnosis by Timed Automata. - Olfa Azzabi; Chakib Ben Njima; Hassani Messaoud (Int. J. Ambient Comput. Intell., 2017)