Tae Sic Yoo

Accepted for publication in Transactions of Automatic Control Polynomial Time Veri cation of Diagnosability of Partially Observed Discrete Event Systems

Tae Sic Yoo, ephane Lafortune, 2006 .