On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations

Ben Li (1) , Baisi Liu (2) , Armand Toguyeni (3)

1 IFSTTAR/LEOST - Laboratoire Électronique Ondes et Signaux pour les Transports
2 IFSTTAR/COSYS/ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité
3 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

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).

Mots clés: FAULT DIAGNOSIS; DISCRETE EVENT SYSTEM; LABELED PETRI NET; DIAGNOSABILITY ANALYSIS; ON-THE-FLY ANALYSIS; MINIMAL EXPLANATION

Mots clés: DIAGNOSTIC; SYSTEME DISCRET; RESEAU DE PETRI; MODELISATION

Domaines: Calcul formel [cs.SC]

Ben Li, Baisi Liu, Armand Toguyeni. On-the-fly Diagnosability Analysis of Labeled Petri Nets Using Minimal Explanations. 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2015), Sep 2015, Paris, France. p326-331, ⟨10.1016/j.ifacol.2015.09.548⟩. ⟨hal-01374104⟩