文献

J-GLOBAL ID：201702226521454569   整理番号：17A1920680

形式的性能はループロボットミッションにおけるヒトへのアプローチのための保証【Powered by NICT】

Formal performance guarantees for an approach to human in the loop robot missions

著者 (6件)： Lyons D. M. (Dept. of Computer & Information Science, Fordham University, NY 10458, USA) ,  Arkin R. C. (Mobile Robotics Laboratory, Georgia Institute of Technology, GA 30332, USA) ,  Jiang S. (Mobile Robotics Laboratory, Georgia Institute of Technology, GA 30332, USA) ,  O’Brien M. (Mobile Robotics Laboratory, Georgia Institute of Technology, GA 30332, USA) ,  Tang F. (Dept. of Computer & Information Science, Fordham University, NY 10458, USA) ,  Tang P. (Dept. of Computer & Information Science, Fordham University, NY 10458, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： SMC  ページ： 752-757  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 特に臨界ミッションソフトウェアロボットミッションソフトウェアの自動検証における重要な課題は,ミッションのための保証する形式的性能に人間と因子の性能を効果的にモデル化できることである。オペレータのスキルレベルをモデル化と実験的キャリブレーションによるパラメータ化線形Gaussモデルを用いた自動検証にそれを統合するための新しいアプローチを提案した。我々のアプローチは,集中,ロボットと演算子,システムの挙動の観点から直接異なった技巧レベルのモデル化を可能にする。MissionLabとVIPARS(挙動ベースロボットミッション検証モジュール)を用いて,遠隔操作クワッドローターを遮断する自律地上ロボットのための標的を同定する二ミッションのための著者らの予測性能保証を比較した:演算子は,そのビデオ飼料を用いたクワッドローターを飛行する演算子は,視線によるクワッドローターを飛行ターゲットと一つの位置決定のための一つのミッション。を実験的に測定した性能と予測性能を比較することによって,提案手法の有効性を実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 位置決め ,  パラメタリゼーション ,  モデリング ,  線形性 ,  Gauss模型 ,  *ヒト ,  録画装置 ,  遠隔制御 ,  臨界 ,  *ロボット ,  オペレータ
準シソーラス用語： 予測性能 ,  自律性 ,  クワッドローター , 【Automatic Indexing@JST】

分類 (2件)： ロボットの運動・制御  (IC04012J) ,  人間機械系  (IB03000G)

タイトルに関連する用語 (2件)： ヒト ,  保証