文献
J-GLOBAL ID:201202207524131146
整理番号:12A1547343
バリアサーティフィケートを用いた散乱した環境におけるUAVのためのリアクティブコントローラの安全性の検証
Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates
著者 (3件):
BARRY Andrew J.
(Massachusetts Inst. Technol., MA, USA)
,
MAJUMDAR Anirudha
(Massachusetts Inst. Technol., MA, USA)
,
TEDRAKE Russ
(Massachusetts Inst. Technol., MA, USA)
資料名:
Proceedings. IEEE International Conference on Robotics and Automation
(Proceedings. IEEE International Conference on Robotics and Automation)
巻:
2012 Vol.1
ページ:
484-490
発行年:
2012年
JST資料番号:
T0044A
ISSN:
1050-4729
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)