Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture
Ahmed Khoumsi · Kalpa publications in computing · 2018
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.