Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
Takashi Yamamoto, Shigemasa Takai · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2015
In this paper, we consider a decentralized failure diagnosis problem for discrete event systems. For a conjunctively codiagnosable system, there exists a conjunctive decentralized diagnoser that can detect the occurrence of any failure within a uniformly bounded number of steps. We present a method for synthesizing such a conjunctive decentralized diagnoser as an online diagnoser.