[論文レビュー] Technical Facts About Dynamic Scalar Fields Underlying Algorithms of Mobile Robots Navigation for Tracking Environmental Boundaries and Extremum Seeking

Alexey S. Matveev, Anna A. Semakova+1 more|arXiv (Cornell University)|Aug 16, 2016

Extremum Seeking Control Systems参考文献 34被引用数 5

ひとこと要約

本稿は、勾配測定が不可能な動的スカラー場における移動ロボットの勾配フリーなナビゲーションのためのきめ細やかな幾何学的・運動論的枠組みを提示する。境界追跡および極値探索を可能にするとともに、場の勾配を測定せずに行う。時間的変化を伴う等高線への距離の時間発展およびロボットのずれに関する解析的表現を導出し、一般の場の動的特性およびロボットの運動論的特性のもとで有界性と安定性を証明する。

ABSTRACT

The paper presents some characteristics of unsteady scalar planar fields and studies their properties that are relevant to research on environmental extremum seeking and tracking environmental boundaries by mobile robots.

研究の動機と目的

• 移動ロボットナビゲーションにおける動的スカラー場の系統的な解析が不足している問題に対処する。特に勾配が利用できない状況を想定する。
• 不安定な場における等高線の包括的な幾何学的・運動論的特徴を明らかにし、耐障害性の高いナビゲーションアルゴリズムの支援を図る。
• 時間変動する環境場における勾配フリーな境界追跡および極値探索のためのきめ細やかな数学的基盤を提供する。
• 恒久的回転を行うロボットの初期位置からのずれに上限を設ける。これにより、安定性および性能保証を達成する。
• 理論的ナビゲーション則と実装の間のギャップを埋めるために、場の性質と制御性能への影響を分析する。

提案手法

• スカラー場の時間依存的レベルセットを用いて等高線の時間的変化の動的特性を定式化し、等高線の曲率、ねじれ、速度を組み込む。
• 幾何的制御理論およびFrenet-Serret形式を用いて、ロボットと等高線との距離関数の2階微分 $ \ddot{d}(t) $ を導出する。
• ロボットの運動を、速度と角速度が有界な時間依存的軌道としてモデル化し、Frenetフレームを用いて姿勢と曲率を記述する。
• Pontryaginの最大原理を適用して、恒久的回転を行うロボットの最悪ケースでのずれを分析し、閉形式の上限を導出する。
• 主な幾何的量を導入する：$ \rho $（等高線の曲率）、$ \tau_\rho $（ねじれ）、$ \varkappa $（ロボット軌道の曲率）、$ \omega $（角速度）、および $ \theta $（進行方向角）。
• 漸近的展開と $ \mathcal{O}(dt) $ 表記を用いて、小さな時間ステップにおける距離およびずれの時間発展を導出し、解析的取り扱いの可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 勾配フリー制御のもとで、時間変動するスカラー場の等高線と移動ロボットとの距離は、時間経過とともにどのように変化するか？
• RQ2 境界追跡および極値探索アルゴリズムの性能に影響を与える動的等高線の幾何学的および運動論的特性は何か？
• RQ3 場の勾配が測定不能な状況において、動的場で恒久的回転を行うロボットのずれをどのように有界化できるか？
• RQ4 場の曲率、ねじれ、時間微分が、勾配フリーなナビゲーション戦略の安定性および収束性に果たす役割は何か？
• RQ5 勾配測定に依存せずに、非定常スカラー場における境界追跡と極値探索の両者を統合的に取り扱う解析的枠組みを確立できるか？

主な発見

• 等高線への距離の2階微分は $ \ddot{d}(t) = \rho\left[(\dot{\theta}-2\omega-\varkappa v_{T}+2v_{\Delta}\tau_{\rho})v_{T}+2v_{\rho}v_{\Delta}-\alpha+v_{\Delta}^{2}n_{\rho}\right] $ として導出され、場の動的特性およびロボットの運動に及ぼす影響を捉えている。
• ロボットの初期位置からのずれに閉形式の上界が確立された：$ \|\mathbf{r}(t)-\mathbf{r}(0)\| \leq \frac{2\overline{v}}{\omega_{\theta}}\left\lceil\frac{\varphi}{2\pi}\right\rceil $、ここで $ \varphi = |\theta(t)-\theta(0)| $ であり、一定の角速度 $ \omega_{\theta} $ を仮定する。
• 最大ずれは、Pontryaginの最大原理が予測するように、長さ $ \pi $ の区間ごとに最大速度と停止を交互に繰り返す場合に発生する。
• 分析により、ロボットのずれは恒久的回転の下でも有界であり、角速度 $ \omega_{\theta} $ に反比例して増大する。
• 非ホロノミック制約および時間変動する場の動的特性を考慮した枠組みであり、従来の研究が定常場や勾配測定を仮定していたのを拡張している。
• 導出された式は物理的に意味を持ち、動的環境における汚染プラウム、放射能源、有害な赤潮の追跡といった実世界の応用に適用可能である。