In a previous work, we have shown how to generate attractor sets of affine hybrid systems using a method of state space decomposition. We show here how to adapt the method to polynomial dynamics systems by approximating them as switched affine systems. We show the practical interest of the method on standard examples of the literature.
@InProceedings{fribourg_et_al:OASIcs.FSFMA.2013.53, author = {Fribourg, Laurent and K\"{u}hne, Ulrich and Soulat, Romain}, title = {{Constructing Attractors of Nonlinear Dynamical Systems}}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)}, pages = {53--60}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-56-9}, ISSN = {2190-6807}, year = {2013}, volume = {31}, editor = {Choppy, Christine and Sun, Jun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.53}, URN = {urn:nbn:de:0030-drops-40885}, doi = {10.4230/OASIcs.FSFMA.2013.53}, annote = {Keywords: Control theory, Hybrid Systems, Nonlinear dynamical systems} }
Feedback for Dagstuhl Publishing