Sujet de thèse - 2020
Optimisation certifiée pour la conception automatique et fiable de filtres numériques et contrôleurs
Niveau : Thèse
Période : 01/09/2020 à 31/08/2023
Cette thèse se trouve dans le contexte de l’implémentation optimale en logiciel et matériel FPGA/ASIC de systèmes de traitement de signal et de contrôle. Les contraintes sur la consommation d’énergie, la surface et/ou la vitesse de calcul des circuits implantés sont étroitement liées à la précision des calculs, au choix de l’arithmétique et des algorithmes à précision finie. Les compromis à faire pour respecter ces contraintes, bien que critiques, sont encore aujourd’hui souvent effectués de manière non automatique et sous-optimalement. Le but de cette thèse est de proposer une étude rigoureuse et fiable de l’impact de la précision finie sur les systèmes numériques, e.g. filtres de Kalman, et développer une méthodologie d’optimisation certifiée d’implantations génériques en matériel/logiciel.
La demande de financement est en cours.
Les candidats doivent envoyer leur CV et lettre de motivation avant le 28 Avril à anastasia.volkova@ls2n.fr et les auditions pas visioconférence seront proposés le 28 et 29 Avril.
Anastasia VOLKOVA
anastasia.volkova@univ-nantes.fr
Laurent GRANVILLIERS
laurent.granvilliers@univ-nantes.fr
