文献

J-GLOBAL ID：202202264630689193   整理番号：22A1163893

時間ウィンドウ時間論理の実行時間モニタリング【JST・京大機械翻訳】

Runtime Monitoring of Time Window Temporal Logic

著者 (2件)： Bonnah Ernest (Department of Electrical and Computer Engineering, University of Missouri, Columbia, MO, USA) ,  Hoque Khaza Anuarul (Department of Electrical and Computer Engineering, University of Missouri, Columbia, MO, USA)
資料名： IEEE Robotics and Automation Letters  (IEEE Robotics and Automation Letters)
巻： 7  号： 3  ページ： 5888-5895  発行年： 2022年 
JST資料番号： W2448A  ISSN： 2377-3766  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 時間的論理は,動的システムの解析と制御への応用のためにますます普及している。時間ウィンドウ時間論理(TWTL)は,ロボット工学のような多くの制御アプリケーションにおいて一般的であるコンパクトな方法で,時間結合シリアルタスクを指定するための豊富な表現言語である。典型的には,TWTL仕様を,オートマトンベースのモデル検査アルゴリズムを用いて検証した。しかし,設計時間におけるモデル検査を用いた与えられたシステムの重要な特性の検証は,実行時間検証の範囲の下で落下する実行時間運転中に,システムが期待通りに振舞うことを保証しない。本レターでは,TWTLで表現される安全要求の実行時間監視のための書き換えベースのアルゴリズムを提示する。提案したアプローチの実現可能性と効率を,無人機(UAV)監視と製造用の産業ロボットに関連した2つの事例研究を用いて実証した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *時間 ,  オートマトン ,  言語 ,  システム ,  産業用ロボット ,  動的系 ,  無人機 ,  事例研究 ,  *時間論理 ,  モデル検査
準シソーラス用語： ロボット工学 ,  *実行時間 ,  制御アプリケーション , 【Automatic Indexing@JST】

分類 (2件)： パターン認識  (JE07000S) ,  信号理論  (ND02020G)

タイトルに関連する用語 (4件)： ウィンドウ ,  時間論理 ,  実行時間 ,  モニタリング