Determinantal sets, singularities and application to optimal control in medical imagery

Abstract : Control theory has recently been involved in the field of nuclear magnetic resonance imagery. The goal is to control the magnetic field optimally in order to improve the contrast between two biological matters on the pictures. Geometric optimal control leads us here to analyze mero-morphic vector fields depending upon physical parameters , and having their singularities defined by a deter-minantal variety. The involved matrix has polynomial entries with respect to both the state variables and the parameters. Taking into account the physical constraints of the problem, one needs to classify, with respect to the parameters, the number of real singularities lying in some prescribed semi-algebraic set. We develop a dedicated algorithm for real root classification of the singularities of the rank defects of a polynomial matrix, cut with a given semi-algebraic set. The algorithm works under some genericity assumptions which are easy to check. These assumptions are not so restrictive and are satisfied in the aforementioned application. As more general strategies for real root classification do, our algorithm needs to compute the critical loci of some maps, intersections with the boundary of the semi-algebraic domain, etc. In order to compute these objects, the determinantal structure is exploited through a stratifi-cation by the rank of the polynomial matrix. This speeds up the computations by a factor 100. Furthermore, our implementation is able to solve the application in medical imagery, which was out of reach of more general algorithms for real root classification. For instance, computational results show that the contrast problem where one of the matters is water is partitioned into three distinct classes.
Type de document :
Communication dans un congrès
International symposium on symbolic and algebraic computations, Jul 2016, Waterloo, Canada. ACM, pp.103-110, <10.1145/2930889.2930916>
Liste complète des métadonnées

https://hal.inria.fr/hal-01307073
Contributeur : Thibaut Verron <>
Soumis le : dimanche 1 mai 2016 - 21:49:16
Dernière modification le : mercredi 14 décembre 2016 - 10:09:15
Document(s) archivé(s) le : mardi 15 novembre 2016 - 18:43:49

Fichiers

SingulWater.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron. Determinantal sets, singularities and application to optimal control in medical imagery. International symposium on symbolic and algebraic computations, Jul 2016, Waterloo, Canada. ACM, pp.103-110, <10.1145/2930889.2930916>. <hal-01307073v2>

Partager

Métriques

Consultations de
la notice

224

Téléchargements du document

93