A polynomial algorithm for testing diagnosability of discrete-event systems

Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, Ratnesh Kumar. A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. Automat. Contr., 46(8):1318-1321, 2001. [doi]

Abstract

Abstract is missing.