文献

J-GLOBAL ID：202202291317503884   整理番号：22A0630010

実時間論理のための自動軌道合成【JST・京大機械翻訳】

Automatic Trajectory Synthesis for Real-Time Temporal Logic

著者 (3件)： da Silva Rafael Rodrigues (Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, USA) ,  Kurtz Vince (Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, USA) ,  Lin Hai (Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, USA)
資料名： IEEE Transactions on Automatic Control  (IEEE Transactions on Automatic Control)
巻： 67  号： 2  ページ： 780-794  発行年： 2022年 
JST資料番号： C0223A  ISSN： 0018-9286  CODEN： IETAA9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自律車両やサービスロボットのような多くの安全クリティカルシステムは,性能保証で高レベルのタスク仕様を達成しなければならない。時間論理仕様から自動コントローラ合成を通して,この目標に対する多くの最近の進展がなされてきた。しかし,既存のアプローチは比較的短く簡単な仕様に限定されている。さらに,既存の方法は,状態空間の幾つかの事前離散化を考慮し,時間論理の凸状フラグメントのみを扱うか,あるいは証明できない。実数(RTL)仕様上の非凸時間論理を満たす連続軌道を合成するスケーラブルで証明可能な完全アルゴリズムを提案した。離散タスク計画と連続運動計画をオンザフライで分離して,高次元システムのために非凸RTL仕様を満たす動的に実行可能な軌跡を見つけるため,高効率Boole充足可能性と線形計画法ソルバを利用した。提案した設計アルゴリズムは,音と完全であり,シミュレーション結果は,著者らのアプローチのスケーラビリティを実証した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  シミュレーション ,  線形計画法 ,  音響 ,  実数 ,  高次元 ,  凸形 ,  数学的変換 ,  *時間論理
準シソーラス用語： 高効率 ,  離散化 ,  ソルバ ,  サービスロボット ,  運動計画 ,  状態空間 ,  コントローラ合成 , 【Automatic Indexing@JST】

分類 (1件)： 音声処理  (JE05000E)

タイトルに関連する用語 (2件)： 時間論理 ,  軌道