文献

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)

タイトルに関連する用語 (2件)： バイシミュレーション等価性 ,  コントローラ