Augmenter l'autonomie décisionnelle des systèmes spatiaux (satellites, sondes et rovers) soulève de nouveaux problèmes tels que la planification des activités pour accomplir un but, le contrôle de l'exécution du plan, et la surveillance et le diagnostic du système. Nous nous intéressons plus particulièrement à la planification d'une mission et au contrôle de son exécution dans le cadre d'une application avec des contraintes temporelles (rendez-vous avec des fenêtres de visibilité&) et la gestion de ressources limitées (énergie, carburant&). Cette thèse propose un cadre général pour intégrer la planification, l'exécution et l'adaptation réactive d'un plan en exploitant la flexibilité temporelle et le parallélisme des plans produits par un planificateur non linéaire causal basé sur des techniques de satisfaction de contraintes (notamment la représentation des contraintes temporelles est faite sous la forme d'un Simple Temporal Network). Cette approche a été mise en Suvre dans le système IxTeT-eXeC qui se compose d'un exécutif temporel et du planificateur IxTeT, modifié pour améliorer la flexibilité de la représentation des ressources et prendre en compte le contexte d'exécution et la durée de la recherche lors de la planification. L'exécutif contrôle les deux mécanismes d'adaptation du plan (en cas d'échecs ou de nouveaux buts) : (1) une réparation en parallèle de l'exécution de ses parties valides, (2) une replanification complète. IxTeT-eXeC a été intégré dans le niveau décisionnel de l'architecture LAAS, en interaction avec l'exécutif procédural OpenPRS, pour contrôler un robot mobile autonome avec une mission d'exploration.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00009496 |
| Date | 21 June 2004 |
| Creators | LEMAI, Solange |
| Publisher | Institut National Polytechnique de Toulouse - INPT |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0055 seconds