[論文レビュー] Mathematical aspects of decentralized control of formations in the plane

Mohamed-Ali Belabbas|arXiv (Cornell University)|Oct 6, 2011

Distributed Control Multi-Agent Systems参考文献 10被引用数 3

ひとこと要約

本稿は、平面における分散型フォーメーション制御のための数学的枠組みを提示し、多様体上での非線形系におけるタイプ-A安定性と耐性性に焦点を当てる。トポロジー的制約が存在する中でもグローバル安定化を形式化し、耐性性のある制御設計が低次のジェット空間最適化に簡略化されることを示し、非自明な情報ループを有する場合でも安定なフォーメーション制御が可能であることを、トポロジー的課題を内在する2サイクル形成を用いて実証した。

ABSTRACT

In formation control, an ensemble of autonomous agents is required to stabilize at a given configuration in the plane, doing so while agents are allowed to observe only a subset of the ensemble. As such, formation control provides a rich class of problems for decentralized control methods and techniques. Additionally, it can be used to model a wide variety of scenarios where decentralization is a main characteristic. We introduce here some mathematical background necessary to address questions of stability in decentralized control in general and formation control in particular. This background includes an extension of the notion of global stability to systems evolving on manifolds and a notion of robustness of feedback control for nonlinear systems. We then formally introduce the class of formation control problems, and summarize known results.

研究の動機と目的

• 非自明な多様体上を動く分散型システムにおけるグローバル安定化の課題に取り組むこと。標準的な安定性定義はトポロジーのため失敗する。
• 多様体構造が誘発する付加的平衡点が存在する中でも、実用的なグローバル収束を捉えるタイプ-A安定性の概念を形式化すること。
• 非線形フィードバック制御における耐性性の概念を導入し、低次のジェット空間への探索範囲の制限により設計を簡略化すること。
• これらの概念をフォーメーション制御に適用し、非自明な情報ループを有する最小系としての2サイクル形成の分析に特化すること。
• 耐性性のある制御則が低次のジェット空間で一般に設計可能であり、不確実性下でも実用的安定性を保証できることを確立すること。

提案手法

• 多様体上でのシステムに対して、望ましい平衡点のみが安定であることを要件とする、古典的グローバル安定性の改良版としてタイプ-A安定性を導入する。
• ジェット空間における横断的性質を用いて耐性性を定義し、微小な摂動やモデル誤差に対しても制御則が有効であることを保証する。
• ジェット空間理論を用いて制御設計問題を低次のジェットに還元し、一般性の結果を得るためにトムの横断的定理を活用する。
• モース理論を用いて、付加的平衡点を許容しない限り、非自明な多様体上ではグローバル安定化が不可能であることを示す。
• 回転および平行移動不変性を反映する複素射影空間と正の実数を用いて、配置空間を複雑な多様体としてモデル化し、フォーメーション制御を分析する。
• この枠組みを2サイクル形成に適用し、2つの非自明な情報ループを有する最小系として同定し、安定性解析の複雑さを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 非ベクトル空間の多様体上を動く制御系に対して、グローバル安定化を意味的に定義することは可能か？
• RQ2 非線形フィードバック制御における耐性性をどのように形式化すれば、設計を簡略化し不確実性へのレジリエンスを保証できるか？
• RQ3 ジェット空間構造は、分散型システムの制御則設計の複雑さをどのように低減するか？
• RQ4 なぜ非自明な多様体上でのフォーメーション制御において付加的平衡点は避けがたいのか？そしてそれらはどのように管理できるか？
• RQ5 2サイクル形成に見られるような非自明な情報ループは、分散型制御則の安定性および設計にどのように影響を与えるか？

主な発見

• タイプ-A安定性は、望ましい平衡点のみが安定で十分であるため、多様体上での古典的グローバル安定性の代替として有効である。微小な摂動により、それらの平衡点への収束が保証される。
• 耐性性のある制御設計により、探索空間を低次のジェット空間に限定できるため、効果的な制御則の合成が著しく簡略化される。
• 付加的平衡点の存在は、非自明なホモロジーのため、トポロジカルに避けがたいため、古典的意味でのグローバル安定化は不可能である。
• フォーメーション制御において、状態空間は自然に $\mathbb{C}P(n-2) \times (0,\infty)$ としてモデル化され、回転および平行移動不変性を反映する。
• 2サイクル形成は、2つの非自明な情報ループを有する最小系であり、分散型制御の複雑さを分析するための標準的ベンチマークである。
• 系理1は、ある零点において微分が消える関数は一般に存在しないことを確認しており、微小摂動下では非退化零点が一般的であることを示唆する。