An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems - Archive ouverte HAL Accéder directement au contenu
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)
Loading...

Dates et versions

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

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⟩
97 Consultations
87 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More