[论文解读] Consensus Problems in Networks of Agents under Nonlinear Protocols with Directed Interaction Topology

Xiwei Liu, Tianping Chen|ArXiv.org|Apr 23, 2008

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

一句话总结

本文在有向图上建立了具有非线性协议的多智能体网络达成一致的条件。通过利用谱图论和李雅普诺夫稳定性理论，证明了当交互拓扑结构为强连通时，且非线性协议严格递增，则可实现一致。该研究将先前针对无向图和线性协议的结果推广至有向图和非线性协议的情形。

ABSTRACT

The purpose of this short paper is to provide a theoretical analysis for the consensus problem under nonlinear protocols. A main contribution of this work is to generalize the previous consensus problems under nonlinear protocols for networks with undirected graphs to directed graphs (information flow). Our theoretical result is that if the directed graph is strongly connected and the nonlinear protocol is strictly increasing, then consensus can be realized. Some simple examples are also provided to demonstrate the validity of our theoretical result.

研究动机与目标

• 将一致理论从无向图推广至具有非线性协议的有向图。
• 在保持收敛保证的前提下，将现有线性一致结果推广至非线性协议。
• 利用代数图论、矩阵理论和控制理论，为有向非线性智能体网络提供严谨的理论框架。
• 通过数值示例展示非线性协议的有效性，表明其收敛速度优于线性协议。

提出的方法

• 使用带权有向图、邻接矩阵和图拉普拉斯矩阵对智能体网络进行建模。
• 定义一种非线性一致协议，其中每个智能体基于变换后状态的差值进行更新：$\dot{x}_i = \sum_{j \in \mathcal{N}_i} a_{ij} (h(x_j) - h(x_i))$。
• 构造李雅普诺夫函数 $V(x) = \frac{1}{2} \sum_{i,j} b_{ij} (h(x_i) - h(x_j))^2$ 以分析稳定性。
• 利用拉普拉斯矩阵的性质和 $h(\cdot)$ 的严格递增性，证明有界性和收敛性。
• 识别最大不变集 $\Omega = \{x : x_i = x_j \text{ 对所有 } i,j\}$，意味着达成一致。
• 利用拉普拉斯矩阵对应于特征值 0 的左特征向量 $\xi$，定义一致值 $\beta = \sum \xi_i x_i(0)$。

实验结果

研究问题

• RQ1 在具有非线性协议的有向图网络中，一致在何种条件下出现？
• RQ2 能否将无向图上具有非线性协议的一致结果推广至有向图？
• RQ3 非线性协议的严格递增性质如何影响向一致的收敛？
• RQ4 非线性协议是否能在有向网络中实现比线性协议更快的一致？
• RQ5 强连通性在确保非线性动力学下一一致的形成中起什么作用？

主要发现

• 当有向图强连通且非线性协议 $h(\cdot)$ 严格递增时，可实现一致。
• 一致值为 $\beta = \sum_{i=1}^n \xi_i x_i(0)$，其中 $\xi$ 是拉普拉斯矩阵对应于特征值 0 的左特征向量。
• 李雅普诺夫函数 $V(x)$ 非增且有界，确保所有状态轨迹保持有界。
• 当 $h$ 满足 $ (h(w_1) - h(w_2)) / (w_1 - w_2) \geq \alpha > 0 $ 时，一致以指数速度实现。
• 数值仿真表明，如 $h(x) = \alpha x + \sin(x)$ 且 $\alpha = 2$ 的非线性协议，其收敛速度优于线性协议。
• 示例 2 表明，具有导数 $\geq 1/2$ 的分段非线性协议 $h^*(x)$ 比线性协议 $h(x) = x/2$ 具有更快的收敛速度。