Introducing SOSTOOLS: A general purpose sum of squares programming solver

Introducing SOSTOOLS: A general purpose sum of squares programming solver

SOSTOOLS is a MATLAB toolbox for constructing and solving sum of squares programs. It can be used in combination with semidefinite programming software, such as SeDuMi, to solve many continuous and combinatorial optimization problems, as well as various control-related problems. This paper provides...

Full description

Bibliographic Details
Main Authors:	Prajna, S, Papachristodoulou, A, Parrilo, P, IEEE
Format:	Conference item
Published:	2002

Similar Items

New developments in sum of squares optimization and SOSTOOLS
by: Prajna, S, et al.
Published: (2004)

SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB
by: Papachristodoulou, A, et al.
Published: (2013)

SOSTOOLS and its control applications
by: Prajna, S, et al.
Published: (2005)

SOSTOOLS: Control applications and new developments
by: Prajna, S, et al.
Published: (2004)

On the construction of Lyapunov functions using the sum of squares decomposition
by: Papachristodoulou, A, et al.
Published: (2002)

Tutorial on sum of squares techniques for systems analysis
by: Papachristodoulou, A, et al.
Published: (2005)

Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS
by: El-Samad, H, et al.
Published: (2003)

Generalised Absolute Stability and Sum of Squares
by: Hancock, E, et al.
Published: (2011)

Analysis of non-polynomial systems using the sum of squares decomposition
by: Papachristodoulou, A, et al.
Published: (2005)

A Network Decomposition Approach for Efficient Sum of Squares Programming Based Analysis
by: Anderson, J, et al.
Published: (2010)

Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach
by: Prajna, S, et al.
Published: (2004)

Sampling Algebraic Varieties for Sum of Squares Programs
by: Cifuentes, Diego Fernando, et al.
Published: (2019)

Robust stability and performance analysis of a longitudinal aircraft model using sum of squares techniques
by: Papachristodoulou, A, et al.
Published: (2005)

Analysis of nonlinear delay differential equation models of TCP/AQM protocols using sums of squares
by: Papachristodoulou, A, et al.
Published: (2004)

Certifying Unstability of Switched Systems Using Sum of Squares Programming
by: Legat, Benoît, et al.
Published: (2022)

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization
by: Krishnaswamy, K, et al.
Published: (2005)

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization
by: Krishnaswamy, K, et al.
Published: (2005)

Certifying Unstability of Switched Systems Using Sum of Squares Programming
by: Legat, Benoît, et al.
Published: (2021)

Fast ADMM for sum-of-squares programs using partial orthogonality
by: Zheng, Y, et al.
Published: (2018)

Generalised absolute stability and sum of squares.
by: Hancock, E, et al.
Published: (2013)

Generalised absolute stability and sum of squares
by: Hancock, E, et al.
Published: (2013)

Decomposition and completion of sum-of-squares matrices
by: Zheng, Y, et al.
Published: (2018)

Equivariant Semidefinite Lifts and Sum-of-Squares Hierarchies
by: Fawzi, Hamza, et al.
Published: (2016)

Sum of squares generalizations for conic sets
by: Kapelevich, Lea, et al.
Published: (2022)

Structured sum of squares for networked systems analysis.
by: Hancock, E, et al.
Published: (2011)

Converse results on existence of sum of squares Lyapunov functions
by: Ahmadi, Amir Ali, et al.
Published: (2012)

Exploiting sparsity in the coefficient matching conditions in sum-of-squares programming using ADMM
by: Zheng, Y, et al.
Published: (2017)

Feedback control design using sum of squares optimisation
by: August, E, et al.
Published: (2022)

Alloy*: a general-purpose higher-order relational constraint solver
by: Milicevic, Aleksandar, et al.
Published: (2021)

A converse sum of squares Lyapunov result with a degree bound
by: Peet, M, et al.
Published: (2012)

Analysis of nonlinear time-delay systems using the sum of squares decomposition
by: Papachristodoulou, A
Published: (2004)

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
by: Milicevic, Aleksandar, et al.
Published: (2018)

Decomposed structured subsets for semidefinite and sum-of-squares optimization
by: Miller, J, et al.
Published: (2022)

Analysis of nonlinear time-delay systems using the sum of squares decomposition
by: Papachristodoulou, A, et al.
Published: (2004)

Robust nonlinear stability and performance analysis of an F/A-18 aircraft model using sum of squares programming
by: Anderson, J, et al.
Published: (2013)

Robust nonlinear stability and performance analysis of an F/A-18 aircraft model using sum of squares programming
by: Anderson, J, et al.
Published: (2013)

Stability of non-linear neural feedback loops using sum of squares
by: Newton, M, et al.
Published: (2022)

Sparse sums of squares on finite abelian groups and improved semidefinite lifts
by: Fawzi, Hamza, et al.
Published: (2016)

Polynomial sum of squares in fluid dynamics: a review with a look ahead.
by: Chernyshenko, S, et al.
Published: (2014)

Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition.
by: Papachristodoulou, A, et al.
Published: (2009)