Decomposition of a Polynomial as a Sum-of-Squares of Polynomials and the S-Procedure | IEEE Conference Publication | IEEE Xplore