Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2008
Session Number:F3
Session:
Number:F3-2
A Sufficient Condition for Diagnosability of Large-Scale Discrete Event Systems
Shigemasa Takai,
pp.-
Publication Date:2008/7/7
Online ISSN:2188-5079
Summary:
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.