Output feedback stabilization using a global method for solving polynomial inequalities

Through the use of a symbolic computer language, a set of multivariable polynomial inequalities are generated using the Lienard-Chipart criterion. These inequalities represent the output feedback stabilization problem. If a solution exists, it is a member of an open set. Utilizing this fact, a method for solving these inequalities that has a global convergence property is formulated by incorporating a minimum sensitivity constraint. Two example problems are included for illustration.