A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares

DOI10.1080/00207179.2018.1457226zbMath1453.93043OpenAlexW2799601910MaRDI QIDQ5240712

Corrado Possieri, Laura Menini, Antonio Tornambe

Publication date: 29 October 2019

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179.2018.1457226

zbMATH Keywords

linear algebrapositive semi-definitenesssum of squares decompositioncontrol engineering computing

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Algebraic methods (93B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computational methods for problems pertaining to systems and control theory (93-08)

Related Items

Symmetry Adapted Gram Spectrahedra

Uses Software

• FFLAS-FFPACK
• LAPACK
• Macaulay2
• Sostools
• SeDuMi
• SDPT3

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving semidefinite-quadratic-linear programs using SDPT3
• A fast recursive orthogonalization scheme for the Macaulay matrix
• On the performance of nonlinear dynamical systems under parameter perturbation
• On systems of algebraic equations with parametric exponents. II
• Towards dense linear algebra for hybrid GPU accelerated manycore systems
• Nonlinear control systems: An introduction
• Extremal psd forms with few terms
• An algorithm for sums of squares of real polynomials
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• A `universal' construction of Artstein's theorem on nonlinear stabilization
• Computing sum of squares decompositions with rational coefficients
• Direct Methods for Sparse Matrices
• LAPACK Users' Guide
• A Lyapunov characterization of robust stabilization
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals
• LMI Techniques for Optimization Over Polynomials in Control: A Survey
• Ideals, Varieties, and Algorithms
• The Canonical Decomposition of $\mathcal{C}^n_d$ and Numerical Gröbner and Border Bases
• Nonlinear Control Synthesis by Convex Optimization
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• The Geometry of Multivariate Polynomial Division and Elimination
• A dual to Lyapunov's stability theorem