SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB

Abstract

The release of SOSTOOLS v4.00 comes as we approach the 20th anniversary of the original release of SOSTOOLS v1.00 back in April, 2002. SOSTOOLS was originally envisioned as a flexible tool for parsing and solving polynomial optimization problems, using the SOS tightening of polynomial positivity constraints, and capable of adapting to the ever-evolving fauna of applications of SOS. There are now a variety of SOS programming parsers beyond SOSTOOLS, including YALMIP, Gloptipoly, SumOfSquares, and others. We hope SOSTOOLS remains the most intuitive, robust and adaptable toolbox for SOS programming. Recent progress in Semidefinite programming has opened up new possibilities for solving large Sum of Squares programming problems, and we hope the next decade will be one where SOS methods will find wide application in different areas. In SOSTOOLS v4.00, we implement a parsing approach that reduces the computational and memory requirements of the parser below that of the SDP solver itself. We have re-developed the internal structure of our polynomial decision variables. Specifically, polynomial and SOS variable declarations made using sossosvar, sospolyvar, sosmatrixvar, etc now return a new polynomial structure, dpvar. This new polynomial structure, is documented in the enclosed dpvar guide, and isolates the scalar SDP decision variables in the SOS program from the independent variables used to construct the SOS program. As a result, the complexity of the parser scales almost linearly in the number of decision variables. As a result of these changes, almost all users will notice a significant increase in speed, with large-scaleproblems experiencing the most dramatic speedups. Parsing time is now always less than 10% of time spent in the SDP solver. Finally, SOSTOOLS now provides support for the MOSEK solver interface as well as the SeDuMi, SDPT3, CSDP, SDPNAL, SDPNAL+, and SDPA solvers.

64 pages, 3 figures, "software available from http://sysos.eng.ox.ac.uk/sostools/ "

Cited by in corpus (16)

• Formal Synthesis of Lyapunov Neural Networks
• Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
• Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
• Signomial and Polynomial Optimization via Relative Entropy and Partial Dualization
• Verification of Approximate Opacity via Barrier Certificates
• An input-output inspired method for permissible perturbation amplitude of transitional wall-bounded shear flows
• A Framework for Input-Output Analysis of Wall-Bounded Shear Flows
• Dimension reduction for semidefinite programs via Jordan algebras
• Polynomial Optimization with Applications to Stability Analysis and Control - Alternatives to Sum of Squares
• Sliding Mode Control Design: a Sum of Squares Approach
• Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
• Generalized Integral Siding Mode Manifold Design: A Sum of Squares Approach
• Constructing Piecewise Polynomial Lyapunov Functions for Local Stability of Nonlinear Systems Using Handelman's Theorem
• Parallel Optimization of Polynomials for Large-scale Problems in Stability and Control
• Periodic Event-triggered Control for Incrementally Quadratic Nonlinear Systems
• Block SOS Decomposition