On-the-fly Diagnosability Analysis of ...
Type de document :
Communication dans un congrès avec actes
Titre :
On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations
Auteur(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]
Titre de la manifestation scientifique :
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015)
Ville :
Paris
Pays :
France
Date de début de la manifestation scientifique :
2015-09-02
Titre de l’ouvrage :
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015)
Date de publication :
2015-01-01
Mot(s)-clé(s) :
DIAGNOSTIC
SYSTEME DISCRET
RESEAU DE PETRI
MODELISATION
SYSTEME DISCRET
RESEAU DE PETRI
MODELISATION
Mot(s)-clé(s) en anglais :
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
Discipline(s) HAL :
Informatique [cs]/Calcul formel [cs.SC]
Résumé :
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, ...
Lire la suite >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).Lire moins >
Lire la suite >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).Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Non spécifiée
Vulgarisation :
Non
Commentaire :
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015), Paris, France, 02-/09/2015 - 04/09/2015
Collections :
Source :
Fichiers
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Accès libre
- Accéder au document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Accès libre
- Accéder au document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Accès libre
- Accéder au document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Accès libre
- Accéder au document
- https://doi.org/10.1016/j.ifacol.2015.09.548
- Accès libre
- Accéder au document
- j.ifacol.2015.09.548
- Accès libre
- Accéder au document