Diagnosing Discrete Event Systems Using Nominal Models Only

Yannick Pencolé; Gerald Steinbauer; Clemens Mühlbacher; Louise Travé-Massuyès

doi:10.29007/1d2x

Download PDF Open PDF in browser

Diagnosing Discrete Event Systems Using Nominal Models Only

15 pages•Published: January 6, 2018

Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher and Louise Travé-Massuyès

Abstract

Complex technical systems usually show a dynamic behavior that is often conveniently represented with a discrete event model. Such a behavior is the result of dynamic components which interact with each other. Due to the complexity of technical systems faults are not totally avoidable. In order to deal with such faults diagnosing the system at run-time is of great interest. To perform such a diagnosis it is common to use fault models. Such models are in practice often hard to obtain. To address this problem we show a diagnosis approach for discrete event systems which uses the model of the nominal behavior only. In order to perform this diagnosis we adopt the well known idea of consistency based diagnosis.

Keyphrases: conflict-driven diagnosis, consistency-based diagnosis, Discrete Event Systems, model-based diagnosis, Nominal models

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

Links:	https://easychair.org/publications/paper/QG1z
	https://doi.org/10.29007/1d2x

BibTeX entry

@inproceedings{DX'17:Diagnosing_Discrete_Event_Systems,
  author    = {Yannick Pencol\textbackslash{}'e and Gerald Steinbauer and Clemens M\textbackslash{}"uhlbacher and Louise Trav\textbackslash{}'e-Massuy\textbackslash{}`es},
  title     = {Diagnosing Discrete Event Systems Using Nominal Models Only},
  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     = {169--183},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/QG1z},
  doi       = {10.29007/1d2x}}

Download PDF Open PDF in browser