Lyapunov functions enable analyzing the stability of dynamic systems described by ordinary differential equations without finding the solution of such equations. For nonlinear systems, devising a Lyapunov function is not an easy task to solve in general. In this paper, we present an approach to the construction of Lyapunov funtions to prove stability in estimation problems. To this end, we motivate the adoption of input-to-state stability (ISS) to deal with the estimation error involved by state observers in performing state estimation for nonlinear continuous-time systems. Such stability properties are ensured by means of ISS Lyapunov functions that satisfy Hamilton–Jacobi inequalities. Based on this general framework, we focus on observers for polynomial nonlinear systems and the sum-of-squares paradigm to find such Lyapunov functions.
On the Computation of Set-Induced Control Lyapunov Functions for Continuous-Time Systems
