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

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

Mathematical and Theoretical Epidemiology and Ecology Models被引用 8

一句话总结

该论文建立了具有时变、割平衡交互作用的连续时间一致性系统无条件收敛的结论——其中各代理群体之间的相互影响是成比例的。论文证明，当且仅当交互对称性满足某种拓扑条件时，代理才能达成一致性，并将结果扩展至随机和内生交互系统，在连续时间和离散时间中均得到类似结论。

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 converge unconditionally. 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. Using the fact that our convergence result is unconditional, we show that it also applies to systems where the agent connectivity and interactions are random, or endogenous, that is, determined by the agent values. We also derive corresponding results for discrete-time systems. 1

研究动机与目标

• 建立具有时变、割平衡交互拓扑的连续时间一致性系统的收敛性。
• 识别一个充分的拓扑条件，使得任意两个代理的极限值相等。
• 证明即使交互是随机的或由代理值内生决定的，收敛结果依然无条件成立。
• 将分析扩展至具有类似交互特性的离散时间一致性系统。
• 通过精确的拓扑准则，刻画一致性与非一致性行为之间的边界。

提出的方法

• 将割平衡定义为一种相互影响条件：若一个群体影响另一个群体，则反向影响至少成比例。
• 采用李雅普诺夫型分析，证明系统无条件收敛至一致性状态。
• 在交互图上引入一个拓扑条件，以确定何时两个代理达到相同的极限值。
• 将收敛结果应用于具有随机或基于值依赖（内生）交互动态的系统。
• 推导出具有割平衡交互的离散时间一致性模型的类似收敛与一致性条件。
• 运用图论与动力系统技术，分析在时变交互下代理状态的演化。

实验结果

研究问题

• RQ1 在何种条件下，割平衡一致性系统能无条件收敛？
• RQ2 何种拓扑性质可确保此类系统中两个代理达到相同的极限值？
• RQ3 收敛结果如何推广至具有随机或内生交互动态的系统？
• RQ4 连续时间割平衡一致性收敛结果的离散时间类比是什么？
• RQ5 在一般情况下，一致性的拓扑条件是否既必要又充分？

主要发现

• 具有割平衡交互的连续时间一致性系统，无论初始条件或交互动态如何，均无条件收敛至一致性状态。
• 交互图上的特定拓扑条件，对于两个代理达到相同极限值而言，既充分又在一般情况下必要。
• 若该拓扑条件不满足，则两个代理的极限值在一般情况下不同，表明一致性失败。
• 只要割平衡条件在时间上持续成立，该收敛结果仍适用于具有随机或内生交互拓扑的系统。
• 针对具有割平衡交互的离散时间一致性系统，推导出类似的收敛与一致性条件。
• 该框架推广了对称与平均守恒模型，表明它们是割平衡系统的特例。