Distributed Attraction-Repulsion Potential for Multi-Agent Formation Control

技术摘要：用于多智能体编队控制的分布式吸引 - 排斥势

问题陈述
本文解决了设计多智能体系统（MAS）分布式控制律的挑战，旨在仅利用局部传感和通信实现编队控制。具体而言，作者聚焦于基于距离的范式，利用源自 Lennard-Jones（LJ）12-6 模型的吸引 - 排斥势。虽然此类势函数受分子动力学中物理相互作用定律的启发，并能提供鲁棒的群体聚集，但其在控制理论中的应用面临两个持续存在的分析障碍：

1. 碰撞避免与全局适定性：虽然排斥力在理论上能防止碰撞，但在类梯度设定中，往往缺乏严格的证明来保证无碰撞的初始条件在所有时间内都能均匀地远离碰撞（硬碰撞）。
2. 收敛至唯一平衡点：基于梯度的系统通常收敛至一组平衡点，而非单一状态。由于任意交互拓扑中可能存在非平凡的、不需要的平衡点，证明收敛至单一平衡构型（模去平移等平凡运动）十分困难。

方法论
作者将多智能体系统建模为一组具有二阶动力学（质量和阻尼）的 $N$ 个智能体，由总势能函数 $U$ 的梯度驱动。智能体 $i$ 与 $j$ 之间的交互势 $\phi$ 为 Lennard-Jones 势，其特征为短程排斥（$r_{ij}^{-12}$）和较长程吸引（$r_{ij}^{-6}$）。

分析按以下步骤进行：

• 系统建模：动力学以状态空间形式表述，其中每个智能体上的净力为总势能 $U$ 的负梯度。
• 全局适定性：作者利用总能量 $E$（动能 + 势能）作为 Lyapunov 函数。通过分析势能相对于初始总能量的下界，他们推导出了所有智能体间距离的均匀正下界。这确保了轨迹永远不会进入碰撞集。
• 收敛性分析：
  • LaSalle 不变性原理：由于阻尼导致总能量非增（$\dot{E} \leq 0$），系统被证明将趋近于 $\dot{E}=0$ 的最大不变子集，这对应于速度为零且势能梯度消失的平衡点集合。
  • Lojasiewicz 不等式：为了解决收敛至集合还是单点的歧义，作者利用了沿流（由无碰撞性质保证）的势能函数的解析性。他们应用基于 Lojasiewicz 不等式的论证，证明了轨迹收敛至模去平移后的单一平衡点。

主要贡献

1. 全局适定性证明：本文提供了严格的证明，表明对于任何无碰撞的初始条件，系统存在定义在 $[0, \infty)$ 上的唯一全局解。关键在于，它建立了智能体间距离的均匀下界，从数学上排除了硬碰撞的可能性。
2. 收敛至单一平衡点：作者证明，尽管能量景观是非凸的且存在多种平衡构型（例如，等边三角形与共线构型），系统仍收敛至单一平衡状态（模去平移），而不会在这些状态之间振荡。
3. 分析框架：该工作将非线性稳定性工具（Lyapunov 函数、LaSalle 原理）与分析几何（Lojasiewicz 不等式）相结合，以刻画势驱动的多智能体系统的渐近行为。

结果
理论发现通过 Radau 积分法的数值实验得到验证：

• 碰撞避免：针对 2、3 和 8 个智能体的仿真证实，智能体间距离严格保持在分析中推导出的理论下界之上，验证了碰撞避免的保证。
• 收敛行为：
  • 在 2 智能体情况下，系统收敛至唯一平衡距离 $r^* = 2^{1/6}\sigma$。
  • 在 3 智能体情况下，初始化为接近等边三角形和共线构型的轨迹收敛至各自单一的平衡状态，而不会在它们之间振荡。
  • 在 8 智能体情况下，系统有效扩展，保持了碰撞避免并收敛至稳定编队。
• 能量衰减：总能量被证明是严格单调递减的，收敛至对应于平衡点势能的有限极限，且动能随 $t \to \infty$ 而消失。
• 收敛速率：围绕平衡点的局部线性化确认了指数收敛，观测到的衰减速率与从势能的 Hessian 矩阵推导出的理论预测相符。

意义与主张
本文声称提供了分布式、势驱动的多智能体系统的“全局稳定性与安全特性表征”。其主要意义在于解决了梯度类系统中通常与收敛性相关的歧义，通过证明解析势函数在结合阻尼和无碰撞初始条件时，会导致收敛至唯一平衡点。作者断言，他们的方法解决了在无集中监督下确保碰撞避免的挑战，并为在编队控制中使用 Lennard-Jones 势提供了严格的基础。文章最后指出，这些分析结果适用于所研究的特定系统类别，并仅提及未来的方向是将该框架扩展至新的应用领域（如电网），其中此类动力学尚未得到探索。