Polynomial Lyapunov Functions for Consensus of Multi-agent Systems via PD control. - Shuyuan Zhang 001; Lei Wang 055; Qing-Guo Wang (ICCAIS, 2021)

Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach. - Shuyuan Zhang 001; Lei Wang 055; Haihui Wang; Bai Xue 001 (IEEE Trans. Neural Networks Learn. Syst., 2021)

Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks. - Shuyuan Zhang 001; Lei Wang 055; Quanyi Liang; Zhikun She; Qing-Guo Wang (IEEE Trans. Cybern., 2022)

Synchronization Analysis and Verification for Complex Networked Systems Under Directed Topology. - Shuyuan Zhang 001; Lei Wang 055; Wei Wang 016 (COMPLEX NETWORKS (4), 2023)

Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming. - Shuyuan Zhang 001; Shizhong Song; Lei Wang 055; Bai Xue 001 (IEEE Control. Syst. Lett., 2023)

Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems. - Changyuan Zhao; Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001 (IEEE Trans. Autom. Control., 2023)

Consensus verification for heterogeneous polynomial networked systems. - Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001; Chanying Li; Qing-Guo Wang (J. Frankl. Inst., 2023)

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties. - Taoran Wu; Dejin Ren; Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001 (ACC, 2024)

Consensus Criterion Verification for Heterogeneous Multiagent Systems via Sum-of-Squares Programming. - Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001; Deyuan Meng; Qing-Guo Wang (IEEE Trans. Autom. Control., 2024)

Bipartite Consensus for Nonlinear Networked Systems Based on General Lyapunov Functions. - Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001; Kexin Liu; Wei Wang 016 (IEEE Trans. Control. Netw. Syst., 2024)

Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems. - Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001; Qing-Guo Wang (IEEE Trans. Autom. Control., 2025)