Generalized Detectability for Discrete Event Systems

Systems and Control Letters - Netherlands
doi 10.1016/j.sysconle.2011.02.001