Polynomial-time verification of diagnosability of partially observed discrete-event systems
Tae-Sic Yoo, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2002
The problem of verifying the properties of diagnosability and I-diagnosability is considered. We present new polynomial-time algorithms for deciding diagnosability and I-diagnosability. These algorithms are based on the construction of a nondeterministic automaton called a verifier.