[論文レビュー] Primitive operations for the construction and reorganization of minimally persistent formations

Julien M. Hendrickx, Barış Fi̇dan+3 more|ArXiv.org|Sep 8, 2006

Modular Robots and Swarm Intelligence参考文献 12被引用数 15

ひとこと要約

本稿は、2次元自律型エージェントシステムにおける最小限の恒続的フォーメーションを構築および再編成するための原始的演算——頂点の追加、辺の分割、辺の反転——を導入する。任意の最小限の恒続的有向グラフが、局所的かつ恒続性を保つ操作の系列によって他の任意のグラフに変換可能であることを証明し、マルチエージェントシステムにおけるフォーメーション再構成のための体系的で分散型の手法を提供する。

ABSTRACT

In this paper, we study the construction and transformation of two-dimensional persistent graphs. Persistence is a generalization to directed graphs of the undirected notion of rigidity. In the context of moving autonomous agent formations, persistence characterizes the efficacy of a directed structure of unilateral distances constraints seeking to preserve a formation shape. Analogously to the powerful results about Henneberg sequences in minimal rigidity theory, we propose different types of directed graph operations allowing one to sequentially build any minimally persistent graph (i.e. persistent graph with a minimal number of edges for a given number of vertices), each intermediate graph being also minimally persistent. We also consider the more generic problem of obtaining one minimally persistent graph from another, which corresponds to the on-line reorganization of an autonomous agent formation. We prove that we can obtain any minimally persistent formation from any other one by a sequence of elementary local operations such that minimal persistence is preserved throughout the reorganization process.

研究の動機と目的

• マルチエージェントシステムにおける最小限の恒続的フォーメーションの構築および再構成のための体系的で、局所的かつ分散型の手法を開発すること。
• 無向剛性のヘンネベルク列の概念を有向グラフに拡張し、最小限の恒続的グラフの逐次的構築を可能にする。
• フォーメーション再編成中に最小限の恒続性を保つために必要な最小限の演算集合を同定すること。
• 異なる演算集合（$\mathcal{A}$ と $\mathcal{T}$）がすべての最小限の恒続的グラフを生成する能力の相対的な強さを分析すること。
• 実装可能性を高めるために、自律型エージェントネットワークにおける分散実装に適した演算を同定すること。

提案手法

• 2つの演算集合を導入：$\mathcal{T}$（標準的な頂点追加、辺の分割、有向辺の反転）と $\mathcal{A}$（パス反転を含む非典型バージョン）。
• 各中間グラフが構築または再構成の全過程で最小限の恒続的性質を保つことを保証するためのグラフ理論的基準を用いる。
• 組合せ的恒続性条件を適用：最小限の恒続性は、無向グラフの剛性と有向構造の制約整合性の両方を要する。
• 局所的演算のみで達成できない変換を実現するために、辺の反転およびパス反転の演算を用いる。
• 逆演算を含めた場合、$\mathcal{A} \cup \mathcal{A}^{-1} = \mathcal{T} \cup \mathcal{T}^{-1}$ が成り立つことを証明し、演算集合の同等性を示す。
• 任意の最小限の恒続的グラフが、恒続性を各ステップで保ちながら、有限個のこのような操作の系列によって他の任意のグラフに到達可能であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 有限個の局所的かつ恒続性を保つ演算を用いて、すべての最小限の恒続的有向グラフを初期フォーメーションから生成可能か？
• RQ2 構築シーケンスにおけるすべての中間グラフが最小限の恒続的性質を保つために必要な最小限の演算集合は何か？
• RQ3 辺の反転またはパス反転の演算を用いて、最小限の恒続的フォーメーションを他のフォーメーションに再構成可能か？ その際、恒続性は保たれるか？
• RQ4 逆演算を含めた場合、異なる演算集合（$\mathcal{A}$ と $\mathcal{T}$）の相対的な能力はどのように比較できるか？
• RQ5 パス反転を含む演算の構造的およびアルゴリズム的意味は何か？ また、それらは分散的に実装可能か？

主な発見

• 任意の最小限の恒続的有向グラフは、リーダー・フォロワーの初期状態から、$\mathcal{T}$ の演算系列を用いて構築可能である。$\mathcal{T}$ には標準的な頂点追加、辺の分割、有向辺の反転が含まれる。
• $\mathcal{A}$ はパス反転などの非典型演算を含むが、$\mathcal{T}$ よりも厳密に弱いが、逆演算を含めると両者とも同じグラフ集合を生成する。
• $\mathcal{T}$ は $\mathcal{A}$ よりもより強力であり、辺の反転は $\mathcal{A}$ の演算のみでは達成できないが、$\mathcal{A}$ のすべての演算は $\mathcal{T}$ を用いて実装可能である。
• 等価性 $\mathcal{A} \cup \mathcal{A}^{-1} = \mathcal{T} \cup \mathcal{T}^{-1}$ は、逆演算を含めると、任意の最小限の恒続的グラフ間の変換が、どちらの演算集合を用いても達成可能であることを示唆する。
• $\mathcal{A}$ を用いて最小限の恒続的グラフを構築するための演算回数は、グラフのサイズによって一意に決定され、予測可能な構築経路が得られる。
• 結果として、分散型フォーメーション再構成の基盤が確立され、$\mathcal{T}$ を用いた演算が、その単純さと純粋な局所的変更の特性から、より好ましいことが示された。