Title of article :
Polynomial-time verification of diagnosability of partially observed discrete-event systems
Author/Authors :
Tae-Sic Yoo، نويسنده , , Lafortune، نويسنده , , S.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
diagnosability verification , computational complexity , failure diagnosis. , Discrete-event systems
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control