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

18 Citations (Scopus)
1 Downloads (Pure)


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
Number of pages6
Publication statusPublished - 2016
Event15th European Control Conference, ECC 2016 - Aalborg, Denmark
Duration: 29 Jun 20161 Jul 2016
Conference number: 15


Conference15th European Control Conference, ECC 2016
Abbreviated titleECC 2016
Internet address


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