[论文解读] Stability of leaderless multi-agent systems. Extension of a result by Moreau

David Angeli, Pierre‐Alexandre Bliman|arXiv (Cornell University)|Nov 15, 2004

Distributed Control Multi-Agent Systems参考文献 10被引用 27

一句话总结

本文通过证明在任意有界时延下且无需状态转移映射的凸性假设时，无领导者多智能体系统的全局渐近稳定性，扩展了Moreau在该领域开创性工作的适用范围。作者引入了一种集值李雅普诺夫函数和广义稳定性框架，确保所有智能体基于交互图的连通性收敛至同一平衡点，即使在非凸状态空间和存在时延通信的情况下亦成立。

ABSTRACT

The paper presents a result which relates connectedness of the interaction graphs in a multi-agent systems with the capability for global convergence to a common equilibrium of the system. In particular we extend a previously known result by Moreau by including the possibility of arbitrary bounded time-delays in the communication channels and relaxing the convexity of the allowed regions for the state transition map of each agent.

研究动机与目标

• 将Moreau关于无领导者多智能体系统稳定性结果推广，以允许任意有界通信时延的存在。
• 放宽对状态转移映射凸性的假设，使该框架可应用于非凸或受限状态空间（如环面或部分受阻的欧氏空间）。
• 在时变交互图和延迟信息交换条件下，建立系统一致全局渐近稳定的充分条件。
• 提出一种基于集值李雅普诺夫函数的稳定性框架，以捕捉智能体的集体行为，且无需集中协调或领导者节点。

提出的方法

• 引入一个集值映射 $\sigma$（文中记为 $V$），为每个智能体状态分配状态空间中的紧集，作为广义李雅普诺夫函数。
• 为每个智能体 $k$ 定义一个集值更新映射 $e_k$，确保新状态保留在李雅普诺夫函数的像集中，从而维持稳定性性质。
• 使用时延状态表示 $\tilde{x}(t) \in X^{hn}$ 来建模最多 $h$ 步的有界时延系统。
• 通过函数 $\mu$ 和一个正定函数 $\beta$ 建立稳定性，使得沿轨迹有 $\mu(V(y)) - \mu(V(x)) \leq -\beta(x)$，确保李雅普诺夫测度的衰减。
• 对 $V$ 和 $\mu$ 应用上半连续性和有界性条件，以保证一致稳定性和全局吸引性。
• 通过证明轨迹在连通性和衰减条件的共同作用下，进入并始终保持在平衡集 $\Phi$ 的任意小邻域内，从而证明一致全局渐近稳定性。

实验结果

研究问题

• RQ1 当引入通信时延（即使为任意且有界）时，无领导者多智能体系统的稳定性是否仍能保持？
• RQ2 Moreau工作中原先假设的凸性在状态转移映射中是否仍为全局收敛至共同平衡点所必需？
• RQ3 能否将基于李雅普诺夫的框架推广至非凸状态空间（如环面或存在障碍物的空间）？
• RQ4 交互图拓扑结构和更新规则需满足何种条件，才能确保所有智能体在无领导者的情况下收敛至同一平衡点？
• RQ5 如何利用集值李雅普诺夫函数分析具有延迟和时变交互的系统的稳定性？

主要发现

• 本文证明，只要交互图在时间上保持连通，无领导者多智能体系统的全局渐近稳定性即使在存在任意有界通信时延时仍可保持。
• 去除了对状态转移映射凸性的假设，使该框架可应用于在非凸流形（如环面）或部分受阻空间中演化的系统。
• 构造了一个集值李雅普诺夫函数 $V$，使得对所有 $y \in e(t,x)$ 有 $V(x) \subseteq V(y)$，确保系统状态始终位于有界且吸引的集合内。
• 若存在函数 $\mu$ 和一个正定函数 $\beta$，满足 $\sup_{y \in e(t,x)} \mu(V(y)) - \mu(V(x)) \leq -\beta(x)$，则可保证一致全局渐近稳定性。
• 证明表明，所有起始于平衡集 $\Phi$ 有界邻域内的轨迹，最终将进入并始终保持在任意给定的 $\varepsilon$-邻域内，这是由于 $\mu$ 沿轨迹的严格衰减所致。
• 即使衰减条件仅在有限时间窗 $\tau$ 内应用而非逐点成立，该框架依然有效，从而增强了对扰动和时延的鲁棒性。