Diagnosability of discrete-event systems (1995)

by M Sampath, R Sengupta, S Lafortune, K Sinnamohideen, D Teneketzis
Venue:IEEE Trans. on Automatic Control