Finding positively invariant sets and proving exponential stability of limit cycles using sum-of-squares decompositions

DOI10.3934/jcd.2022017OpenAlexW4293104856MaRDI QIDQ2696114

Elias August, Mauricio Barahona

Publication date: 6 April 2023

Published in: Journal of Computational Dynamics (Search for Journal in Brave)

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

zbMATH Keywords

semidefinite programmingLyapunov stability theorycontraction theorysum-of-squaressystems theory

Mathematics Subject Classification ID

Semidefinite programming (90C22) Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Control/observation systems governed by ordinary differential equations (93C15) Exponential stability (93D23)

Uses Software

• Sostools
• SeDuMi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Obtaining certificates for complete synchronisation of coupled oscillators
• Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
• Semidefinite programming relaxations for semialgebraic problems
• Necessary conditions for a limit cycle and its basin of attraction.
• A globally asymptotically stable polynomial vector field with rational coefficients and no local polynomial Lyapunov function
• Connection graph stability method for synchronized coupled chaotic systems
• Transverse contraction criteria for existence, stability, and robustness of a limit cycle
• Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
• Converging outer approximations to global attractors using semidefinite programming
• Some NP-complete problems in quadratic and nonlinear programming
• On Global Asymptotic Stability of Solutions of Differential Equations
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• Deterministic Nonperiodic Flow
• SOSTOOLS and Its Control Applications
• Semidefinite Programming
• Understanding bistability in complex enzyme-driven reaction networks
• Dynamical Systems with a Certain Local Contraction Property.
• Metric Properties of Differential Equations

This page was built for publication: Finding positively invariant sets and proving exponential stability of limit cycles using sum-of-squares decompositions