Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation.

Xiaoting Zhang, Jiafeng Zhang, Zhong Zheng, Hanyu Zheng, Minglong Pu, Zhiwu Li

Browse the full SMC paper archive.