Calculating Positive Invariant Sets: A Quantifier Elimination Approach

Abstract

A Lyapunov-based approach for calculating positive invariant sets in an automatic manner is presented. This is done using real algebraic geometry techniques, which are summed up under the term quantifier elimination (QE). Using available tools, the approach presented yields an algorithmizable procedure whose conservatism only depends on the initial choice for the Lyapunov candidate function. The performance of the approach is illustrated on a variant of the Rössler system and on the Lorenz-Haken system.