An Algorithm for Designing Feedback Stabilizers of Nonlinear Polynomial Systems

The aim of this paper is to present a symbolic computational algorithm that will allow us to deal with the feedback stabilization problem for continuous nonlinear polynomial systems. The overall approach is based on a methodology that checks the positivity of a given polynomial.