Diagnosis of Labeled Time Petri Nets Using ...
Type de document :
Communication dans un congrès avec actes
Titre :
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
Auteur(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
Titre de la manifestation scientifique :
IFAC World congress - 19th World Congress of the International Federation of Automatic Control
Pays :
Afrique du Sud
Date de début de la manifestation scientifique :
2014-08-24
Titre de l’ouvrage :
IFAC World congress - 19th World Congress of the International Federation of Automatic Control
Date de publication :
2014-01-01
Discipline(s) HAL :
Informatique [cs]/Automatique
Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Non spécifiée
Vulgarisation :
Non
Collections :
Source :