文献

J-GLOBAL ID：201702279328274288   整理番号：17A0066319

UPPAALに基づく認知ロボット制御挙動モデリングと検証【JST・京大機械翻訳】

Modeling and Validation of Cognitive Robot Control Behavior Using Uppaal

著者 (3件)： Gong Weiwei (Highly Reliable Embedded Systems Lab,Capital Normal University) ,  Wang Rui (Highly Reliable Embedded Systems Lab,Capital Normal University) ,  Li Xiaojuan (Highly Reliable Embedded Systems Lab,Capital Normal University)
資料名： Xiaoxing Weixing Jisuanji Xitong  (Xiaoxing Weixing Jisuanji Xitong)
巻： 37  号： 6  ページ： 1279-1283  発行年： 2016年 
JST資料番号： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： ロボット技術の高速発展に伴い、ますます多くの人々は認知ロボット領域の研究に焦点を当て、ロボットシステムの二つの研究領域は主に経路計画と任務計画であるが、伝統的な計画問題は主に任務計画に焦点を当てている。本論文の研究はロボットの行為に基づく制御構造に基づいて、ロボットシステムの任務計画の階層構造を提案した。認知ロボットの大部分の制御行為は人間の参与を必要とし、これはこのようなロボットシステムがオンライン適応能力を持つことを要求し、従来の検証方法を用いてその正確性とリアルタイム性を検証する上で一定の限界がある。形式的方法を用いて,認知ロボットシステムの簡単な事例をモデル化し,いくつかの重要な属性を検証し,時間オートマトンを用いてシステムを形式的に記述し,符号化モデル検査ツールUPPAALを用いて検証した。システムの重要な属性は,計算ツリー論理の形式で表現される。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 符号化 ,  経路探索 ,  高速度 ,  モデル検査 ,  階層構造 ,  *モデリング ,  *ロボット
準シソーラス用語： 時間付きオートマトン ,  実時間 ,  正確性 ,  オンライン ,  ロボットシステム ,  ロボット工学 ,  *ロボット制御 , 【Automatic Indexing@JST】

著者キーワード (4件)： robotic system ,  behavior verification ,  symbolic model checking ,  Uppaal

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

タイトルに関連する用語 (5件)： 認知 ,  ロボット制御 ,  挙動 ,  モデリング ,  検証