A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems

R.V. Bobiti, M. Lazar

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Abstract


This paper considers the problem of stability verification for discrete–time nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of interest, one generally needs to handle large, possibly non–convex or non–feasible optimization problems. To avoid such problems, we propose a constructive and systematically applicable sampling–based approach to stability analysis of nonlinear systems. This approach proposes verification of the decrease condition for a candidate Lyapunov function on a finite sampling of a bounded set of initial conditions and then it extends the validity of the Lyapunov function to an infinite set of initial conditions by exploiting continuity properties. This result involves no apriori analytic description of the continuity property and it is based on multi–resolution sampling, to perform efficient state–space exploration. Moreover, the stability verification is decentralized in the sampling points, which makes the method parallelizable. The proposed methodology is illustrated on two examples.


Original languageEnglish
Title of host publicationECC '16 : 15th European Control Conference, 29 June - 1 July 2016, Aalborg, Denmark
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages561-566
Number of pages6
DOIs
Publication statusPublished - 2016
Event15th European Control Conference (ECC 2016) - Aalborg, Denmark
Duration: 29 Jun 20161 Jul 2016
Conference number: 15
http://www.ecc16.eu/index.shtml
http://www.ecc16.eu/index.shtml

Conference

Conference15th European Control Conference (ECC 2016)
Abbreviated titleECC 2016
CountryDenmark
CityAalborg
Period29/06/161/07/16
Internet address

Fingerprint Dive into the research topics of 'A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems'. Together they form a unique fingerprint.

Cite this