Exploiting sparsity in the coefficient matching conditions in sum-of-squares programming using ADMM

Exploiting sparsity in the coefficient matching conditions in sum-of-squares programming using ADMM

This letter introduces an efficient first-order method based on the alternating direction method of multipliers (ADMM) to solve semidefinite programs arising from sum-of-squares (SOS) programming. We exploit the sparsity of the coefficient matching conditions when SOS programs are formulated in the...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän:	Zheng, Y, Fantuzzi, G, Papachristodoulou, A
Materialtyp:	Journal article
Publicerad:	IEEE 2017

Liknande verk

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

Fast ADMM for semidefinite programs with chordal sparsity
av: Zheng, Y, et al.
Publicerad: (2017)

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

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials
av: Zheng, Y, et al.
Publicerad: (2019)

Fast ADMM for homogeneous self-dual embeddings of sparse SDPs
av: Zheng, Y, et al.
Publicerad: (2016)

Exploiting sparsity for neural network verification
av: Newton, M, et al.
Publicerad: (2021)

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

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

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

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

Introducing SOSTOOLS: A general purpose sum of squares programming solver
av: Prajna, S, et al.
Publicerad: (2002)

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

Distributed design for decentralized control using chordal decomposition and ADMM
av: Zheng, Y, et al.
Publicerad: (2019)

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

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

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

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

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

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

Block factor-width-two matrices and their applications to semidefinite and sum-of-squares optimization
av: Zheng, Y, et al.
Publicerad: (2022)

Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations
av: Ahmadi, AA, et al.
Publicerad: (2018)

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

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

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

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

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

Efficient semidefinite programming with approximate ADMM
av: Rontsis, N, et al.
Publicerad: (2021)

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

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

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

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

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

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

Techniques for exploiting the sparsity of the Network Admittance matrix /
av: 430132 Sato, Nabuo, et al.

A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration.
av: Peet, M, et al.
Publicerad: (2010)

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

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

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

Chordal sparsity, decomposing SDPs and the Lyapunov equation
av: Mason, R, et al.
Publicerad: (2014)

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