Construction of Lyapunov and Storage functions using sum of squares

Abstract

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.