Finding positively invariant sets and proving exponential stability of limit cycles using Sum-of-Squares decompositions

Elias August, Mauricio Barahona

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 p…