Publications

C = Conference  ·  P = Preprint
Preprints & Working Papers
P.3 2026
Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems
Yubo Cai and Gioele Zardini
Preprint; submitted to SIAM Journal on Control and Optimization (SICON). A conference version has been submitted to the 2027 American Control Conference (ACC 2027).
arXiv Paper page
P.2 2026
Scalable Co-Design via Linear Design Problems: Compositional Theory and Algorithms
Yubo Cai, Yujun Huang, Meshal Alharbi, Gioele Zardini
Preprint — submitted
arXiv Slides Paper page
P.1 2026
A Globally Convergent Third-Order Newton Method via Unified Semidefinite Programming Subproblems
Yubo Cai, Wenqi Zhu, Coralia Cartis, Gioele Zardini
Preprint — submitted
arXiv Code Slides Paper page
Conference Papers
C.2 2026
Linear System Co-Design via Lifted Polyhedral Query Solving
Yubo Cai, Yujun Huang, Meshal Alharbi, Gioele Zardini
IEEE Conference on Decision and Control — CDC 2026, to appear. Conference version of P.2.
Paper page arXiv (journal version)
C.1 2024
Dissipative Quadratizations of Polynomial ODE Systems
Yubo Cai, Gleb Pogudin
Tools and Algorithms for the Construction and Analysis of Systems — TACAS 2024, Springer Nature Switzerland, pp. 323–342
arXiv Code Slides Paper page