On-the-fly Diagnosability Analysis of ...
Document type :
Communication dans un congrès avec actes
Title :
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations
Author(s) :
Li, Ben [Auteur]
Laboratoire Électronique Ondes et Signaux pour les Transports [IFSTTAR/LEOST]
Liu, Baisi [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/COSYS/ESTAS]
Toguyeni, Armand [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Laboratoire Électronique Ondes et Signaux pour les Transports [IFSTTAR/LEOST]
Liu, Baisi [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/COSYS/ESTAS]
Toguyeni, Armand [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Conference title :
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015)
City :
Paris
Country :
France
Start date of the conference :
2015-09-02
Book title :
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015)
Publication date :
2015-01-01
Keyword(s) :
DIAGNOSTIC
SYSTEME DISCRET
RESEAU DE PETRI
MODELISATION
SYSTEME DISCRET
RESEAU DE PETRI
MODELISATION
English keyword(s) :
FAULT DIAGNOSIS
DISCRETE EVENT SYSTEM
LABELED PETRI NET
DIAGNOSABILITY ANALYSIS
ON-THE-FLY ANALYSIS
MINIMAL EXPLANATION
DISCRETE EVENT SYSTEM
LABELED PETRI NET
DIAGNOSABILITY ANALYSIS
ON-THE-FLY ANALYSIS
MINIMAL EXPLANATION
HAL domain(s) :
Informatique [cs]/Calcul formel [cs.SC]
French abstract :
In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). Our approach, which extends from the on-the-fly and incremental diagnosis technique, ...
Show more >In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). Our approach, which extends from the on-the-fly and incremental diagnosis technique, aims at improving the efficiency of diagnosability analysis by generating as less state space as possible. Thanks to the minimal explanation notion, our improved approach holds the existing advantages of on-the-fly technique, while generating less fault markings (FMs).Show less >
Show more >In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). Our approach, which extends from the on-the-fly and incremental diagnosis technique, aims at improving the efficiency of diagnosability analysis by generating as less state space as possible. Thanks to the minimal explanation notion, our improved approach holds the existing advantages of on-the-fly technique, while generating less fault markings (FMs).Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Non spécifiée
Popular science :
Non
Comment :
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015), Paris, France, 02-/09/2015 - 04/09/2015
Collections :
Source :
Files
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Open access
- Access the document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Open access
- Access the document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Open access
- Access the document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Open access
- Access the document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Open access
- Access the document
- j.ifacol.2015.09.548
- Open access
- Access the document