[論文レビュー] Decentralized Formation Control Part II: Algebraic aspects of information flow and singularities

Mohamed-Ali Belabbas|arXiv (Cornell University)|Jan 12, 2011

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

ひとこと要約

本稿は、情報フロー制約とトポロジカル障害に焦点を当て、マルチエージェントシステムにおける分散型フォーメーション制御を分析する代数的枠組みを構築する。n=4エージェントの有向フォーメーションにおいて、局所的安定化フィードバック則は部分情報のもとでは実装不可能であり、システムの非自明なグローバルトポロジーより、望ましい配置を安定化することは、望ましくない配置をも安定化してしまう。

ABSTRACT

Given an ensemble of autonomous agents and a task to achieve cooperatively, how much do the agents need to know about the state of the ensemble and about the task in order to achieve it? We introduce new methods to understand these aspects of decentralized control. Precisely, we introduce a framework to capture what agents with partial information can achieve by cooperating and illustrate its use by deriving results about global stabilization of directed formations. This framework underscores the need to differentiate the knowledge an agent has about the task to accomplish from the knowledge an agent has about the current state of the system. The control of directed formations has proven to be more difficult than initially thought, as is exemplified by the lack of global result for formations with n \geq 4 agents. We established in part I that the space of planar formations has a non-trivial global topology. We propose here an extension of the notion of global stability which, because it acknowledges this non-trivial topology, can be applied to the study of formation control. We then develop a framework that reduces the question of whether feedback with partial information can stabilize the system to whether two sets of functions intersect. We apply this framework to the study of a directed formation with n = 4 agents and show that the agents do not have enough information to implement locally stabilizing feedback laws. Additionally, we show that feedback laws that respect the information flow cannot stabilize a target configuration without stabilizing other, unwanted configurations.

研究の動機と目的

• 分散型エージェントが協調的フォーメーション制御を達成するための最小限の情報要件を理解すること。
• 特にn ≥ 4エージェントの場合に、有向フォーメーションにおけるグローバル安定化の課題に対処すること。
• 分散制御設定におけるタスク知識と状態知識の違いを明確にすること。
• 部分情報フィードバックが望ましいフォーメーションを安定化できる条件を形式化すること。
• グローバルトポロジーが、局所的フィードバック則のもとではグローバル安定化を妨げる役割を分析すること。

提案手法

• 情報フロー制約から導かれる2つの関数集合の交差に帰着することで、安定性の問題を解消する枠組みを導入する。
• 代数的トポロジーを用いて、平面フォーメーションの空間をモデル化し、非自明なトポロジカル障害を同定する。
• システムの下位トポロジーを考慮するグローバル安定性の概念を適用し、局所的フィードバック手法を拡張する。
• 情報フロー図を分析して、各エージェントがどの状態変数にアクセス可能であるかを特定する。
• 代数的手法を用いて、部分情報と整合する安定化フィードバック則の集合を特徴付ける。
• n=4の場合、情報フローを尊重するいかなる局所的フィードバック則でも、望ましい配置を安定化する際、誤った均衡状態を同時に安定化してしまうことを示す。

実験結果

リサーチクエスチョン

• RQ1 部分情報を持つ分散型エージェントは、有向フォーメーションのグローバル安定化を達成できるか？
• RQ2 n ≥ 4エージェントのフォーメーションにおいて、グローバル安定化を妨げるトポロジカル障害は何か？
• RQ3 情報フローの構造が、安定化フィードバック則の設計をどのように制限するか？
• RQ4 情報フローを尊重するフィードバック則は、望ましい配置を安定化するが、他の不必要な配置を安定化しないで済むか？
• RQ5 部分情報のもとで安定化フィードバックが存在する代数的条件は何か？

主な発見

• 有向フォーメーションにおけるn=4エージェントでは、情報フローを尊重するいかなる局所的フィードバック則でも、望ましい配置を安定化できない。
• トポロジカル制約のため、望ましい配置を安定化することは、追加の望ましくない均衡状態をも安定化してしまう。
• 平面フォーメーションの空間には、非自明なグローバルトポロジーが存在し、これにより局所的フィードバックによるグローバル安定化が妨げられる。
• 部分情報によるフィードバックがシステムを安定化するかどうかの問題は、2つの代数的関数集合の交差を確認することに帰着する。
• この枠組みにより、情報フロー構造とシステムトポロジーが、安定化可能性を共同で決定することが明らかになった。
• 結果は、分散制御における根本的制限を示している：タスクに関する完全な知識があっても、情報アクセスが制限されていれば、グローバル安定化は達成できない。