[論文レビュー] Continuous Time Gathering of Agents with Limited Visibility and Bearing-Only Sensing

Levi-Itzhak Bellaiche, Alfred M. Bruckstein⋆|arXiv (Cornell University)|Oct 30, 2015

Optimization and Search Problems参考文献 7被引用数 8

ひとこと要約

本稿では、限界視界と方位のみのセンシングを持つ匿名で記憶のない移動エージェントに対して、簡単な連続時間の運動則を提案する。各エージェントは、2つの端点となる隣接エージェントが半円板内にある場合に限り、それらの単位ベクトルの和の方向に移動する。そうでない場合は静止する。エージェントは有限時間内に共通の点に集約され、凸包の周囲長は幾何学的下界によるコサインの和の下界に従って単調に減少する。

ABSTRACT

A group of mobile agents, identical, anonymous, and oblivious (memoryless), having the capability to sense only the relative direction (bearing) to neighborhing agents within a finite visibility range, are shown to gather to a meeting point in finite time by applying a very simple rule of motion. The agents' rule of motion is : set your velocity vector to be the sum of the two unit vectors in R^2 pointing to your "extremal" neighbours determining the smallest visibility disc sector in which all your visible neighbors reside, provided it spans an angle smaller than pi, otherwise, since you are "surrounded" by visible neighbors, simply stay put (set your velocity to 0). Of course, the initial constellation of agents must have a visibility graph that is connected, and provided this we prove that the agents gather to a common meeting point in finite time, while the distances between agents that initially see each other monotically decreases. We will also prove a geometrical result, a tight lower bound on the sum of cosines of the interior angles of a convex polygon, that we will use to prove the gathering of our dynamical system.

研究の動機と目的

• 匿名で記憶のないエージェントが距離測定や記憶を一切用いずに、方位のみのセンシングと限界視界のもとで有限時間内に集約可能かどうかを調査すること。
• アイデンティティ、記憶、距離センシングを一切用いずに収束を保証する最小限の反応型運動則を設計すること。
• 凸包の幾何的性質を用いて、収束速度の厳密な境界を確立すること。
• 接続性と視界制約のもとで、エージェントが有限時間内に集約されることを証明すること。

提案手法

• 各エージェントは、すべての可視エージェントを含む最小の角領域を定義する2つの隣接エージェント（「端点」エージェント）を計算する。
• この領域がπラジアン未満の場合、エージェントはこれらの2つの端点エージェントを向いた単位ベクトルの和の方向に速度を設定する。
• 領域がπラジアン以上（つまりエージェントが「囲まれている」状態）の場合、速度をゼロに設定する。
• 運動は連続時間であり、エージェントは現在の方位観測に基づいて直接速度を制御する。
• 解析では、収束を証明するために凸包の周囲長をリャプノフ型関数として用いる。
• 凸多角形の内角のコサイン和に対する幾何学的下界を導出し、周囲長減少の速度を制限するために用いる。

実験結果

リサーチクエスチョン

• RQ1 距離測定や記憶を一切用いずに、方位のみのセンシングと限界視界のもとで有限時間内に集約を達成可能か？
• RQ2 提案された運動則のもとで、凸包の周囲長はどの程度の速度で減少するか？
• RQ3 エージェント配置の幾何学的構造（例：正多角形対「コーン型」）は収束速度にどのように影響するか？
• RQ4 周囲長減少速度に対する理論的下界は存在するか？ また、それはどのような条件下で達成されるか？
• RQ5 エージェントが合体する際のシステムダイナミクスはどのように変化し、凸包にどのような影響を与えるか？

主な発見

• 可視性グラフが連結であり、エージェントが有限の視界範囲内にある任意の初期配置に対して、有限時間内に集約が保証される。
• 互いに見え合うエージェント間の距離は、時間とともに単調に減少する。
• 凸包の周囲長は、多角形の内角のコサイン和の下界に従って減少するが、その下界は「コーン型」に近い配置で最もきつくなる。
• n=10の正多角形配置では、周囲長は一定速度で減少し、凸包に属するエージェント数は時間とともに一定のままである。
• 周囲長減少速度の理論的下界は、内角のコサイン和が最小化される配置で達成され、これは小規模なnに対して非正則な「コーン型」配置で実現される。
• 可視性グラフの変化（例：新たなエージェントペアが互いに可視化される）に伴い、凸包周囲長の微分に不連続性が生じる。