[论文解读] Self-organization in a group of mobile autonomous agents

Long Wang|ArXiv.org|May 23, 2004

Distributed Control Multi-Agent Systems参考文献 12被引用 8

一句话总结

本文提出了一种基于非线性吸引-排斥函数的离散时间群集模型，用于移动自主代理，以实现稳定且有限尺寸的聚集。通过基于李雅普诺夫的系统动力学稳定性分析，证明了无论维度如何，代理在有限时间内收敛至大小有界的凝聚簇，并全局稳定至平衡配置。

ABSTRACT

This paper considers a discrete time swarm model of a group of mobile autonomous agents with a simple attraction and repulsion function for swarm aggregation and investigates its stability properties. In particular, it is proved that the individuals (members) of the swarm will aggregate and form a cohesive cluster of a finite size depending only on the parameters of the swarm model in a finite time, and the swarm system is completely stable.

研究动机与目标

• 开发一种用于具有局部交互规则的移动自主代理自组织群集的离散时间模型。
• 分析在非线性吸引-排斥函数作用下群集系统的稳定性与聚集特性。
• 确立代理在有限时间内形成有限尺寸凝聚簇的条件。
• 证明群集系统无论初始位置和维度如何，均全局收敛至平衡配置。

提出的方法

• 群集被建模为在n维欧几里得空间中的M个代理，通过离散时间动力学同步演化。
• 代理交互由非线性吸引-排斥函数 g(y) = -y(a - b exp(-||y||²/c)) 控制，其中参数a、b、c分别控制吸引与排斥强度。
• 由于交互函数的对称性，证明了群集质心 x̄(k) 在时间上保持不变。
• 采用李雅普诺夫函数 V_i(k) = ½||e_i(k)||² 分析单个代理向群集中心的收敛性。
• 采用第二个李雅普诺夫函数 J(x) = ½ΣΣ||x_i - x_j||² 研究全局系统稳定性并分析系统收敛至平衡状态的过程。
• 应用拉塞尔不变性原理，表明系统状态收敛至所有代理净力为零的平衡点集合。

实验结果

研究问题

• RQ1 基于局部吸引-排斥规则的离散时间群集模型能否在有限时间内实现凝聚簇的聚集？
• RQ2 在何种条件下可确保群集保持有限尺寸，而不发生分散或坍缩？
• RQ3 无论初始位置和维度如何，系统是否均全局收敛至稳定平衡配置？
• RQ4 模型参数a、b、c如何影响最终簇的大小与收敛时间？
• RQ5 群集中心是否在时间上保持不变，且是否作为单个代理的稳定吸引子？

主要发现

• 群集中心 x̄(k) 在所有时间k保持静止，确保了群体无净漂移。
• 所有代理在有限时间内收敛至半径 δ = √(c ln(b/a)) 的有限尺寸簇中，其大小仅由模型参数a、b、c决定。
• 实现凝聚的最大时间受 k̄ = max_i [V_i(0)/(aε²)] 限制，其中ε为代理间距离的下界。
• 当M较大时，最终簇的大小仅取决于a、b、c，几乎与代理数量无关。
• 系统全局收敛至平衡点集合 Ω_e，其中每个代理的净力为零。
• 无论维度n如何，收敛至平衡状态均可保证，因为分析不依赖于空间维度。