[论文解读] On Synchronization of Dynamical Systems over Directed Switching Topologies: An Algebraic and Geometric Perspective

Jiahu Qin, Qichao Ma+2 more|arXiv (Cornell University)|Jul 20, 2018

Nonlinear Dynamics and Pattern Formation参考文献 31被引用 5

一句话总结

本文提出了一套统一的代数与几何框架，用于分析在有向切换拓扑下通用线性与Lipschitz非线性动力系统中的同步问题。通过将系统状态投影到拉普拉斯矩阵非零特征值对应的特征空间（线性情形）或保持Lipschitz性质的不变子空间（非线性情形）所张成的子空间上，作者将同步问题简化为在每个子空间中的收敛性分析，证明了在联合连通性和较弱系统条件下实现全局同步，包括针对部分状态耦合线性系统的可验证条件，以及针对非线性系统的耦合强度阈值。

ABSTRACT

In this paper, we aim to investigate the synchronization problem of dynamical systems, which can be of generic linear or Lipschitz nonlinear type, communicating over directed switching network topologies. A mild connectivity assumption on the switching topologies is imposed, which allows them to be directed and jointly connected. We propose a novel analysis framework from both algebraic and geometric perspectives to justify the attractiveness of the synchronization manifold. Specifically, it is proven that the complementary space of the synchronization manifold can be spanned by certain subspaces. These subspaces can be the eigenspaces of the nonzero eigenvalues of Laplacian matrices in linear case. They can also be subspaces in which the projection of the nonlinear self-dynamics still retains the Lipschitz property. This allows to project the states of the dynamical systems into these subspaces and transform the synchronization problem under consideration equivalently into a convergence one of the projected states in each subspace. Then, assuming the joint connectivity condition on the communication topologies, we are able to work out a simple yet effective and unified convergence analysis for both types of dynamical systems. More specifically, for partial-state coupled generic linear systems, it is proven that synchronization can be reached if an extra condition, which is easy to verify in several cases, on the system dynamics is satisfied. For Lipschitz-type nonlinear systems with positive-definite inner coupling matrix, synchronization is realized if the coupling strength is strong enough to stabilize the evolution of the projected states in each subspace under certain conditions.

研究动机与目标

• 解决在有向切换通信拓扑下通用线性与Lipschitz非线性系统中同步问题的开放难题。
• 开发一种统一的分析框架，以克服传统李雅普诺夫方法与收缩方法在非收敛切换子系统下的局限性。
• 建立充分的全局同步条件，这些条件既可验证又可推广至不同系统类型。
• 阐明切换拓扑、耦合强度与系统动力学对同步行为的影响。

提出的方法

• 提出一种新的状态空间分解方法，将状态空间划分为同步流形及其补子空间，其中补子空间由线性情形下非零拉普拉斯特征值的特征空间张成。
• 对于非线性系统，识别出投影后的非线性自动力学仍保持Lipschitz性质的子空间，从而实现在每个子空间中的等价收敛性分析。
• 应用几何投影技术，将全局同步问题转化为在每个补子空间中的局部收敛问题。
• 将切换拓扑的联合连通性作为温和假设，以确保补子空间的动力学随时间收敛至零。
• 采用统一的收敛性分析策略，通过分析每个子空间中投影状态的演化，使该策略同时适用于线性与非线性系统。
• 推导出显式条件：针对部分状态耦合线性系统的可验证系统理论条件，以及针对具有正定内耦合矩阵的Lipschitz非线性系统的耦合强度阈值。

实验结果

研究问题

• RQ1 在有向切换拓扑下，具有部分状态耦合的通用线性系统在何种条件下可实现同步？
• RQ2 如何将Lipschitz型非线性系统的同步问题转化为在不变子空间中的收敛问题？
• RQ3 切换拓扑的联合连通性在确保同步中起什么作用，特别是在单个拓扑不连通时？
• RQ4 系统动力学、耦合强度与拓扑切换机制如何共同影响向同步流形的收敛？
• RQ5 能否开发一个统一框架，基于相同的理论基础分析线性与非线性系统？

主要发现

• 对于部分状态耦合的通用线性系统，只要系统动力学满足一个简单且可验证的条件，即使单个拉普拉斯矩阵具有多个零特征值，也能保证同步。
• 对于具有正定内耦合矩阵的Lipschitz型非线性系统，当耦合强度超过一个阈值，使得每个补子空间中的投影动力学稳定时，即可实现同步。
• 同步流形的补空间由保持系统动力学结构特性的子空间张成——线性情形下为特征空间，非线性情形下为Lipschitz不变子空间。
• 所提出的框架通过统一的代数-几何视角，将线性与非线性系统的分析统一起来，推广了现有结果。
• 基于反证法与有向图结构分析的证明技术表明，所有智能体状态一致，源于图分量中每个独占部分与公共部分的差异为零。
• 联合连通性条件中图序列的出现顺序不影响同步结果，凸显了对切换顺序的鲁棒性。