群れのパターン再構成 - 分散型非同期バウンディング反復アルゴリズムの収束

群れは自己組織化された分散ロボティックシステム（DRS）の物理的実現です。本論文では、群れの行動に関する厳密な分析を提供し、DRSのパターン再構成問題を解決するための新しい方法論を紹介します。著者らは線形群れモデルを導入し、物理的に関連する制約の下で線形方程式のシステムを非同期に解くための反復的方法であることを示します。本論文の主な結果は、線形群れが同期可能な構成に非同期に収束するための十分条件の証明です。これは、大規模なDRS自己組織化タスクのクラスが群れのパターンの再構成にマッピングできるため、重要です。