Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata

Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong. Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complexity, 2020, 2020. [doi]