Sum-of-squares–based consensus verification for directed networks with nonlinear protocols
Quanyi Liang
Department of Mechanical Engineering, National University of Singapore, Singapore
Search for more papers by this authorCorresponding Author
Chong-Jin Ong
Department of Mechanical Engineering, National University of Singapore, Singapore
Chong-Jin Ong, Department of Mechanical Engineering, National University of Singapore, Singapore 117575.
Email: [email protected]
Search for more papers by this authorZhikun She
SKLSDE, LMIB and School of Mathematics and Systems Science, Beihang University, Beijing, China
Search for more papers by this authorQuanyi Liang
Department of Mechanical Engineering, National University of Singapore, Singapore
Search for more papers by this authorCorresponding Author
Chong-Jin Ong
Department of Mechanical Engineering, National University of Singapore, Singapore
Chong-Jin Ong, Department of Mechanical Engineering, National University of Singapore, Singapore 117575.
Email: [email protected]
Search for more papers by this authorZhikun She
SKLSDE, LMIB and School of Mathematics and Systems Science, Beihang University, Beijing, China
Search for more papers by this authorSummary
In this paper, we investigate the consensus verification problem of nonlinear agents in a fixed directed network with a nonlinear protocol. Inspired by the classical Lipschitz-like condition, we introduce a more relax condition for the dynamics of the nonlinear agents. This condition is motivated via the construction of general Lyapunov functions for achieving asymptotic consensus. Especially, for agents where dynamics are described by polynomial function of the states, our consensus criterion can be converted to a sum of squares (SOS) programming problem, solvable via semidefinite programming tools. Of interest is that the scale of the resulting SOS programming problem does not increase as the size of the network increases, and thus, the applicability to analyze consensus of large-scale networks is promising. Finally, an example is given to illustrate the effectiveness of our theoretical results.
REFERENCES
- 1Ren W, Beard RW, Atkins EM. Information consensus in multivehicle cooperative control. IEEE Control Syst Mag. 2007; 27(2): 71-82.
- 2Pimenta LCA, Pereira GAS, Mesquita RC, et al. Swarm coordination based on smoothed particle hydrodynamics technique. IEEE Trans Robot. 2013; 29(2): 383-399.
- 3Weng T, Wang L, She Z, Liang Q. Distributed optimization with closed convex set for multi-agent networks over directed graphs. J Franklin Inst. 2018; 356(2): 883-893.
- 4Nedić A, Ozdaglar A, Parrilo PA. Constrained consensus and optimization in multi-agent networks. IEEE Trans Autom Control. 2010; 55(4): 922-938.
- 5Zheng T, Xi J, Yuan M, Liu G. Guaranteed-performance consensus design for Lipschitz nonlinear multiagent systems with jointly connected topologies. Int J Robust Nonlinear Control. 2019; 29(11): 3627-3649.
- 6Xi J, Wang C, Liu H, Wang L. Completely distributed guaranteed-performance consensualization for high-order multiagent systems with switching topologies. IEEE Trans Syst Man Cybern Syst. 2018; 49(7): 1338-1348.
- 7Yu J, Shi P, Zhao L. Finite-time command filtered backstepping control for a class of nonlinear systems. Automatica. 2018; 92(6): 173-180.
- 8Yu J, Zhao L, Yu H, Lin C, Dong W. Fuzzy finite-time command filtered control of nonlinear systems with input saturation. IEEE Trans Cybern. 2017; 48(8): 2378-2387.
- 9Zhao L, Yu J, Lin C, Ma Y. Adaptive neural consensus tracking for nonlinear multiagent systems using finite-time command filtered backstepping. IEEE Trans Syst Man Cybern Syst. 2018; 48(11): 2003-2012.
- 10Liang Q, Wang L, Hao Q, She Z. Synchronization of heterogeneous linear networks with distinct inner coupling matrices. ISA Transactions. 2018; 75: 127-136.
- 11Liang Q, She Z. Constraint consensus of heterogeneous multi-agent systems. Int J Mod Phys C. 2018; 29(5):1840005.
- 12Scardovi L, Sepulchre R. Synchronization in networks of identical linear systems. Automatica. 2009; 45(11): 2557-2562.
- 13Liang Q, She Z, Wang L, Chen MZQ, Wang Q-G. Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces. SIAM J Control Optim. 2017; 55(6): 4048-4071.
- 14Lu W, Chen T. New approach to synchronization analysis of linearly coupled ordinary differential systems. Phys D Nonlinear Phenom. 2006; 213(2): 214-230.
- 15Yu Z, Jiang H, Huang D, Hu C. Directed spanning tree-based adaptive protocols for second-order consensus of multiagent systems. Int J Robust Nonlinear Control. 2018; 28(6): 2172-2190.
- 16Yu W, Chen G, Lü J. On pinning synchronization of complex dynamical networks. Automatica. 2009; 45(2): 429-435.
- 17Das A, Lewis FL. Distributed adaptive control for synchronization of unknown nonlinear networked systems. Automatica. 2010; 46(12): 2014-2021.
- 18Maurizio P, Bernardo M. Criteria for global pinning-controllability of complex networks. Automatica. 2008; 44(12): 3100-3106.
- 19Li Z, Ji H. Distributed consensus and tracking control of second-order time-varying nonlinear multi-agent systems. Int J Robust Nonlinear Control. 2017; 27(17): 3549-3563.
- 20Xiang J, Chen G. On the V-stability of complex dynamical networks. Automatica. 2007; 43(6): 1049-1057.
- 21Zhao J, Hill DJ, Liu T. Stability of dynamical networks with non-identical nodes: a multiple V-Lyapunov function method. Automatica. 2011; 47(12): 2615-2625.
- 22Wu Y, Wei W, Li G, Xiang J. Pinning control of uncertain complex networks to a homogeneous orbit. IEEE Trans Circuits Syst II Express Br. 2009; 56(3): 235-239.
- 23Xiang J, Chen G. Analysis of pinning-controlled networks: a renormalization approach. IEEE Trans Autom Control. 2009; 54(8): 1869-1875.
- 24Liang Q, She Z, Wang L, Su H. General Lyapunov functions for consensus of nonlinear multiagent systems. IEEE Trans Circuits Syst II Express Br. 2017; 64(10): 1232-1236.
- 25Massioni P, Scorletti G. Consensus analysis of large-scale nonlinear homogeneous multiagent formations with polynomial dynamics. Int J Robust Nonlinear Control. 2018; 28(17): 5605-5617.
- 26Zheng X, She Z, Liang Q, Li M. Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov-like functions. Int J Robust Nonlinear Control. 2018; 28(6): 2191-2208.
- 27Anderson J, Papachristodoulou A. A decomposition technique for nonlinear dynamical system analysis. IEEE Trans Autom Control. 2012; 57(6): 1516-1521.
- 28Papachristodoulou A, Prajna S. On the construction of Lyapunov functions using the sum of squares decomposition. In: Proceedings of the 41st IEEE Conference on Decision and Control; 2002; Las Vegas, NV.
- 29Parrilo PA. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization [PhD thesis]. Pasadena, CA: California Institute of Technology; 2000.
- 30Han D, Chesi G. Robust consensus for uncertain multi-agent systems with discrete-time dynamics. Int J Robust Nonlinear Control. 2014; 24(13): 1858-1872.
- 31Huang W, Zeng J, Sun H. Robust consensus for linear multi-agent systems with mixed uncertainties. Syst Control Lett. 2015; 76(2): 56-65.
- 32Horn RA, Johnson CR. Matrix Analysis. New York, NY: Cambridge University Press; 1985.
10.1017/CBO9780511810817 Google Scholar
- 33Yu W, Chen T, Cao M. Consensus in directed networks of agents with nonlinear dynamics. IEEE Trans Autom Control. 2011; 56(6): 1436-1441.
- 34Powers V, Wörmann T. An algorithm for sums of squares of real polynomials. J Pure Appl Algebra. 1998; 48(8): 99-104.
- 35Saber RO, Murray RM. Consensus protocols for networks of dynamic agents. In: Proceedings of the 2003 American Control Conference; 2003; Denver, CO.
- 36Wah WC. Synchronization in Complex Networks of Nonlinear Dynamical Systems. Singapore: World Scientific; 2007.
- 37She Z, Li H, Xue B, Zheng Z, Xia B. Discovering polynomial Lyapunov functions for continuous dynamical systems. J Symb Comput. 2013; 58(11): 41-63.
- 38She Z, Xue B. Discovering multiple Lyapunov functions for switched hybrid systems. SIAM J Control Optim. 2014; 52(5): 3312-3340.
- 39Lu J, She Z, Feng W, Ge S. Stabilizability of time-varying switched systems based on piecewise continuous scalar functions. IEEE Trans Autom Control. 2019; 64(6): 2637-2644.
- 40She Z, Song D, Li M. Safety verification of hybrid systems using certified multiple Lyapunov-like functions. In: Computer Algebra in Scientific Computing: 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings. Cham, Switzerland: Springer; 2015; 440-456.
10.1007/978-3-319-24021-3_32 Google Scholar
