OASIcs.FSFMA.2013.53.pdf
- Filesize: 460 kB
- 8 pages
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.
Feedback for Dagstuhl Publishing