A symbolic computational algorithm for designing feedback stabilizers of polynomial non-linear systems. (English) Zbl 1251.93108
Summary: 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.
MSC:
| 93D15 | Stabilization of systems by feedback |
| 93B40 | Computational methods in systems theory (MSC2010) |
| 93C10 | Nonlinear systems in control theory |
| 93B25 | Algebraic methods |
| 93C15 | Control/observation systems governed by ordinary differential equations |
