Download PDFOpen PDF in browser

Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture

15 pagesPublished: January 6, 2018

Abstract

Decentralized diagnosis of discrete event systems consists in detecting faults in discrete event systems by using decentralized architectures. In particular, inference-based diagnosis is a decentralized architecture of interest, since it is more general than several other decentralized architectures. In this paper, we first propose a method that realizes a diagnosis objective D by an arborescent architecture (or tree). Each leaf of the tree is a decentralized diagnosis, and each node n is a disjunction or con- junction of the diagnosis decisions of the two children of n. Then, we show that if inference-based diagnosis is applicable to D, then all the leafs of the obtained tree are basic decentralized diagnosers. This implies that every inference-based diagnosis is realizable by a combination of basic decentralized diagnosers.

Keyphrases: Arborescent diagnosis, decentralized diagnosis, Discrete Event Systems, Inference-based diagnosis

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

Links:
BibTeX entry
@inproceedings{DX'17:Decentralized_Diagnosis_of_Discrete,
  author    = {Ahmed Khoumsi},
  title     = {Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture},
  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     = {144--158},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/XmxS},
  doi       = {10.29007/k5c7}}
Download PDFOpen PDF in browser