Inner approximations of the maximal positively invariant set for polynomial dynamical systems
It provides a theoretically guaranteed inner approximation for infinite-time invariance, addressing a gap where prior work only offered outer approximations or finite-time inner approximations.
The paper develops a method using the Lasserre hierarchy to compute inner approximations of the maximal positively invariant set for polynomial dynamical systems, proving volume convergence under a growth condition on average exit time.
The Lasserre or moment-sum-of-square hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuous-time dynamical systems with polynomial vector fields. Convergence in volume of the hierarchy is proved under a technical growth condition on the average exit time of trajectories. Our contribution is to deal with inner approximations in infinite time, while former work with volume convergence guarantees proposed either outer approximations of the maximal positively invariant set or inner approximations of the region of attraction in finite time.