[论文解读] Convergence of type-symmetric and cut-balanced consensus seeking systems (extended version)

Julien M. Hendrickx, John N. Tsitsiklis|arXiv (Cornell University)|Feb 11, 2011

Distributed Control Multi-Agent Systems参考文献 28被引用 11

一句话总结

本文在广义割平衡条件下建立了连续时间一致性系统的一致性收敛条件，该条件确保了群体间影响力的相互成比例。证明了此类系统始终收敛，且仅当 agents 属于无界交互图的同一连通分量时，其值才会收敛到相同极限，该结果进一步推广至时变及内生决定的网络。

ABSTRACT

We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining ones, the former group is also influenced by the remaining ones by at least a proportional amount. Models involving symmetric interconnections and models in which a weighted average of the agent values is conserved are special cases. We prove that such systems always converge. We give a sufficient condition on the evolving interaction topology for the limit values of two agents to be the same. Conversely, we show that if our condition is not satisfied, then these limits are generically different. These results allow treating systems where the agent interactions are a priori unknown, e.g., random or determined endogenously by the agent values. We also derive corresponding results for discrete-time systems.

研究动机与目标

• 建立连续时间一致性系统在时变、非对称交互下收敛的充分条件。
• 基于无界交互链路的结构，刻画 agents 达到相同一致性极限的条件。
• 将收敛结果推广至交互拓扑由 agent 值内生决定或随机演化的一致性系统。
• 为 agents 以成比例强度相互影响的模型提供理论基础。
• 探讨割平衡条件的局限性及其向连续体 agent 模型的推广。

提出的方法

• 引入割平衡条件：对任意 agent 子集，其对补集的影响下限为反向影响的分数，使用常数 $ K \geq 1 $ 表示。
• 定义无界交互图，其中若 $ \int_0^\infty a_{ij}(\tau)\,d\tau = \infty $，则存在边 $ (j,i) $，并证明其弱连通分量是强连通的。
• 提出一种基于 $ m $ 个最小 agent 值线性组合的新型李雅普诺夫型论证，证明这些组合是非减且有界的。
• 表明若两个具有无界相互影响的 agent 收敛到不同极限，则此类组合的总增加速率最终会超过一个正的下界。
• 将该方法应用于连续时间与离散时间系统，推导出类似的一致性收敛条件。
• 基于 agent 值演化，将结果推广至交互拓扑内生或随机演化的系统。

实验结果

研究问题

• RQ1 在时变、非对称交互下，连续时间一致性系统在何种条件下收敛？
• RQ2 此类系统中 agents 何时收敛到相同的一致性极限，其与无界交互结构的关系如何？
• RQ3 割平衡条件能否用于保证内生决定或随机交互模式下的一致性收敛？
• RQ4 若割平衡条件中的比例常数 $ K $ 随时间无界增长，会发生什么？
• RQ5 有限 agent 系统的收敛结果能否推广至具有连续体 agent 的模型？

主要发现

• 在割平衡条件下，无论交互拓扑如何，每个 agent 的值均收敛到有限极限。
• 两个 agent 收敛到相同极限，当且仅当它们属于无界交互图的同一连通分量。
• 若 agents 属于无界交互图的不同分量，则其极限通常不同，前提是有限时间内交互积分有限。
• 割平衡条件推广了对称与平均保持系统，且在影响力相互成比例时恒成立。
• 分析 $ m $ 个最小值线性组合的方法提供了一种新证明技术，避免了传统二次型或跨度范数收缩论证。
• 若允许割平衡常数 $ K $ 随时间增长，则结果不成立，表明该条件是紧致的。
• 该方法无法直接推广至连续体 agent 模型，因当 $ K > 1 $ 时，无法构造合适的基于导数的李雅普诺夫函数。