文献
J-GLOBAL ID:200902292634344759
整理番号:08A0423484
バイシミュレーション等価性のためのコントローラの合成
Controller synthesis for bisimulation equivalence
著者 (1件):
TABUADA Paulo
(UCLA Electrical Engineering Dep., 66-147F Engineering IV Building, Los Angeles, CA 90095-1594, USA)
資料名:
Systems & Control Letters
(Systems & Control Letters)
巻:
57
号:
6
ページ:
443-452
発行年:
2008年06月
JST資料番号:
A0530B
ISSN:
0167-6911
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)