文献

J-GLOBAL ID：201902212391976852   整理番号：19A1961758

抽象化によるω正則目的の最適経路計画【JST・京大機械翻訳】

Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement

著者 (2件)： Leong Yoke Peng (Control and Dynamical Systems, California Institute of Technology, Pasadena, CA, 91125, USA) ,  Prabhakar Pavithra (Department of Computer Science, Kansas State University, Manhattan, KS, 66506, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： ICRA  ページ： 7683-7689  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文は,ω正規目的に関して離散時間システムの最適制御装置合成のための抽象化精密化ベースのフレームワークを提示した。それは,最初に,状態空間の有限分割を用いて,離散時間「コンクリート」システムを有限加重遷移システムに抽出した。次に,ω正規目的に対応する抽象システムとBuechiオートマトンの積について,2プレーヤー平均支払いパリティゲームを解き,ω正規目的を満たす最適「抽象」制御装置を得た。抽象制御装置は,サブ最適コストで,コンクリート離散時間システムにおいて実行可能であることを保証した。抽象化は,サブ最適性を減少させるために,より細かい分割で洗練される。抽象化に基づく既存の形式的制御装置合成アルゴリズムと対照的に,この技術は,準最適制御装置を実行するとき,軌道コストに関する上限を提供した。ロボット監視シナリオを提示して,この方式の実現可能性を例示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 離散時間系 ,  ロボット ,  最適制御 ,  *最適航路 ,  アルゴリズム ,  精密化 ,  オートマトン ,  遷移システム ,  制御装置 ,  コンクリート
準シソーラス用語： 準最適制御 ,  最適性 ,  プレイヤ ,  加重 ,  状態空間 , 【Automatic Indexing@JST】

分類 (4件)： 図形・画像処理一般  (JE04010I) ,  音声処理  (JE05000E) ,  パターン認識  (JE07000S) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 抽象化 ,  経路計画