文献

J-GLOBAL ID：201202202345057438   整理番号：12A1547819

不確実環境に対するバックトラック時間論理合成

Backtracking temporal logic synthesis for uncertain environments

著者 (3件)： LIVINGSTON Scott C. (California Inst. Technol., CA) ,  MURRAY Richard M. (California Inst. Technol., CA) ,  BURDICK Joel W. (California Inst. Technol., CA)
資料名： Proceedings. IEEE International Conference on Robotics and Automation  (Proceedings. IEEE International Conference on Robotics and Automation)
巻： 2012 Vol.7  ページ： 5163-5170  発行年： 2012年 
JST資料番号： T0044A  ISSN： 1050-4729  資料種別： 会議録 (C)
記事区分： 短報  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 従来,形式的システム枠組みにおいて,不確実性のあるタイプ,すなわちロボット環境の見込まれるトポロジー変化は,これまでほとんど無視されてきた。本研究では不確実であるが固定した環境におけるバックトラック時間論理ロボットコントローラの合成問題を考察し,連続状態空間の可到達性に注目した。さらに,ロボットと環境の両者は仮定-保証線形時間論理(LTL)形式で表現された挙動仕様を前提とし,ロボットが予期しない環境変化に遭遇した場合,合成コントローラを如何に効率よく改変するかを考察した。

シソーラス用語： *バックトラッキング ,  *論理合成 ,  *不確実性 ,  ロボット ,  可到達性 ,  制御装置 ,  位相幾何学 ,  状態 ,  時間論理
準シソーラス用語： トポロジー ,  状態空間 ,  線形時間論理

分類 (1件)： ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (4件)： 不確実 ,  環境 ,  バックトラック ,  論理合成