An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

Abderraouf Boussif (1) , Baisi Liu (1) , Mohamed Ghazel (1)

1 IFSTTAR/COSYS/ESTAS - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité

This paper deals with a benchmark-based experimental comparison of three diagnose-based approaches for fault diagnosis of discrete event systems modeled by Petri nets: the MBRG/BRD approach, the FMG/FMSG approach and the SSD approach. The experiments are performed on a level crossing benchmark, using the respective software tools integrating the three approaches. Different features are shown in terms of state-space building (exhaustive or partial), procedure for analyzing diagnosability (based on complete or on-the-fly built states-pace) and state-space representation (concrete or symbolic). Based on the obtained experimental results, a comparative discussion is provided particularly regarding memory and time consumption for analyzing diagnosability of the three techniques

Mots clés: DISCRETE EVENT SYSTEMS; FAULT DIAGNOSIS; PETRI NETS

Mots clés: DIAGNOSTIC; SYSTEME DISCRET; METHODE DES ELEMENTS DISCRETS; RESEAU DE PETRI; PROBABILITE DE DEFAILLANCE; MODELISATION; PASSAGE A NIVEAU

Domaines: Calcul formel [cs.SC]

Abderraouf Boussif, Baisi Liu, Mohamed Ghazel. An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. DX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8. ⟨hal-01647904⟩