OASIcs - OpenAccess Series in Informatics. 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)
Doi
Abstract
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