Lin Cao, Shaolong Shu, Feng Lin: Active Fault Isolation for Discrete Event Systems. IEEE Trans. Autom. Control. 69(8): 4988-5003 (2024)