Optimisation combinatoire et programmation par contraintes pour les missions spatiales: Transferts de données, ordonnancement des observations scientifiques et des opérations

Soutenance de thèse de Julien Rouzot (LAAS-CNRS – Salle de Conférences)

Résumé de la thèse : Les missions spatiales impliquent des systèmes de plus en plus complexes, évoluant dans un environnement où des ressources telles que les communications ou l’énergie sont limitées. Concevoir et opérer ces missions demande un investissement considérable en temps et en argent—la durée de vie d’une mission spatiale peut s’étendre sur plusieurs décennies, et de tels projets peuvent coûter jusqu’à un milliard d’euros—et la moindre erreur peut avoir des conséquences dramatiques. De nombreuses décisions relatives au segment sol, en particulier le transfert de données et la planification des observations, sont le plus souvent prises manuellement ou semi-manuellement par des équipes d’experts en collaboration avec l’équipe scientifique. Ce processus est long, produit des solutions sous-optimales, et peut amener à réduire le retour scientifique de la mission. Dans cette thèse, nous explorons comment l’optimisation combinatoire peut améliorer le processus de planification des missions spatiales. Plus précisément, nous étudions des problèmes de transfert de données issus de la mission Rosetta, aujourd’hui terminée, mais nous définissons également de nouveaux problèmes d’ordonnancement relatifs à la mission nanosatellite NIMPH, actuellement en développement, ainsi qu’à la mission candidate de l’ESA, M-MATISSE. Nous proposons une analyse de complexité pour l’ensemble de ces problèmes, en démontrant qu’ils sont tous NP-difficiles, et nous présentons de nouvelles méthodes principalement basées sur la programmation par contraintes, mais aussi sur la programmation linéaire en nombres entiers et sur des heuristiques pour les résoudre. Nous évaluons nos modèles et heuristiques sur des scénarios réels ainsi que sur des instances synthétiques réaliste! s, en les comparant aux approches actuellement utilisées pour résoudre les problèmes abordés dans cette thèse. Nos résultats montrent que nos méthodes permettent d’obtenir des solutions de très bonne qualité (parfois optimales) à ces problèmes difficiles, réduisant ainsi l’effort des opérateurs humains tout en augmentant le retour scientifique des missions.

Composition du jury de thèse :

DIRECTEURS DE THESE

• Pierre LOPEZ, Directeur de Recherche, LAAS-CNRS
• Philippe GARNIER, Maître de Conférences, IRAP-CNRS

CO-ENCADRANTS DE THESE

• Emmanuel HEBRARD, Chargé de Recherche, LAAS-CNRS

RAPPORTEURS

• Antoine JOUGLET, Professeur des Universités, UTC
• Pierre SCHAUS, Professor, UCLouvain

EXAMINATEURS

• Cédric PRALET, Directeur de Recherche, ONERA
• Arnaud MALAPERT, Maître de Conférences, I3S-CNRS
• Karine MERCIER, Ingénieure, CNES
• Christine SOLNON, Professeure des Universités, LIRIS-CNRS

INVITES

• Chrisitian Artigues, Directeur de Recherche, LAAS-CNRS