文献

J-GLOBAL ID：202002255262179490   整理番号：20A1927940

高水準仕様からのロボットスウォームの検証可能制御【JST・京大機械翻訳】

Verifiable Control of Robotic Swarm from High-level Specifications

著者 (3件)： Chen Ji (Cornell University, Ithaca, NY, USA) ,  Moarref Salar (Cornell University, Ithaca, NY, USA) ,  Kress-Gazit Hadas (Cornell University, Ithaca, NY, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： AAMAS ’18  ページ： 568-576  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 多数のロボットの安全でスケーラブルで柔軟な集団行動のための制御装置の設計は,スウォームロボットにおける重要で挑戦的な問題である。本論文では,高レベル仕様からの証明可能修正コントローラ合成に焦点を当て,いくつかの物理的スウォームに関するアプローチを実証した。この目的のために,まず,時間論理で表現される高レベルタスク仕様から離散コントローラ(記号計画)を自動的に合成する。次に,衝突回避を保証し,発生するデッドロックを緩和するための方法を記述する,記号計画を実行する連続コントローラを自動的に合成する。さらに,集中および分散連続制御器設計を比較し,解析した。最後に,2種類のロボットを持つスウォームシステムの3つの異なる例に適用して,制御パラダイムの柔軟性と汎用性を実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制御装置 ,  *ロボット ,  汎用性 ,  柔軟性 ,  時間論理 ,  *スウォーム ,  デッドロック ,  衝突回避
準シソーラス用語： 集団行動 ,  コントローラ合成 , 【Automatic Indexing@JST】

著者キーワード (3件)： コントローラ合成 ,  形式的方法 ,  スウォームロボット

分類 (1件)： ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (4件)： 仕様 ,  ロボット ,  スウォーム ,  検証