Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

Baisi Liu (1) , Mohamed Ghazel (2) , Armand Toguyeni (1)

1 Centrale Lille
2 IFSTTAR/COSYS/ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

This paper deals with fault diagnosis of timed discrete event systems (TDESs), using a nondeterministic model named labeled time Petri net (LTPN). Thanks to a skillful splitting of time intervals assigned to the LTPN transitions, analyzing diagnosability in such a timed context can be performed using techniques from the untimed context. Moreover, a deterministic structure called augmented state class set graph (ASG) is built on the fly, for both analyzing (∆-)diagnosability and deriving an online diagnoser.

Mots clés: DIAGNOSTIC; SYSTEME DISCRET

Domaines: Automatique

Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting. IFAC World congress - 19th World Congress of the International Federation of Automatic Control, Aug 2014, South Africa. 6p. ⟨hal-00999380⟩