CaΣoS provides tools for symbolic polynomial expressions, conic optimization, and parametrized (convex and nonconvex) sum-of-squares optimization, making use of the CasADi software for symbolic expressions, automatic differentiation, and numerical optimization. CaΣoS is developed by researchers at the Institute of Flight Mechanics and Controls of the University of Stuttgart and distributed open-source under the GPL-3.0 license.
- Getting started
- Available conic solvers
- Supported vector, matrix, and polynomial cones
- Some practical tipps to sum-of-squares
- Transitioning from other toolboxes
- Example code snippets
If you use CaΣoS, please cite us:
T. Cunis and J. Olucak, ‘CaΣoS: A nonlinear sum-of-squares optimization suite’, in 2025 American Control Conference, Boulder, CA. (To be presented July 2025.) doi: 10.48550/arXiv.2409.18549.
Bibtex entry
@inproceedings{Cunis2025acc,
author = {Cunis, Torbjørn and Olucak, Jan},
title = {Ca$\Sigma$oS}: A nonlinear sum-of-squares optimization suite},
booktitle = {2025 American Control Conference},
address = {Boulder, CA},
doi = {10.48550/arXiv.2409.18549},
note = {To be presented July 2025},
}
