• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

On-the-fly Diagnosability Analysis of ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Communication dans un congrès avec actes
DOI :
10.1016/j.ifacol.2015.09.548
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]
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
English keyword(s) :
FAULT DIAGNOSIS
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 >
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 :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.09.548
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.09.548
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.09.548
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.09.548
  • Open access
  • Access the document
Thumbnail
  • https://doi.org/10.1016/j.ifacol.2015.09.548
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017