Download PDFOpen PDF in browser

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

13 pagesPublished: January 6, 2018

Abstract

This paper deals with a benchmark-based experimental comparison of three diagnoser-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 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 state-space) 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.

Keyphrases: Diagnosability analysis, Discrete Event Systems, fault diagnosis, Petri nets

In: Marina Zanella, Ingo Pill and Alessandro Cimatti (editors). 28th International Workshop on Principles of Diagnosis (DX'17), vol 4, pages 52--64

Links:
BibTeX entry
@inproceedings{DX'17:An_Experimental_Comparison_of,
  author    = {Abderraouf Boussif and Baisi Liu and Mohamed Ghazel},
  title     = {An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems},
  booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
  editor    = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
  series    = {Kalpa Publications in Computing},
  volume    = {4},
  pages     = {52--64},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/GnBn},
  doi       = {10.29007/vwc9}}
Download PDFOpen PDF in browser