Diagnosis of Labeled Time Petri Nets Using ...
Document type :
Communication dans un congrès avec actes
Title :
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
Author(s) :
Liu, Baisi [Auteur]
Centrale Lille
Ghazel, Mohamed [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/COSYS/ESTAS]
Toguyeni, Armand [Auteur]
Centrale Lille
Centrale Lille
Ghazel, Mohamed [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/COSYS/ESTAS]
Toguyeni, Armand [Auteur]
Centrale Lille
Conference title :
IFAC World congress - 19th World Congress of the International Federation of Automatic Control
Country :
Afrique du Sud
Start date of the conference :
2014-08-24
Book title :
IFAC World congress - 19th World Congress of the International Federation of Automatic Control
Publication date :
2014-01-01
HAL domain(s) :
Informatique [cs]/Automatique
English abstract : [en]
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 ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Non spécifiée
Popular science :
Non
Collections :
Source :