Fault diagnosis in discrete-event systems: framework and model reduction (2003)

by S Hashtrudi Zad, R H Kwong, W M Wonham
Venue:IEEE Trans. Automatic Control