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.
Lyapunov Functions for State Observers of Dynamic Systems Using Hamilton–Jacobi Inequalities
A. ALESSANDRI
2020-01-01
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
mathematics-2020.pdf
accesso aperto
Descrizione: Articolo su rivista
Tipologia:
Documento in Post-print
Dimensione
491.52 kB
Formato
Adobe PDF
|
491.52 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.