Title of article :
Linear Time Logic Control of Discrete-Time Linear Systems
Author/Authors :
P. Tabuada and G. J. Pappas، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Pages :
16
From page :
1862
To page :
1877
Keywords :
Hybrid systems , linear time logic. , Automatic synthesis , Discrete-time , linear controlsystems
Journal title :
IEEE Transactions on Automatic Control
Serial Year :
2006
Journal title :
IEEE Transactions on Automatic Control
Record number :
387127
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=387127
بازگشت