Formal and Exhaustive Analysis of Numerical Intensive Control Software for Embedded Systems
FEANICSES (2018-2022) is a Jeune Chercheuse–Jeune Chercheur project funded by the Agence Nationale de la Recherche, the French Research Agency
FEANICSES project is related to compagnion projects:
- SYFI - Synthèse de code en virgule fixe, with the SME Numalis, Univ. of Perpignan, IRIT and Onera, funded by the program Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE) of the Région Occitanie, led by Matthieu Martel
- Feasible and Optimal Semi-Definite Programs for Piecewise Affine Systems Verification, with Univ. of Perpignan and Onera, funded by the Programme Gaspard Monge pour l’Optimisation (PGMO) of the Jacques Hamadard Fondation, led by Assalé Adjé
- Validation de drones et essaims de drones autonomes, with Ecole Polytechnique, ENSTA ParisTech, ENSTA Bretagne and ISAE-Supaero, funded by the Agence de l’innovation de défense (AID)