[論文レビュー] Proofs of the Technical Results Justifying a Biologically Inspired Algorithm for Reactive Navigation of Nonholonomic Robots in Maze-Like Environments

Alexey S. Matveev, Michael Hoy+1 more|arXiv (Cornell University)|Nov 21, 2011

Control and Dynamics of Mobile Robots参考文献 7被引用数 3

ひとこと要約

本稿は、非ホロノミックなデュビンスカーが、障害物を避けるために相対方位角および障害物までの相対距離の情報のみを用いて迷路のような環境でターゲットに到達できる、生物学的にインspiredな反応型ナビゲーションアルゴリズムについて、厳密な数学的証明を提供する。主な貢献は、最小限のセンシングと非ホロノミー制約のもとで、一貫した制御と制限された曲率の下でも、安全で障害物を避ける経路への収束を保証するグローバル収束の証明である。

ABSTRACT

We present technical results justifying a method for guidance of a Dubins-like vehicle with saturated control towards a target in a steady simply connected maze-like environment. The vehicle always has access to to the target relative bearing angle and the distance to the nearest point of the maze if it is within the given sensor range. The proposed control law is composed by biologically inspired reflex-level rules. Mathematically rigorous analysis of this law is provided; its convergence and performance are confirmed by computer simulations and experiments with real robots.

研究の動機と目的

• 迷路のような環境における動物行動にインspiredされた反応型ナビゲーション戦略の数学的根拠を確立すること。
• 非ホロノミー制約下で、従来の方位角のみのナビゲーションアルゴリズムに形式的な収束証明が欠如している問題を解決すること。
• デュビンスカー型のロボットが、局所的かつ最小限のセンシングのみを用いて、障害物から安全な距離を保ちながらターゲットに信頼性高く到達できることを証明すること。
• 制御飽和と制限された曲率の下でも、相対方位角および距離変化率の符号に基づく不連続制御則のロバストネスを検証すること。
• 逆走不可および有限の旋回半径といった現実的なロボット制約を満たす条件下で、従来のアルゴリズムに見られる不整合を解消し、収束を証明すること。

提案手法

• ナビゲーション戦略は2つの異なるモードで構成される：モード𝔸では相対方位角を用いた長距離のターゲット追跡、モード𝔹では急旋回による短距離の障害物回避。
• 制御入力は不連続な法則で定義される：モード𝔸では u = ±ū × sgn(β)、モード𝔹では障害物までの距離が増加しているか減少しているかに応じて u = sgn(β) または u = −σū となる。
• 制御則の不連続性を扱うために、フィリッポフの意味での系の解析が行われる。
• 証明は、ロボットの位置を障害物境界に射影し、球面角（球面角）を用いた累積旋回角の追跡を通じて幾何学的議論に依拠する。
• 重要な概念には、障害物境界上の「出口弧」、過去の全経路を含む「洞窟（cave）」の概念、およびターゲット視線からの角偏差を用いた収束の強制が含まれる。
• 理論的道具としては、経路の単調性、角の進化、背理法に基づく証明が用いられ、無限ループや収束不能の排除が行われる。

実験結果

リサーチクエスチョン

• RQ1 相対方位角および距離変化率の符号という最小限のセンシング情報に基づく反応型ナビゲーションアルゴリズムが、迷路のような環境でターゲットへのグローバル収束を保証できるか？
• RQ2 従来のアルゴリズムが無限曲率または絶対的方位を仮定しているのに対し、制御飽和と制限された曲率の下で、非ホロノミックなデュビンスカーの収束をどのように証明できるか？
• RQ3 ロボットが無限ループに陥ったり、障害物に近づいたまま脱出できなくなったりするのを防ぐために、どのような幾何学的・位相的条件が必要か？
• RQ4 追跡と回避の行動を切り替える不連続な制御則が、安定性を保ちながら振動を避けるにはどうすればよいか？
• RQ5 絶対的方位情報や障害物境界の完全な追跡ができない状況下でも、ロボットの経路が有界領域内に保たれ、最終的にターゲットに到達する条件は何か？

主な発見

• 提示された制御則は、与えられた非ホロノミー制約と最小限のセンシングのもとで、不連続制御の下でもターゲットへのグローバル収束を保証する。
• 背理法を用いた「洞窟」と角偏差の境界を用いた議論により、ロボットが障害物の周囲で無限ループに陥ることはないことが証明された。
• ロボットの視線がターゲットに向かう累積旋回角は厳密に有界であり、無限回転を防ぎ、ターゲットへの進行を保証する。
• 相対方位角および距離変化率の符号が正しく解釈されていれば、ロボットが障害物の周囲を完全なループを描いても、アルゴリズムは有効である。
• 旋回方向パラメータσの選択にかかわらず収束が保証されるが、本稿では右回転の場合に焦点を当てる。
• ロボットが障害物境界を正確にトレースできない場合でも、距離微分の符号と相対方位角を検出できれば、結果は有効である。