Computation and verification of contraction metrics for exponentially stable equilibria

DOI10.1016/j.cam.2020.113332zbMath1458.65154arXiv1909.10334OpenAlexW3118267195MaRDI QIDQ2226305

Peter Giesl, Iman Mehrabinezhad, Sigurður Freyr Hafstein

Publication date: 12 February 2021

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.10334

zbMATH Keywords

Lyapunov stabilitybasin of attractionreproducing kernel Hilbert spacesradial basis functionscontraction metriccontinuous piecewise affine interpolation

Mathematics Subject Classification ID

Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Stability of topological dynamical systems (37B25) Error bounds for boundary value problems involving PDEs (65N15) Stability of solutions to ordinary differential equations (34D20) Numerical radial basis function approximation (65D12)

Related Items (3)

Subgradient algorithm for computing contraction metrics for equilibria ⋮ Review on contraction analysis and computation of contraction metrics ⋮ Computation and verification of contraction metrics for periodic orbits

Uses Software

• Matlab
• Sostools
• SMRSOFT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Matlab
• Computation of Lyapunov functions for systems with multiple local attractors
• Advances in computational Lyapunov analysis using sum-of-squares programming
• Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
• Grid refinement in the construction of Lyapunov functions using radial basis functions
• Construction of a CPA contraction metric for periodic orbits using semidefinite optimization
• Converse theorems on contraction metrics for an equilibrium
• Domain of attraction. Analysis and control via SOS programming.
• Linear programming based Lyapunov function computation for differential inclusions
• Construction of global Lyapunov functions using radial basis functions
• Error estimates for interpolation by compactly supported radial basis functions of minimal degree
• On contraction analysis for non-linear systems
• A constructive converse Lyapunov theorem on exponential stability
• Revised CPA method to compute Lyapunov functions for nonlinear systems
• Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
• Construction of a contraction metric by meshless collocation
• Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
• Numerical approximation of the data-rate limit for state estimation under communication constraints
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• Lyapunov function construction for ordinary differential equations with linear programming
• Computation and Verification of Lyapunov Functions
• A parametrization of piecewise linear Lyapunov functions via linear programming
• Kernel-Based Discretization for Solving Matrix-Valued PDEs
• Nonlinear Systems Analysis
• An intrinsic observer for a class of lagrangian systems
• Scattered Data Approximation
• Computation of Lyapunov functions for smooth nonlinear systems using convex optimization

This page was built for publication: Computation and verification of contraction metrics for exponentially stable equilibria