Viability kernel computation based on interval methods
Résumé
Since viability theory has been introduced by Jean-Pierre Aubin, almost exclusively discrete methods have been developed to approximate the viability kernel. We approached the computation of viability kernel with several methods based on interval analysis. Using guaranteed integration, we are able to compute a guaranteed kernel, which is not or hardly achievable with discrete methods.