[論文レビュー] Proofs of the Technical Results Justifying an Algorithm of Extremum Seeking Navigation in Dynamic Environmental Fields

Alexey S. Matveev, Michael Hoy+1 more|arXiv (Cornell University)|Feb 8, 2015

Extremum Seeking Control Systems参考文献 30被引用数 7

ひとこと要約

本稿では、動的環境場における移動ロボットの極値探索ナビゲーションのための新規アルゴリズムを提案する。単一の測定ポイントでの場の測定値のみを用いて、勾配推定や微分計算、スイッチング制御を一切行わず、時間差分に基づいてロボットを制御することで、勾配推定や微分計算、スイッチング制御を一切行わず、有限時間内に場の最大値点に収束させることを実現する。適切なパrameter調整のもとで、単調かつ非振動的な挙動を保証する。

ABSTRACT

We consider a single kinematically controlled robot with a bounded control range. The robot travels in a two-dimensional region supporting an unknown unsteady scalar field. A single sensor provides the field value at the current location of the robot. The paper is concerned with a reactive navigation strategy to drive the robot to the time-varying location where the field attains its spatial maximum, with subsequent keeping the robot close to this location. This strategy is based on a novel paradigm of kinematic control different from conventionally trying to align the velocity vector with the field gradient, does not employ estimation of the entire field gradient or derivative-dependent quantities, like the rate at which the available field reading evolves over time, and is non-demanding with respect to both computation and motion. The paper presents the proofs of the technical facts required to justify convergence of the proposed algorithm.

研究の動機と目的

• 動的環境場において、ロボットの現在位置での時間変動する単一の場の測定値しか入手できない状況下で、移動ロボットを場の最大値点にナビゲートする課題に対処すること。
• 勾配推定、時間微分計算、スイッチング制御に依存しない制御則を開発すること。これらの手法はノイズ増幅やチタリングに起因する問題を抱えることがある。
• 一般的な動的場の条件下で、動的な場の最大値点の所定の近傍に有限時間内に収束することを保証すること。
• 実装に実用的な明示的で非暗黙的な収束条件と、パrameterの明確な境界を提供すること。
• シミュレーションおよび実機のホイールドロボットを用いた実験により、理論的結果の妥当性を検証すること。

提案手法

• 制御則は、測定された場の値と時間の線形増加関数である時間変動型リファレンス関数との差に応じて、ロボットの速度方向角を制御することで、ロボットを制御する。
• 本手法は、場の勾配や測定値の時間微分を明示的に計算しない有限ゲインフィードバックのみを用いる。
• ロボットの軌道は、ヘディング方向が場の測定値と時間変動型リファレンスとの差に比例する運動学的モデルに従い、反応的かつ自律的な動作を実現する。
• 収束性は、リャプノフ的解析および微分不等式技法を用いて確立され、ロボットが場の最大値点の有界な近傍に到達し、その周囲に留まることを証明する。
• 理論的分析では、適切な制御則調整のもとで、関心のある等高線までの距離が単調に減少することを示し、振動やチタリングを回避することを保証する。
• 本手法は、シミュレーションおよびホイールドロボットを用いた実機実験により検証され、動的環境下でのロバストネスと収束性を示している。

実験結果

リサーチクエスチョン

• RQ1 移動ロボットは、場の勾配や微分推定を一切行わず、ロボット現在位置での時間変動する単一のオンライン測定値のみを用いて、動的環境場の最大値点にナビゲート可能か？
• RQ2 場の測定値と時間変動型リファレンス関数との差に基づく制御則は、場の最大値点への有限時間収束を保証するか？
• RQ3 提案手法は、微分に基づく制御やスイッチング制御の欠点（ノイズ増幅、チタリング）を回避しつつ、ロバストネスを維持できるか？
• RQ4 制御則パrameterにどのような明示的条件を課すと、最大値点の所定の近傍への単調かつ非振動的収束が保証されるか？
• RQ5 一般の動的場の条件下（時間変動的かつ非定常的プロファイルを含む）でも、理論的収束保証はロバストか？

主な発見

• 適切な制御則パrameter設定のもと、初期条件に依存せず、ロボットは有限時間内に場の最大値点の所定の近傍に到達する。
• 閉ループ系は過渡状態において単調かつ非振動的挙動を示し、チタリングを回避し、安定な収束を実現する。
• 場の勾配や時間微分の推定を一切不要とし、計算およびセンシングの複雑さを低減する。
• 明示的な収束条件が導出され、制御則ゲインおよび場のダイナミクスの境界が含まれており、一般的な動的場の仮定のもとでロバストネスを保証する。
• 理論的結果は、シミュレーションおよびホイールドロボットを用いた実機実験により確認され、実用的妥当性と性能を示している。
• 収束後もロボットは最大値点の所定の近傍に留まり、場の時間的変化に対しても近接性を維持する。