Control synthesis for polynomial nonlinear systems and application in attitude control

A method for positive polynomial validation based on polynomial decomposition is proposed to deal with control synthesis problems. Detailed algorithms for decomposition are given which mainly consider how to convert coefficients of a polynomial to a matrix with free variables. Then, the positivity of a polynomial is checked by the decomposed matrix with semidefinite programming solvers. A nonlinear control law is presented for single input polynomial systems based on the Lyapunov stability theorem. The control synthesis method is advanced to multi-input systems further. An application in attitude control is finally presented. The proposed control law achieves effective performance as illustrated by the numerical example.