[論文レビュー] Coordination and geometric optimization via distributed dynamical systems

Jorge Cortés, Francesco Bullo|ArXiv.org|May 29, 2003

Point processes and geometric inequalities参考文献 3被引用数 14

ひとこと要約

本稿では、局所的相互作用を用いてディスクカバーイング問題や球体パッケージング問題を解くために、非滑らか勾配フローを用いた分散動的システムを、マルチエージェントネットワークにおける幾何最適化のためのものとして提案する。非滑らか安定性解析を用いて、これらのシステムが最適な配置（例えば、中心ボロノイ配置やインセンター配置）に収束することを厳密に確立し、ロボットネットワークにおけるスケーラブルで分散型の協調制御を可能にする。

ABSTRACT

This paper discusses dynamical systems for disk-covering and sphere-packing problems. We present facility location functions from geometric optimization and characterize their differentiable properties. We design and analyze a collection of distributed control laws that are related to nonsmooth gradient systems. The resulting dynamical systems promise to be of use in coordination problems for networked robots; in this setting the distributed control laws correspond to local interactions between the robots. The technical approach relies on concepts from computational geometry, nonsmooth analysis, and the dynamical system approach to algorithms.

研究の動機と目的

• グローバルな知識なしに、ネットワーク化されたロボットが自己組織的に最適な空間的配置に到達できる分散制御則の設計。
• ディスクカバーイングや球体パッケージングなどの幾何最適化目的から導かれる動的システムの漸近的挙動および収束特性の分析。
• 非滑らか解析および計算幾何学を用いて、多中心関数（例：多外接中心、多内接中心）の臨界点の特定。
• ボロノイ幾何学にインspiredされた局所的相互作用ルールを通じて、提案されたアルゴリズムの分散的かつスケーラブルな性質の確立。
• 幾何的および安定性解析を用いて、理論的制御理論とロボット工学および生物系の実践的協調問題を橋渡しすること。

提案手法

• ネットワークエージェントのグローバルな性能指標として、多外接中心関数や多内接中心関数などの施設配置関数を形式化する。
• これらの関数の一般化勾配に基づく分散制御則を定義し、非滑らか動的システムを導出する。
• ボロノイ分割を用いて局所的近傍を定義し、エージェント固有の幾何的中心（例：外接中心、内接中心）を定義することで、分散型意思決定を実現する。
• 集合値のリーマン微分および一般化勾配を用いた非滑らか安定性解析を適用し、臨界点への収束を証明する。
• Mathematicaを用いてアルゴリズムを実装・シミュレーションし、有界ボロノイ図、外接中心計算、およびLinearProgrammingを用いて内接中心集合を計算する。
• 3つのアルゴリズム戦略を設計する：(1) 多中心関数の勾配フロー、(2) 1中心関数の一般化勾配、(3) リョード法に類似した幾何的中心化。

実験結果

リサーチクエスチョン

• RQ1 ボロノイ分割における局所的幾何的相互作用に基づく分散動的システムの臨界点は何か？
• RQ2 これらの局所的相互作用ルールは、ディスクカバーイングおよび球体パッケージング問題の最適解への収束をもたらすか？
• RQ3 非滑らか解析手法を用いて、提案された動的システムが安定的かつ収束的であることを証明できるか？
• RQ4 これらの局所的ルールは、どのようにしてネットワーク全体の性能指標のグローバル最適化を実現するのか？
• RQ5 提案されたアルゴリズムは、収束速度および最終的な配置品質において、どのように比較されるか？

主な発見

• 多外接中心関数はグローバルにリプシッツ連続かつ正則であり、その臨界点は中心ボロノイ配置に対応する。
• 多内接中心関数はグローバルにリプシッツ連続かつ正則であり、その臨界点は球体パッケージング問題の解に対応する。
• ボロノイ多角形内の最も遠い点へ移動するための動的システム (24) は、16エージェントで2秒後に多外接中心関数値約0.39504メートルに達する。
• 外接中心へ移動するための動的システム (28) は、20秒後に多外接中心関数値約0.43273メートルに達する。
• 最も近い隣接エージェントから遠ざかるための動的システム (25) は、2秒後に多内接中心関数値約0.26347メートルに達する。
• 内接中心へ移動するための動的システム (29) は、20秒後に多内接中心関数値約0.2498メートルに達し、安定的かつ最適化された配置への収束を示している。