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
Pages
13
From page
47
To page
59
Keywords
discrete event system , repeated failure diagnosis. , linear-time temporal logic(LTL)
Journal title
I E E E Transactions on Automation Science and Engineering
Serial Year
2006
Journal title
I E E E Transactions on Automation Science and Engineering
Record number
391807
Link To Document