A Sufficient Condition for Diagnosability of Large-Scale Discrete Event Systems
Shigemasa Takai · ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications · 2008
In this paper, we study the diagnosability property of a large-scale discrete event system that is modeled by the synchronous composition of n subsystems. In order to verify the necessary and sufficient condition for the diagnosability property, we have to perform operations over the entire system model, which suffers from the state space explosion problem. Motivated by this, we present a sufficient condition for the diagnosability property that can be tested by using only the subsystem models.