Abstract
Results on systematic methodologies for obtaining progressively greater invariant sets of nonlinear systems within a region of interest are reported in this work. As with recent results on the subject, algorithms are developed that iteratively prove stability for larger regions by subtracting those already proved to be stable; this task is performed by an easy-to-implement procedure for piecewise affine Takagi-Sugeno modelling. Illustrative examples allow the reader to value the advantages of the proposed modelling against classical results.
