文献
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)