文献

J-GLOBAL ID：201302207740586627   整理番号：13A0011068

線形時間論理仕様のためのマルチアフィンシステム制御への入出力シミュレーションアプローチ

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications

著者 (3件)： SUN Yajuan (National Univ. Singapore, Singapore) ,  LIN Hai (Univ. Notre Dame, Notre Dame, IN, USA) ,  CHEN Ben M. (National Univ. Singapore, Singapore)
資料名： International Journal of Control  (International Journal of Control)
巻： 85  号： 10/12  ページ： 1464-1476  発行年： 2012年10月 
JST資料番号： C0973A  ISSN： 0020-7179  資料種別： 逐次刊行物 (A)
発行国： イギリス (GBR)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： 線形時間論理 ,  仕様 ,  マルチ ,  システム制御 ,  入出力 ,  シミュレーション