Loading [MathJax]/extensions/MathMenu.js
Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals | IEEE Journals & Magazine | IEEE Xplore

Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals


Abstract:

Sum of squares (SOS) decompositions for positive semidefinite polynomials are usually computed numerically, using convex optimization solvers. The precision of the decomp...Show More

Abstract:

Sum of squares (SOS) decompositions for positive semidefinite polynomials are usually computed numerically, using convex optimization solvers. The precision of the decompositions can be improved by increasing the number of digits used in the computations, but, when the number of variables is greater than the length (i.e., the minimum number of squares needed for the decomposition) of the polynomial, it is difficult to obtain an exact SOS decomposition with the existing methods. A new algorithm, which works well in “almost all” such cases, is proposed here. The results of randomly generated experiments are reported to compare the proposed algorithm with those based on convex optimization.
Published in: IEEE Transactions on Automatic Control ( Volume: 63, Issue: 1, January 2018)
Page(s): 158 - 173
Date of Publication: 21 June 2017

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.