{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:40:12Z","timestamp":1755841212917,"version":"3.44.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11107794","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"1659-1666","source":"Crossref","is-referenced-by-count":0,"title":["Ca\u03a3oS: A nonlinear sum-of-squares optimization suite<sup>\u22c6<\/sup>"],"prefix":"10.23919","author":[{"given":"Torbj\u00f8rn","family":"Cunis","sequence":"first","affiliation":[{"name":"University of Stuttgart,Institute of Flight Mechanics and Controls,Stuttgart,Germany,70569"}]},{"given":"Jan","family":"Olucak","sequence":"additional","affiliation":[{"name":"University of Stuttgart,Institute of Flight Mechanics and Controls,Stuttgart,Germany,70569"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2006.05.014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272309"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005315"},{"key":"ref6","article-title":"Nonlinear Control Analysis and Synthesis using Sum-of-Squares Programming","volume-title":"Ph.D. dissertation","author":"Tan","year":"2006"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"article-title":"Searching for control lyapunov functions using sums of squares programming","year":"2004","author":"Tan","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref10","article-title":"SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB","volume-title":"Tech. Rep","author":"Papachristodoulou","year":"2021"},{"article-title":"SPOTless: Polynomial and Conic Optimization","year":"2013","author":"Tobenkin","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017144"},{"article-title":"SOSOPT: A Toolbox for Polynomial Optimization","year":"2010","author":"Seiler","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3216-0_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1080\/10556789908805766"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-016-0892-3"},{"article-title":"Clarabel: An interior-point solver for conic programs with quadratic objectives","year":"2024","author":"Goulart","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156153"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3183650"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0139-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"},{"article-title":"Implementation details and source code for Ca\u03a3oS: A nonlinear sum-of-squares optimization suite","year":"2024","author":"Cunis","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/060\/08"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/112751"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717672"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s11590-020-01561-8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2514\/1.50675"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04247-3"},{"volume-title":"Multipoly: A toolbox for multivariable polynomials","year":"2010","author":"Seiler","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-023-00239-3"},{"article-title":"Sum-of-squares optimization in Julia","volume-title":"The First Annual JuMP-dev Workshop","author":"Legat","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184595"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1377612.1377619"},{"article-title":"TSSOS: A Julia library to exploit sparsity for large-scale polynomial optimization","volume-title":"The 16th Effective Methods in Algebraic Geometry Conference","author":"Magron","key":"ref35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-017-1169-9"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.chaos.2015.10.013"}],"event":{"name":"2025 American Control Conference (ACC)","start":{"date-parts":[[2025,7,8]]},"location":"Denver, CO, USA","end":{"date-parts":[[2025,7,10]]}},"container-title":["2025 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11107441\/11107442\/11107794.pdf?arnumber=11107794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:24:49Z","timestamp":1755840289000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11107794\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":37,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11107794","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}