Title of article :
Syntax-based synthesis for temporal-safety supervision
Author/Authors :
Kiam Tian Seow، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
8
From page :
1965
To page :
1972
Keywords :
Discrete-event systems , Control synthesis , Temporal Logic
Journal title :
Automatica
Serial Year :
2005
Journal title :
Automatica
Record number :
370322
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=370322
بازگشت