文献

J-GLOBAL ID：201202251676597727   整理番号：12A1547748

動的環境における時間制約時相論理からの確率制御

Probabilistic Control from Time-Bounded Temporal Logic Specifications in Dynamic Environments

著者 (3件)： MEDINA AYALA A. I. (Boston Univ., MA, USA) ,  ANDERSSON S. B. (Boston Univ., MA, USA) ,  BELTA C. (Boston Univ., MA, USA)
資料名： Proceedings. IEEE International Conference on Robotics and Automation  (Proceedings. IEEE International Conference on Robotics and Automation)
巻： 2012 Vol.6  ページ： 4705-4710  発行年： 2012年 
JST資料番号： T0044A  ISSN： 1050-4729  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 時間制約されたロボットミッションの間に開閉するドアを備えた変化する環境を検討した。この問題を,環境の与えられた領域におけるロボットの経過時間と,開および閉間のドアスイッチ間の時間が,指数分布で支配される過渡時間の仮定の下で解いた。さらに,ドアが切り替わる指数関数的速度がロボットに先験的に与えられる。これらの設定の下で,ロボットと変化する環境間の相関をモデル化するために,連続時間Markov決定過程を用いた。ロボットにより遂行されるべきタスクを表すための連続確率的論理公式として与えられる仕様を検討した。

シソーラス用語： 環境 ,  制約条件 ,  時間論理 ,  *確率制御 ,  *ロボット ,  指数分布 ,  *Markov過程
準シソーラス用語： 時間制約 ,  時相論理 ,  動的環境

分類 (2件)： ロボットの運動・制御  (IC04012J) ,  システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (4件)： 動的環境 ,  制約 ,  時相論理 ,  確率制御