抄録
This paper proposes a method to solve Lyapunov or Hamilton-Jacobi partial inequalities for nonlinear systems. The method utilizes sum of squares, which gives a sufficient existence condition of a nonnegative function in the linear sum of squared functional systems. The condition is characterized in terms of linear matrix inequality.
