Title of article :
Diagnosis of Repeated Failures for Discrete Event Systems With Linear-Time Temporal-Logic Specifications
Author/Authors :
S. Jiang and R. Kumar، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
discrete event system , repeated failure diagnosis. , linear-time temporal logic(LTL)
Journal title :
I E E E Transactions on Automation Science and Engineering
Journal title :
I E E E Transactions on Automation Science and Engineering
