A polynomial algorithm for testing diagnosability of discrete-event systems
A polynomial algorithm for testing diagnosability of discrete-event systems
Shengbing Jiang,Zhongdong Huang,V. Chandra,Ratnesh Kumar
2001 · DOI: 10.1109/9.940942
IEEE Transactions on Automatic Control · 460 Citations
TLDR
An algorithm for testing diagnosability is given that does not construct a diagnoser for the system, and its complexity is of fourth order in the number of states of the system and linear in theNumber of the failure types.