Research Article

Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Figure 2

Verifying diagnosability in decentralized DESs.