Published 2017
| Version v1
Publication
Algebraic-geometric techniques for the feedback classification and robustness of the optimal control of a pair of Bloch equations with application to Magnetic Resonance Imaging
Contributors
Others:
- Institut de Mathématiques de Bourgogne [Dijon] (IMB) ; Université de Bourgogne (UB)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)
- Mathematics for Control, Transport and Applications (McTAO) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Algorithmes Parallèles et Optimisation (IRIT-APO) ; Institut de recherche en informatique de Toulouse (IRIT) ; Université Toulouse 1 Capitole (UT1) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Université Fédérale Toulouse Midi-Pyrénées-Toulouse Mind & Brain Institut (TMBI) ; Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Université Fédérale Toulouse Midi-Pyrénées-Toulouse Mind & Brain Institut (TMBI) ; Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées
- Institut National Polytechnique (Toulouse) (Toulouse INP) ; Université Fédérale Toulouse Midi-Pyrénées
- Polynomial Systems (PolSys) ; Laboratoire d'Informatique de Paris 6 (LIP6) ; Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Équipe Méthodes et Algorithmes en Commande (LAAS-MAC) ; Laboratoire d'analyse et d'architecture des systèmes (LAAS) ; Université Toulouse 1 Capitole (UT1) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA)-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) ; Institut National des Sciences Appliquées (INSA)-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Université Fédérale Toulouse Midi-Pyrénées
- Work supported by ANR Project DFG Explosys (ANR-14-CE35-0013-01; GL203/9-1) and ERC-Advanced Grant for the TAMING project
Description
The aim of this article is to classify the singular trajectories associated with the optimal control problems of a pair of controlled Bloch equations. The motivation is to analyze the robustness of the optimal solutions to the contrast and the time-minimal saturation problem, in magnetic resonance imaging, with respect to the parameters and B1-inhomogeneity. For this purpose, we use various computer algebra algorithms and methods to study solutions of polynomial systems of equations and inequalities which are used for classification issues: Gröbner basis, cylindrical algebraic decomposition of semi-algebraic sets, Thom's isotopy lemma.
Abstract (French)
L'objectif de cet article est de classifier les trajectoires singulières associées aux problèmes de contrôle optimaux d'une paire d'équations de Bloch contrôlées. La motivation est d'analyser la robustesse de la solution optimale du problème de contraste et de multisaturation en temps minimal, en imagerie par résonance magnétique nucléaire, par rapport aux paramètres et les inhomogénéités B1. On utilise le calcul symbolique pour étudier les solutions de systèmes polynomiaux d'équations et d'inéquations dans les problèmes de classification : base de Gröbner, décomposition algébrique cylindrique des ensembles semi-algébriques et le lemme d'isotopie de Thom.Abstract
submittedAdditional details
Identifiers
- URL
- https://hal.inria.fr/hal-01556806
- URN
- urn:oai:HAL:hal-01556806v1
Origin repository
- Origin repository
- UNICA