[論文レビュー] Flocking formation and stabilizer of boosted cooperative control on a sphere

Sun-Ho Choi, Dohyun Kwon+1 more|arXiv (Cornell University)|Jul 9, 2021

Distributed Control Multi-Agent Systems参考文献 34被引用数 5

ひとこと要約

本稿では、Cucker-Smale型のフロッキング作用素と引力・反発力の統合により、非ゼロの定常速度で安定した動的フロック形成を達成する2次元球面上の2次協調制御系を提案する。フロッキング作用素は安定化器として機能し、制御パラメータに応じて漸近的配置（集合、展開、局所的展開）へのグローバル収束を可能にする。ブースト項により速度の減衰を防ぎ、持続的運動の数値的妥当性を確認する。

ABSTRACT

The purpose of this paper is to consider flocking formations of a second order dynamic system on a sphere with a Cucker-Smale type flocking operator and cooperative control. The flocking operator consists of a weighted control parameter and a natural relative velocity. The cooperative control law is given by a combination of attractive and repulsive forces. We prove that the solution to this system converges to an asymptotic spherical configuration depending on the control parameters of the cooperative control law. All possible asymptotic configurations for this system are classified and sufficient conditions for rendezvous, deployment, and local deployment, respectively, are presented. In addition, we provide several numerical simulations to confirm our analytic results. We numerically verify that the solution to this system converges to a formation flight with a nonzero constant speed if we add a boost term. The flocking operator acts as a stabilizer on the spherical cooperative control laws.

研究の動機と目的

• 球の曲がった表面におけるマルチエージェント系の集団的運動をモデル化・分析すること。実世界の応用例（航空監視、衛星編隊など）を動機とする。
• 非ユークリッド的で非ゼロの曲率を持つ多様体上での安定した動的フロック配置を維持する課題に取り組むこと。標準的な平坦空間制御則では効果を発揮しない環境である。
• 引力・反発力とCucker-Smale型フロック作用素を組み合わせた協調制御則を設計し、望ましい編隊への漸近的収束を達成すること。
• フロック作用素がシステムを安定化させ、ブースト機構を通じて非ゼロの定常速度での持続的運動を可能にすることを示すこと。
• すべての可能な漸近的配置（集合、展開、局所的展開）を分類し、それぞれが成立するための十分条件を導出すること。

提案手法

• 曲率に起因する加速度、フロック作用素、協調制御力の組み合わせによって支配される、2次元球面上の2次常微分方程式系を定式化する。
• 球面上で1人のエージェントの速度を別のエージェントに平行移動するための回転作用素 $ R_{x_j \to x_i}(v_j) $ を導入し、相対速度計算における幾何的整合性を確保する。
• 位置に依存する力を持つ協調制御則を採用：$ \sigma_{ij} = \sigma_a - \frac{\sigma_r}{\|x_i - x_j\|^2} $。これは引力と反発力の相互作用をモデル化する。
• 速度がしきい値未満に低下した際に速度を増加させるブースト項 $ f_i^b $ を組み込む。これにより停滞を防ぎ、持続的運動を実現する。
• 幾何的制約とフィードバックを通じて球面上に留まるようにする正規化された制御フレームワークを採用。数値誤差によるずれを回避する。
• 不変多様体技法とリャプノフ法を用いた理論的解析により、グローバルな適切性と漸近的収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元球面上の2次マルチエージェント系は、非ゼロの定常速度で安定した動的フロックを達成できるか？
• RQ2 Cucker-Smale型フロック作用素は、曲がった多様体上でのシステムの安定化と持続的運動の実現にどのような役割を果たすか？
• RQ3 システムの完全な漸近的配置集合（例：集合、展開）は何か？ それぞれが成立するパラメータ条件は何か？
• RQ4 ブースト項の追加は、球面上のフロックにおける長期的ダイナミクスにどのように影響し、速度の減衰を防ぐか？
• RQ5 ダンピングや外部補正なしに、フロック作用素だけがシステムを安定化させ、グローバルスケールでの編隊飛行を可能にするか？

主な発見

• システムはグローバルに適切であり、制御パラメータに応じて3つの配置のいずれか（集合、展開、局所的展開）に漸近的に収束する。
• 相対速度と回転輸送に基づくフロック作用素は安定化器として機能し、ダンピングや外部補正なしでも収束を可能にする。
• ブースト項 $ f_i^b $ を用いることで、エージェントは非ゼロの定常速度を維持する。数値シミュレーションにより、定常状態で $ \|v_1(t)\| \approx 1.25 $ であることが確認された。
• 漸近的配置は比 $ \frac{(N-1)\sigma_r}{2\sigma_a} $ に依存し、ブースト機構下では $ \rho(t) $ がこの値の周辺で摂動する。
• 数値結果により、フロック作用素がなければシステムは持続的編隊に安定化しないことが確認され、その中心的安定化的役割が顕著に示された。
• 幾何的構造とブースト制御のおかげで、数値誤差が存在する場合でも、長時間にわたりエージェントが球面上に保持されることがモデルで成功裏に実証された。