Communication Dans Un Congrès Année : 2017

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

Résumé

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

Fichier principal
Vignette du fichier
tex00000264.pdf (288.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01647904 , version 1 (24-11-2017)

Licence

Identifiants

  • HAL Id : hal-01647904 , version 1

Citer

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⟩
215 Consultations
224 Téléchargements

Partager

  • More