Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions

DOI10.1137/090749955zbMath1215.65188OpenAlexW2083862837MaRDI QIDQ3083226

Publication date: 21 March 2011

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a917c1cd921deca82fd6e4c1b0b70da1963808e6

zbMATH Keywords

algorithms stability basin of attraction constraint solving interval computation branch-and-relax algorithm Lyapunov-like polynomial function system of linear interval inequalities

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Stability theory for smooth dynamical systems (37C75) Numerical nonlinear stabilities in dynamical systems (65P40)

Related Items (39)

Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Estimations of the domains of attraction for classes of nonlinear continuous polynomial systems ⋮ OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications ⋮ A review of computation of mathematically rigorous bounds on optima of linear programs ⋮ An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Weak and strong solvability of interval linear systems of equations and inequalities ⋮ Flow functions, control flow functions, and the reach control problem ⋮ Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions ⋮ FOSSIL ⋮ Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions ⋮ Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces ⋮ Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions ⋮ Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Efficient solution of a class of quantified constraints with quantifier prefix exists-forall ⋮ Computation and verification of contraction metrics for exponentially stable equilibria ⋮ Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ Revised CPA method to compute Lyapunov functions for nonlinear systems ⋮ Vector barrier certificates and comparison systems ⋮ Probabilistic basin of attraction and its estimation using two Lyapunov functions ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Computing Capture Tubes ⋮ Learning safe neural network controllers with barrier certificates ⋮ Bracketing backward reach sets of a dynamical system ⋮ System specific triangulations for the construction of CPA Lyapunov functions ⋮ Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions ⋮ A semi-algebraic approach for asymptotic stability analysis ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming ⋮ Some decidable results on reachability of solvable systems ⋮ Analysis of a cancer dormancy model and control of immuno-therapy ⋮ Computation of Lyapunov functions for systems with multiple local attractors ⋮ Review on computational methods for Lyapunov functions

Uses Software

This page was built for publication: Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions