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 161 articles )
Showing results 1 to 20 of 161.
Sorted by year (- Hafstein, Sigurdur F.; Li, Huijuan: Computation of Lyapunov functions for nonautonomous systems on finite time-intervals by linear programming (2017)
- Korda, Milan; Jones, Colin N.: Stability and performance verification of optimization-based controllers (2017)
- Benavoli, Alessio; Piga, Dario: A probabilistic interpretation of set-membership filtering: application to polynomial systems through polytopic bounding (2016)
- Briat, Corentin: Stability analysis and stabilization of stochastic linear impulsive, switched and sampled-data systems under dwell-time constraints (2016)
- Chesi, Graziano; Middleton, Richard H.: Robust stability and performance analysis of 2D mixed continuous-discrete-time systems with uncertainty (2016)
- de Klerk, Etienne: Book review of: J.-B. Lasserre, An introduction to polynomial and semi-algebraic optimization (2016)
- Fan, Jinyan; Zhou, Anwa: Computing the distance between the linear matrix pencil and the completely positive cone (2016)
- Fantuzzi, G.; Goluskin, D.; Huang, D.; Chernyshenko, S.I.: Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization (2016)
- Iliman, Sadik; de Wolff, Timo: Amoebas, nonnegative polynomials and sums of squares supported on circuits (2016)
- Klep, Igor; Povh, Janez: Constrained trace-optimization of polynomials in freely noncommuting variables (2016)
- Le, Thanh Hieu; Van Barel, Marc: A convex optimization model for finding non-negative polynomials (2016)
- Leventides, John; Petroulakis, George; Karcanias, Nicos: Distance optimization and the extremal variety of the Grassmann variety (2016)
- Omran, Hassan; Hetel, Laurentiu; Petreczky, Mihaly; Richard, Jean-Pierre; Lamnabhi-Lagarrigue, Françoise: Stability analysis of some classes of input-affine nonlinear systems with aperiodic sampled-data control (2016)
- Raman, Dhruva V.; Anderson, James; Papachristodoulou, Antonis: On the performance of nonlinear dynamical systems under parameter perturbation (2016)
- Siala, Fatma; Gassara, Hamdi; El Hajjaji, Ahmed; Chaabane, Mohamed: Stability and stabilization of polynomial fuzzy systems with time delay: new approach (2016)
- Zhou, Qi; Chen, Ziran; Lam, Hak-Keung: Polynomial-approximation-based control for nonlinear systems (2016)
- Briat, Corentin: Stability analysis and control of a class of LPV systems with piecewise constant parameters (2015)
- Briat, Corentin: Convex conditions for robust stabilization of uncertain switched systems with guaranteed minimum and mode-dependent dwell-time (2015)
- Dai, Liyun; Xia, Bican: Smaller SDP for SOS decomposition (2015)
- Giesl, Peter; Hafstein, Sigurdur: Computation and verification of Lyapunov functions (2015)