Abstract FR:

La planification de missions spatiales se pose en termes de partage des ressources et du temps. La première partie du mémoire recense les différents aspects de ce problème et en présente une analyse bibliographique. La deuxième partie concerne plus particulièrement le problème d'ordonnancement. A partir d'une formalisation générale, où sont soulignées les notions de ressources consommables et renouvelables, un principe de résolution, dont le but est de limiter la recherche aveugle de solutions, est donné. Ce principe est d'abord appliqué au traitement des ressources consommables ; les propriétés des algorithmes correspondants - terminaison, complétude, complexité moyenne - sont étudiées, et leur implémentation est décrite. Un exemple d'application relatif à la gestion des prises de vues du satellite SPOT est donné. Ce principe, augmenté d'un module de gestion des contraintes temporelles symboliques, est ensuite appliqué au traitement des ressources renouvelables : la méthode décrite - OSCAR - repose sur l'affectation de ressources fictive, les Ensembles Admissibles, qui permettent de prendre en compte simultanément la dimension quantité de ressources et la dimension temps. L'algorithme correspondant permet de caractériser les échecs et d'identifier les points pertinents de retour-arrière. Les compléments à apporter aux algorithmes bruts, comme l'étude de la capacité d'explications et la mise en oeuvre d'heuristiques et de stratégies, sont présentés en dernière partie.