Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions
DOI10.1137/19M1262528zbMath1441.37035OpenAlexW3003327595MaRDI QIDQ5109376
Peter Giesl, Conor Osborne, Sigurður Freyr Hafstein
Publication date: 11 May 2020
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/19m1262528
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Stability of solutions to ordinary differential equations (34D20) Stability theory for smooth dynamical systems (37C75) Computational methods for invariant manifolds of dynamical systems (37M21)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Computation of Lyapunov functions for systems with multiple local attractors
- Review on computational methods for Lyapunov functions
- Classical converse theorems in Lyapunov's second method
- Advances in computational Lyapunov analysis using sum-of-squares programming
- Domain of attraction. Analysis and control via SOS programming.
- Estimating the domain of attraction via union of continuous families of Lyapunov estimates
- Local stability analysis using simulations and sum-of-squares programming
- A constructive converse Lyapunov theorem on exponential stability
- Computation of non-monotonic Lyapunov functions for continuous-time systems
- Revised CPA method to compute Lyapunov functions for nonlinear systems
- Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
- Simplicial complex with approximate rotational symmetry: a general class of simplicial complexes
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- 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
- On the estimation of asymptotic stability regions: State of the art and new proposals
- A parametrization of piecewise linear Lyapunov functions via linear programming
- Nonlinear Systems Analysis
- Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming
- Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions
- A Converse Sum of Squares Lyapunov Result With a Degree Bound
This page was built for publication: Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions
