{"id":"arxiv/2605.27576","url":"https://arxiv.org/abs/2605.27576","tags":["math.OC"],"score":0,"title":"Automated Synthesis of Lyapunov Functions for Multi-Agent Systems under Jointly Connected Topology","domain":"math.OC","source":"arxiv","authors":["Shuyuan Zhang","Lei Wang","Qing-Guo Wang"],"reviews":0,"subject":"math.OC","summary":"This article investigates the consensus tracking problem of multi-agent systems under jointly connected topology through automated synthesis of Lyapunov functions. Based on the proposed distributed nonlinear control protocol, several consensus criteria for first-order multi-agent systems are established and certified by the construction and synthesis of more general polynomial Lyapunov functions. By employing sum-of-squares decomposition for multivariate polynomials, we can efficiently synthesize polynomial Lyapunov functions to achieve consensus verification in polynomial time, although the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-26","reactions":{}}