Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Figure 1

Verifying diagnosability in distributed DESs.