Polynomial-time verification of diagnosability of partially observed discrete-event systems
収録刊行物
-
- IEEE Trans. Automat. Contr.
-
IEEE Trans. Automat. Contr. 47 (9), 1491-1495, 2002