Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Table 1

Complexity of verifying A-diagnosability in distributed SDES.

Automaton	Number of states	Number of transitions
Complexity