Finding positively invariant sets and proving exponential stability of limit cycles using Sum-of-Squares decompositions
From MaRDI portal
Publication:6408700
DOI10.3934/JCD.2022017arXiv2208.11599MaRDI QIDQ6408700FDOQ6408700
Authors: Elias August, Mauricio Barahona 
Publication date: 24 August 2022
Abstract: The dynamics of many systems from physics, economics, chemistry, and biology can be modelled through polynomial functions. In this paper, we provide a computational means to find positively invariant sets of polynomial dynamical systems by using semidefinite programming to solve sum-of-squares (SOS) programmes. With the emergence of SOS programmes, it is possible to efficiently search for Lyapunov functions that guarantee stability of polynomial systems. Yet, SOS computations often fail to find functions, such that the conditions hold in the entire state space. We show here that restricting the SOS optimisation to specific domains enables us to obtain positively invariant sets, thus facilitating the analysis of the dynamics by considering separately each positively invariant set. In addition, we go beyond classical Lyapunov stability analysis and use SOS decompositions to computationally implement sufficient positivity conditions that guarantee existence, uniqueness, and exponential stability of a limit cycle. Importantly, this approach is applicable to systems of any dimension and, thus, goes beyond classical methods that are restricted to two-dimensional phase space. We illustrate our different results with applications to classical systems, such as the van der Pol oscillator, the Fitzhugh-Nagumo neuronal equation, and the Lorenz system.
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)
This page was built for publication: Finding positively invariant sets and proving exponential stability of limit cycles using Sum-of-Squares decompositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6408700)
