Séminaire Calcul Formel

Méthodes algébriques pour le contrôle optimal en Imagerie à Résonance Magnétique

par Dr Thibaut Verron

Europe/Paris
Salle XR203 (Bâtiment XLIM)

Salle XR203

Bâtiment XLIM

Description
L'imagerie à résonance magnétique (IRM) est un procédé d'imagerie médicale reposant sur la mesure des réactions des substances biologiques à l'application d'un champ magnétique. Les travaux de Steffen Glaser et de son équipe en 2012 ont montré que la théorie du contrôle optimal permet de contrôler cette réaction plus efficacement que les heuristiques généralement utilisées. Il s'avère que les points d'équilibre et les invariants du système sont donnés par des ensembles semi-algébriques réels, ce qui permet d'utiliser des algorithmes de calcul formel pour les classifier : bases de Gröbner, décomposition cylindrique algébrique... Les systèmes considérés peuvent être hors de portée des algorithmes existants, mais ils présentent une structure qui permet d'adapter les stratégies de calcul et de rendre les calculs réalisables.