We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
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
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.