3

Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems
Joint optimization of stabilizer gains and representation gauges for certified regions of attraction of polynomial systems.
Yubo Cai 蔡宇博, Gioele Zardini
PDF arXiv
A Globally Convergent Third-Order Newton Method via Unified Semidefinite Programming Subproblems
We propose the Adaptive Levenberg-Marquardt Third-Order Newton Method (ALMTON) for unconstrained nonconvex optimization, providing the …
Yubo Cai 蔡宇博, Wenqi Zhu, Coralia Cartis, Gioele Zardini
arXiv Code
Scalable Co-Design via Linear Design Problems: Compositional Theory and Algorithms
Designing complex engineered systems requires managing tightly coupled trade-offs between subsystem capabilities and resource …
Yubo Cai 蔡宇博, Yujun Huang, Meshal Alharbi, Gioele Zardini
arXiv CDC 2026 (conference version)