Computation and verification of Lyapunov functions

Giesl, Peter and Hafstein, Sigurdur (2015) Computation and verification of Lyapunov functions. SIAM Journal on Applied Dynamical Systems, 14 (4). pp. 1663-1698. ISSN 1536-0040

PDF - Published Version
Available under License Creative Commons Attribution.

Download (1MB) | Preview


Lyapunov functions are an important tool to determine the basin of attraction of equilibria in Dynamical Systems through their sublevel sets. Recently, several numerical construction methods for Lyapunov functions have been proposed, among them the RBF (Radial Basis Function) and CPA (Continuous Piecewise Affine) methods. While the first method lacks a verification that the constructed function is a valid Lyapunov function, the second method is rigorous, but computationally much more demanding. In this paper, we propose a combination of these two methods, using their respective strengths: we use the RBF method to compute a potential Lyapunov function. Then we interpolate this function by a CPA function. Checking a finite number of inequalities, we are able to verify that this interpolation is a Lyapunov function. Moreover, sublevel sets are arbitrarily close to the basin of attraction. We show that this combined method always succeeds in computing and verifying a Lyapunov function, as well as in determining arbitrary compact subsets of the basin of attraction. The method is applied to two examples.

Item Type: Article
Keywords: Lyapunov function, basin of attraction, mesh-free collocation, radial basis function, continuous piecewise affine interpolation, computation, verification
Schools and Departments: School of Mathematical and Physical Sciences > Mathematics
Subjects: Q Science > QA Mathematics
Depositing User: Peter Giesl
Date Deposited: 05 Oct 2015 09:01
Last Modified: 06 Mar 2017 13:07

View download statistics for this item

📧 Request an update