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

zbMATH Keywords

Lyapunov functionlevel setsCPA method

Mathematics Subject Classification ID

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)

Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions

Uses Software

• Unnamed Item
• Unnamed Item
• SMRSOFT

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