文献
J-GLOBAL ID:201302279557715443
整理番号:13A0291606
自律最大プラス線形系の抽象化および検証
Abstraction and Verification of Autonomous Max-Plus-Linear Systems
著者 (3件):
ADZKIYA Dieky
(Delft Univ. Technol., NLD)
,
DE SCHUTTER Bart
(Delft Univ. Technol., NLD)
,
ABATE Alessandro
(Delft Univ. Technol., NLD)
資料名:
Proceedings of the American Control Conference
(Proceedings of the American Control Conference)
巻:
2012 Vol.1
ページ:
721-726
発行年:
2012年
JST資料番号:
B0982A
ISSN:
0743-1619
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)