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

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 >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Non spécifiée

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL