文献

J-GLOBAL ID：202102269628253922   整理番号：21A1140054

不確実な仕様を持つ可到達性に基づく人間インザループ制御【JST・京大機械翻訳】

Reachability-based Human-in-the-Loop Control with Uncertain Specifications

著者 (5件)： Gao Yulong (School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm 10044, Sweden) ,  Jiang Frank J. (School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm 10044, Sweden) ,  Ren Xiaoqiang (School of Mechatronic Engineering and Automation, Shanghai University, Shanghai, 200072, China) ,  Xie Lihua (School of Electrical and Electronic Engineering, Nanyang Technological University, 639798, Singapore) ,  Johansson Karl H. (School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm 10044, Sweden)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 53  号： 2  ページ： 1880-1887  発行年： 2020年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 安全性とミッション完了を保証しながら,多目的ミッション中の自動化システムへの人間オペレータ決定を実行するための共有自律手法を提案した。ミッションを線形時間論理(LTL)式の集合として指定した。次に,LTLと可到達性分析の間の新しい対応を用いて,著者らは,人間オペレータが任務を完了するのを助けるための一組の制御装置を合成し,一方,システムが特定の空間と時間特性を維持することを保証した。筆者らは,ミッションを完了する方法の人間オペレータの厳密な選好が未知であると仮定する。その代りに,データ駆動手法を用いて,人間が完了する目的を指定する自動システムの内部信念を推論し,更新した。もし,人間がシステムを操作しているならば,LTL式によって処方された不変性のどれかに違反する入力を提供して,著者らの検証制御装置は,追跡者にオペレータバックをガイドするために,人間オペレータの意図された目的の内部信念を使用するであろう。さらに,仕様が最初に実行可能である限り,この制御装置は実現可能であり,いくつかの予想外のヒューマンエラーにもかかわらずミッションを完了するために人間を誘導できることを示した。遠隔オペレータが複数の駐車オプションで駐車場で車両を駐車する,簡単だが実用的で実用的な実験装置で著者らのアプローチを例証した。これらの実験では,著者らのアプローチが,実時間で駐車場に対する人間のオペレータの選好を推論でき,人間が安全にスポットに公園をつけることを保証できることを示した。Copyright 2021 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制御装置 ,  オペレータ ,  *不確実性 ,  ロボット ,  駐車 ,  駐車場 ,  ヒューマンエラー ,  不変性
準シソーラス用語： データ駆動 ,  線形時間論理 ,  自動化システム , 【Automatic Indexing@JST】

著者キーワード (6件)： 共有自律性 ,  線形時間論理 ,  到達可能性解析 ,  ロボットミッション ,  安全 ,  自動車両

分類 (5件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H) ,  ロボット工学一般  (IC04011S) ,  計算理論  (JB02000A) ,  人間機械系  (IB03000G)

タイトルに関連する用語 (3件)： 仕様 ,  可到達性 ,  人間