On the computation of Lyapunov functions for discrete-time nonlinear systems

This paper considers the problem of computing a Lyapunov function for nonlinear discrete-time systems. The proposed solution is systematic and consists of two steps. First, a pseudo-Lyapunov function, called finite-step Lyapunov function, is computed by solving a finite dimensional nonlinear optimiz...

Full description

Saved in:
Bibliographic Details
Published in2014 18th International Conference on System Theory, Control and Computing (ICSTCC) pp. 93 - 98
Main Authors Bobiti, Ruxandra, Lazar, Mircea
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2014
Subjects
Cost function
Frequency modulation
Lyapunov methods
Nonlinear systems
Systematics
Trajectory
Online AccessGet full text
DOI10.1109/ICSTCC.2014.6982397

Cover

More Information
Summary:This paper considers the problem of computing a Lyapunov function for nonlinear discrete-time systems. The proposed solution is systematic and consists of two steps. First, a pseudo-Lyapunov function, called finite-step Lyapunov function, is computed by solving a finite dimensional nonlinear optimization problem. Then, a recent converse theorem is employed, which gives an explicit construction of a Lyapunov function from a finite-step Lyapunov function. This procedure produces additionally an invariant set, through a nonlinear optimization program. An example illustrates the developed procedure and gives insight into the problem complexity.
DOI:10.1109/ICSTCC.2014.6982397