CaΣoS: A nonlinear sum-of-squares optimization suite^⋆

Abstract

We present CaΣoS, the first MATLAB software specifically designed for nonlinear sum-of-squares optimization. CaΣoS’s symbolic polynomial algebra system allows for the formulation of parametrized nonlinear sum-of-squares optimization problems and facilitates their fast, repeated evaluations. To that extent, we utilize CasADi’s symbolic framework and realize concepts of monomial sparsity, linear operators (including duals), and functions between polynomials. CaΣoS interfaces the conic solvers SeDuMi, Mosek, Clarabel, and SCS and provides methods to solve quasiconvex optimization problems (via bisection) and nonconvex optimization problems (via sequential convexification). Numerical examples for benchmark nonconvex problems, including region-of-attraction and reachable set estimation for nonlinear dynamic systems, demonstrate significant improvements in computation time compared to existing toolboxes. CaΣoS is available open-source at https://github.com/ifr-acso/casos.