Solving systems of polynomial inequalities with algebraic geometry methods

2016/03/03 by Menini, Laura, Possieri, Corrado, Tornambè, Antonio
#Algebraic Geometry (math.AG) #Dynamical Systems (math.DS) #FOS: Mathematics

paper · doi:10.48550/arxiv.1603.01183

Abstract

The goal of this paper is to provide computational tools able to find a solution of a system of polynomial inequalities. The set of inequalities is reformulated as a system of polynomial equations. Three different methods, two of which taken from the literature, are proposed to compute solutions of such a system. An example of how such procedures can be used to solve the static output feedback stabilization problem for a linear parametrically-varying system is reported.

Related

• An Algorithm for Designing Feedback Stabilizers of Nonlinear Polynomial Systems
• An algebraic geometry approach to nonlinear parametric optimization in control
• Polynomial Optimization with Applications to Stability Analysis and Control - Alternatives to Sum of Squares
• Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
• Optimization on linear matrix inequalities for polynomial systems control