文献

J-GLOBAL ID：202102257312227525   整理番号：21A0009592

時間論理仕様によるマルチロボットタスク計画のための分散フレームワーク【JST・京大機械翻訳】

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications

著者 (3件)： Yang Yuanjiang (Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation,Shanghai,P.R. China,200240) ,  Yin Xiang (Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation,Shanghai,P.R. China,200240) ,  Li Shaoyuan (Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing, Ministry of Education of China; Department of Automation,Shanghai,P.R. China,200240)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ICCA  ページ： 570-575  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,マルチロボット倉庫ロボットシステムのための協調戦略の完全自動化コントローラ合成を研究した。自動誘導車両(AGV)のグループが,グリッドで引き出された作業空間において,出発場所から目的地まで商品を配送するシナリオを考察した。全計画タスクを満たすための優先順位付けベース協調戦略を持つ分散フレームワークを提案した。特に,各AGVのタスクを線形時間論理(LTL)仕様によって指定した。局所制御戦略を,対応するLTL反応性合成問題を解決することによって得た。コンフリクトを避けるために,著者らは,全体的システムが安全であり,ライブであり,すなわち,AGVsが互いに衝突し,デッドロックとライブロックが無いことを保証するために,優先順位付けベースの協調戦略を使用する。提案した設計方法論は正式な保証による正しい構成であり,柔軟な方法で時間タスクを扱うのに適している。さらに,提案フレームワークは分布する。したがって,集中化手法よりも計算的に効率的である。最後に,シミュレーション例によって提案した分散フレームワークを実証した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： シミュレーション ,  作業空間 ,  倉庫 ,  無人搬送車 ,  集中化 ,  *時間論理 ,  デッドロック ,  *マルチロボット
準シソーラス用語： 局所制御 ,  ロボットシステム ,  線形時間論理 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 時間論理 ,  仕様 ,  計画 ,  フレームワーク