Detectability of discrete event systems (2007)

by S Shu, F Lin, H Ying
Venue:IEEE Transactions on Automatic Control