State Observer for DES Under Partial Observation with Time Petri Nets

Ghazel, Mohamed; Toguyeni, Armand; Yim, Pascal

Document type :

Article dans une revue scientifique

DOI :

10.1007/s10626-009-0060-0

Title :

State Observer for DES Under Partial Observation with Time Petri Nets

Author(s) :

Ghazel, Mohamed [Auteur correspondant]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/ESTAS]
Université de Lille, Sciences et Technologies
Toguyeni, Armand [Auteur]
Systèmes Tolérants aux Fautes [STF]
Yim, Pascal [Auteur]
Laboratoire d'Automatique, Génie Informatique et Signal [LAGIS]

Journal title :

Discrete Event Dynamic Systems

Pages :

137-165

Publisher :

Springer Verlag

Publication date :

2009-06-01

ISSN :

0924-6703

HAL domain(s) :

Informatique [cs]/Automatique

English abstract : [en]

This paper deals with a state observation approach for Discrete Event Systems with a known behavior. The system behavior is modeled using a Time Petri Net model. The proposed approach exploits temporal constraints to assess ...
Show more >This paper deals with a state observation approach for Discrete Event Systems with a known behavior. The system behavior is modeled using a Time Petri Net model. The proposed approach exploits temporal constraints to assess the system state and therefore detect and determine faults given partial observability of events. The goal here is to track the system state and to identify the event scenarios which occur on the system. Our approach uses the class graph of the Time Petri Net which models the complete system behavior to develop a state observer which is a base to perform online fault detection and diagnosing.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

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

Source :

Harvested from HAL

Files

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

https://api.istex.fr/ark:/67375/VQC-3W1HJ3MT-F/fulltext.pdf?sid=hal
Open access
Access the document

State Observer for DES Under Partial ... BibTeX CSV Excel RIS

Files

State Observer for DES Under Partial ...

BibTeX

CSV

Excel

RIS