Title :
Test for nonnegativity of polynomials with literal coefficients by quantifier elimination
Author :
Bose, N.K. ; Charoenlarpnopparut, C.
Author_Institution :
Pennsylvania State Univ., University Park, PA, USA
Abstract :
A systematic scheme that leads to a set of inequalities involving the free variables, whose satisfaction will be necessary and sufficient for global positivity or nonnegativity of any specified polynomial with literal coefficients, is developed
Keywords :
polynomial matrices; free variables; global nonnegativity; global positivity; literal coefficients; necessary and sufficient condition; polynomial nonnegativity; quantifier elimination; Control theory; Flowcharts; Polynomials; Sufficient conditions; Testing;
Conference_Titel :
American Control Conference, 1998. Proceedings of the 1998
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-7803-4530-4
DOI :
10.1109/ACC.1998.707346
