Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems

Takashi YAMAMOTO  Shigemasa TAKAI  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E98-A   No.2   pp.650-653
Publication Date: 2015/02/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E98.A.650
Type of Manuscript: Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
discrete event system,  failure diagnosis,  conjunctive decentralized diagnoser,  online synthesis,  

Full Text: PDF>>
Buy this Article

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.