Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems

• 成果类型: Article
• 署名作者: Zhang, Shuyuan; Wang, Lei; Xue, Bai; Wang, Qing-Guo
• 署名单位: Universite Catholique Louvain; Beihang University; Chinese Academy of Sciences; Institute of Software, CAS; Chinese Academy of Sciences; Institute of Software, CAS; Beijing Normal University; Beijing Normal-Hong Kong Baptist University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3484941
• 发表日期: 2025
• 页码: 2059-2065
• 关键词: Synchronization; POLYNOMIALS; Lyapunov methods; Couplings; vectors; TOPOLOGY; optimization; Matrix decomposition; MANIFOLDS; Laplace equations; Automatic verification; bounded synchronization; heterogeneous networked systems; polynomial Lyapunov functions (PLFs); sum-of-squares (SOS)

摘要

This article explores the automatic verification of bounded synchronization for heterogeneous polynomial networked systems (HPNSs) with polynomial coupling function. In our method, the generalized blended dynamics is presented to analyze the heterogeneity of systems. By utilizing polynomial Lyapunov functions, the synchronization criterion for HPNSs under directed topology is presented, along with a bounded set where the synchronization errors of HPNSs reside when the time progresses towards infinity. Compared with the existing criteria from quadratic Lyapunov functions, our results yield a smaller bounded set and thus are less conservative. Drawing upon the established criterion, the synchronization verification problem is transformed into a sum-of-squares optimization problem. This consequential optimization problem aligns with the paradigm of convex programming, thereby affording a polynomial-time solvability. The proposed optimization algorithm efficiently generates polynomial Lyapunov functions, facilitating automatic verification of bounded synchronization. Finally, two examples are given to demonstrate the efficacy of our method.