Lyapunov Functions for State Observers of Dynamic Systems Using Hamilton–Jacobi Inequalities

Angelo Alessandri
Additional contact information
Angelo Alessandri: The Department of Mechanical, Energetics, Management, and Transportation Engineering (DIME), University of Genoa, Via Opera Pia 15, 16145 Genoa, Italy

Mathematics, 2020, vol. 8, issue 2, 1-14

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.

Keywords: Lyapunov function; input-to-state stability; Hamilton–Jacobi inequality (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.mdpi.com/2227-7390/8/2/202/pdf (application/pdf)
https://www.mdpi.com/2227-7390/8/2/202/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:8:y:2020:i:2:p:202-:d:317262

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().