Polynomial-time verification of diagnosability of partially observed discrete-event systems

Cite this paper

@article{Yoo2002PolynomialtimeVO, title={Polynomial-time verification of diagnosability of partially observed discrete-event systems}, author={Tae-Sic Yoo and St{\'e}phane Lafortune}, journal={IEEE Trans. Automat. Contr.}, year={2002}, volume={47}, pages={1491-1495} }