Degree Bounds for Polynomial Verification of the Matrix Cube Problem

Been-Der Chen, Sanjay Lall

In this paper we consider the problem of how to computationally test whether a matrix inequality is positive semidefinite on a semialgebraic set. We propose a family of sufficient…