文献

J-GLOBAL ID：202002226325475438   整理番号：20A2077707

自律エージェントのためのTAMAA UPPAALベースミッション計画【JST・京大機械翻訳】

TAMAA UPPAAL-based mission planning for autonomous agents

著者 (3件)： Gu Rong (Maelardalen University, Vaesteras, Sweden) ,  Enoiu Eduard (Maelardalen University, Vaesteras, Sweden) ,  Seceleanu Cristina (Maelardalen University, Vaesteras, Sweden)
資料名： ACM Proceedings  (ACM Proceedings)
号： SAC ’20  ページ： 1624-1633  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 建設機械のような自律車両は危険な環境で動作するが,高い生産性で機能する必要がある。安全性と生産性の両方を満たすため,効率的で効果的な方法での障害物回避ルートの計画は,特に,自律車両が彼らのミッションを安全に行うとき,特に重要である。本研究は,自律車両のためのミッション計画の自動生成のためのモデル検査の使用を探究し,それは,特定の機能的および余分な機能要求,例えば,タイミングのものを満たすことが保証される。時間,例えば電池レベルに対して,それらの挙動を監視するためのモニタと共に,タイムドオートマトンにおけるエージェントとしての自律車両のモデルを提案した。このアプローチを,TAMAA(多重自律エージェントのためのTimed-AutomataベースPlanner)と呼ぶツールに実装し,それをミッション管理ツールと統合することにより,この方法を自動化した。工業的自律ホイールローダ使用事例に対する著者らのアプローチの適用性を実証した。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件)： UPPAAL ,  自律エージェント ,  ミッション計画

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

タイトルに関連する用語 (2件)： 自律エージェント ,  ミッション計画