Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture

15 pages•Published: 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:	https://easychair.org/publications/paper/XmxS
	https://doi.org/10.29007/k5c7