Sostools
We are pleased to introduce SOSTOOLS, a free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs. SOSTOOLS can be used to specify and solve sum of squares polynomial problems using a very simple, flexible, and intuitive high-level notation. Currently, the SOS programs are solved using SeDuMi or SDPT3, both well-known semidefinite programming solver, with SOSTOOLS handling internally all the necessary reformulations and data conversion.
Keywords for this software
References in zbMATH (referenced in 257 articles )
Showing results 1 to 20 of 257.
Sorted by year (- Alessandri, Angelo; Bagnerini, Patrizia; Cianci, Roberto; Revetria, Roberto: Modeling and estimation of thermal flows based on transport and balance equations (2020)
- Dai, Siyuan; Koutsoukos, Xenofon: Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (2020)
- Jarre, Florian; Lieder, Felix; Liu, Ya-Feng; Lu, Cheng: Set-completely-positive representations and cuts for the max-cut polytope and the unit modulus lifting (2020)
- Kohan-sedgh, Peyman; Khayatian, Alireza; Behmanesh-Fard, Navid: Simultaneous stabilization of polynomial nonlinear systems via density functions (2020)
- Zheng, Yang; Fantuzzi, Giovanni; Papachristodoulou, Antonis; Goulart, Paul; Wynn, Andrew: Chordal decomposition in operator-splitting methods for sparse semidefinite programs (2020)
- Ahmadi, Mohamadreza; Valmorbida, Giorgio; Gayme, Dennice; Papachristodoulou, Antonis: A framework for input-output analysis of wall-bounded shear flows (2019)
- Briat, Corentin: Co-design of aperiodic sampled-data min-jumping rules for linear impulsive, switched impulsive and sampled-data systems (2019)
- Crespo, Luis G.; Colbert, Brendon K.; Kenny, Sean P.; Giesy, Daniel P.: On the quantification of aleatory and epistemic uncertainty using sliced-normal distributions (2019)
- Dressler, Mareike; Iliman, Sadik; de Wolff, Timo: An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming (2019)
- Fu, Rong; Sun, Hongfei; Zeng, Jianping: Exponential stabilisation of nonlinear parameter-varying systems with applications to conversion flight control of a tilt rotor aircraft (2019)
- González, Temoatzin; Sala, Antonio; Bernal, Miguel: A generalised integral polynomial Lyapunov function for nonlinear systems (2019)
- Ito, Naoki; Kim, Sunyoung; Kojima, Masakazu; Takeda, Akiko; Toh, Kim-Chuan: Algorithm 996: BBCPOP: a sparse doubly nonnegative relaxation of polynomial optimization problems with binary, box, and complementarity constraints (2019)
- Li, Yang; Zhang, Hongbin; Zhang, Liangliang: Equivalence of several stability conditions for switched linear systems with dwell time (2019)
- Meng, Fanwei; Wang, Dini; Yang, Penghui; Xie, Guanzhou: Application of sum of squares method in nonlinear (H_ \infty) control for satellite attitude maneuvers (2019)
- Menini, Laura; Possieri, Corrado; Tornambè, Antonio: A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares (2019)
- Papp, Dávid; Yildiz, Sercan: Sum-of-squares optimization without semidefinite programming (2019)
- Paulin, Daniel; Jasra, Ajay; Crisan, Dan; Beskos, Alexandros: Optimization based methods for partially observed chaotic systems (2019)
- Sidorov, Eric; Zacksenhouse, Miriam: Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking (2019)
- Villaverde, Alejandro F.: Observability and structural identifiability of nonlinear biological systems (2019)
- Aßmann, Denis; Liers, Frauke; Stingl, Michael; Vera, Juan C.: Deciding robust feasibility and infeasibility using a set containment approach: an application to stationary passive gas network operations (2018)