Giesl, Peter and Mohammed, Najla (2018) Verification estimates for the construction of Lyapunov functions using meshfree collocation. Discrete & Continuous Dynamical Systems Ser. B. ISSN 1531-3492 (Accepted)
![]() |
PDF
- Accepted Version
Restricted to SRO admin only Download (1MB) |
Abstract
Lyapunov functions are functions with negative derivative along solutions of a given ordinary differential equation. Moreover, sub-level sets of a Lyapunov function are subsets of the domain of attraction of the equilibrium. One of the numerical construction methods for Lyapunov functions uses meshfree collocation with radial basis functions (RBF). In this paper, we propose two verification estimates combined with this RBF construction method to ensure that the constructed function is a Lyapunov function. We show that this combination of the RBF construction method and the verification estimates always succeeds in constructing and verifying a Lyapunov function for nonlinear ODEs in R^{d} with an exponentially stable equilibrium.
Item Type: | Article |
---|---|
Schools and Departments: | School of Mathematical and Physical Sciences > Mathematics |
Research Centres and Groups: | Analysis and Partial Differential Equations Research Group |
Subjects: | Q Science > QA Mathematics |
Depositing User: | Richard Chambers |
Date Deposited: | 10 Oct 2018 08:25 |
Last Modified: | 10 Oct 2018 08:25 |
URI: | http://srodev.sussex.ac.uk/id/eprint/79305 |
View download statistics for this item
📧 Request an update