Download - Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude
![Page 1: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/1.jpg)
Applications spatiales nécessitant de la planification d’actions concurrente sous
incertitude
Éric Beaudryhttp://planiart.usherbrooke.ca/~eric/
6 juin 2011
![Page 2: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/2.jpg)
2
Robots sur Mars Observation de la Terre
![Page 3: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/3.jpg)
MISSION PLANNING FOR MARS ROVERS
Sample application
3
Image Source : http://m
arsrovers.jpl.nasa.gov/gallery/artwork/hires/rover3.jpg
![Page 4: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/4.jpg)
4
Mars Rovers: Autonomy is required
Robot Sejourner
> 11 Minutes * Light
![Page 5: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/5.jpg)
5
Mars Rovers: Constraints• Navigation– Uncertain and rugged terrain.– No geopositioning tool like GPS on Earth.
Structured-Light (Pathfinder) / Stereovision (MER).
• Energy.• CPU and Storage.• Communication Windows.• Sensors Protocols (Preheat, Initialize,
Calibration)• Cold !
![Page 6: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/6.jpg)
6
Mars Rovers: Uncertainty (Speed)• Navigation duration is unpredictable.
5 m 57 s
14 m 05 s
![Page 7: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/7.jpg)
7
Mars Rovers: Uncertainty (Speed)
robo
trobot
![Page 8: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/8.jpg)
8
Mars Rovers: Uncertainty (Power)• Required Power by motors Energy Level
Power Power Power
![Page 9: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/9.jpg)
9
Mars Rovers: Uncertainty (Size&Time)• Lossless compression algorithms have highly
variable compression rate.
Image size : 1.4 MBTime to Transfer: 12m42s
Image size : 0.7 MBTime to Transfer : 06m21s
![Page 10: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/10.jpg)
10
Mars Rovers: Uncertainty (Sun)
Sun Sun
Normal Vector Normal
Vector
![Page 11: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/11.jpg)
11
OBJECTIVES
![Page 12: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/12.jpg)
12
Goals
• Generating plans with concurrent actions under resources and time uncertainty.
• Time constraints (deadlines, feasibility windows).
• Optimize an objective function (i.e. travel distance, expected makespan).
• Elaborate a probabilistic admissible heuristic based on relaxed planning graph.
![Page 13: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/13.jpg)
13
Assumptions
• Only amount of resources and action duration are uncertain.
• All other outcomes are totally deterministic.• Fully observable domain.• Time and resources uncertainty is continue,
not discrete.
![Page 14: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/14.jpg)
14
Dimensions
• Effects: Determinist vs Non-Determinist.
• Duration: Unit (instantaneous) vs Determinist vs Discrete Uncertainty vs Probabilistic (continue).
• Observability : Full vs Partial vs Sensing Actions.
• Concurrency : Sequential vs Concurrent (Simple Temporal) [] vs Required Concurrency.
![Page 15: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/15.jpg)
15
LITERATURE REVIEW
![Page 16: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/16.jpg)
16
Existing Approaches• Planning concurrent actions
– F. Bacchus and M. Ady. Planning with Resource and Concurrency : A Forward Chaining Approach. IJCAI. 2001.
• MDP : CoMDP, CPTP– Mausam and Daniel S. Weld. Probabilistic Temporal Planning with Uncertain
Durations. National Conference on Artificial Intelligence (AAAI). 2006.– Mausam and Daniel S. Weld. Concurrent Probabilistic Temporal Planning.
International Conference on Automated Planning and Scheduling. 2005– Mausam and Daniel S. Weld. Solving concurrent Markov Decision Processes. National
Conference on Artificial intelligence (AAAI). AAAI Press / The MIT Press. 716-722. 2004.• Factored Policy Gradient : FPG
– O. Buffet and D. Aberdeen. The Factored Policy Gradient Planner. Artificial Intelligence 173(5-6):722–747. 2009.
• Incremental methods with plan simulation (sampling) : Tempastic– H. Younes, D. Musliner, and R. Simmons. « A framework for planning in continuous-
time stochastic domains. International Conference on Automated Planning and Scheduling (ICAPS). 2003.
– H. Younes and R. Simmons. Policy generation for continuous-time stochastic domains with concurrency. International Conference on Automated Planning and Scheduling (ICAPS). 2004.
– R. Dearden, N. Meuleau, S. Ramakrishnan, D. Smith, and R. Washington. Incremental contingency planning. ICAPS Workshop on Planning under Uncertainty. 2003.
![Page 17: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/17.jpg)
Fully Non-Deterministic (Outcome + Duration) + Action ConcurrencyFPG [Buffet]
+ Discrete Action Duration UncertaintyCPTP [Mausam]
+ Deterministic Outcomes [Beaudry] [Younes]
Families of Planning Problems with Actions Concurrency and Uncertainty
+ Deterministic Action Duration
= Temporal Track at ICAPS/IPC
Forward Chaining[Bacchus]
+ PDDL 3.0
17
+ Longest ActionCoMDP [Mausam]
+ Sequential (no action concurrency)[Dearden]
MDP
Classical PlanningA* + limited PDDL
The + sign indicates constraints on domain problems.
![Page 18: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/18.jpg)
18
Application 2 : observation de la Terre• Conditions d’acquisition (ex: météo) incertaines (très
problématique pour les données optiques).• Des requêtes urgentes peuvent survenir.• Les fenêtres de communications sont limitées.• Capacité de stockage limitée sur les satellites.
• Les changements d’orbite sont coûteux.
• Volume de données incertain.• Besoin de planifier les actions
pour optimiser les acquisition de données.
• Réf.: [Capderou 2002].
RadarSat II
![Page 19: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/19.jpg)
PLANIFICATION CLASSIQUE
![Page 20: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/20.jpg)
Planification classique
![Page 21: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/21.jpg)
Planification temporelle
![Page 22: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/22.jpg)
Planification avec actions concurrentes
![Page 23: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/23.jpg)
![Page 24: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/24.jpg)
MDP : Séquence d’actions avec incertitude
![Page 25: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/25.jpg)
Incertitude sur le temps
![Page 26: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/26.jpg)
COMMENT COMBINER INCERTITUDE, INCERTITUDE SUR LE TEMPS, ET ACTIONS CONCURRENTE ?
![Page 27: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/27.jpg)
Voir diapos 21 à 39de ma présentation @UQAM
![Page 28: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/28.jpg)
CES DÉFIS VOUS INTÉRESSENT ?
![Page 29: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/29.jpg)
Ces défis vous intéressent ?• Projet libre en IFT615 (3 à 5 semaines)
• Projets IFT592/692 (3 ou 6 crédits)
• Stage en recherche / Bourse CRSNG 1er cycle– Minimum 5625 $ (bourse non imposable)– Durée de 16 semaines– Peut être ou ne pas être un stage coop– Moyenne de B-– Excellente expérience avant la maîtrise– CRSNG (Conseil de la recherche en sciences naturelles et génie)– Infos: http://www.crsng.ca ou un prof du département
29
![Page 30: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/30.jpg)
Maitrise type recherche• Maitrise = initiation à la recherche• Projet de recherche (travail individuelle / équipe)• 5 cours gradués• Possibilité de publier dans des journaux et conférences
scientifiques (voyages !)• Financement
– Bourses subvention d’un prof-chercheur : ~ 12 k$ / an.– Bourses CRSNG (17 k$ / 12 mois)– Bourses FQRNT (15 k$ / 4 sessions)– Bourses CRSNG à incidence industrielle (15 à 25 k$ / an).– CRSNG : http://www.crsng.ca/ .– FQRNT : http://www.fqrnt.gouv.qc.ca/ .
30
![Page 31: Applications spatiales nécessitant de la p lanification d’actions concurrente sous incertitude](https://reader036.vdocuments.mx/reader036/viewer/2022070503/568163d1550346895dd516a3/html5/thumbnails/31.jpg)
Chercheurs
• Eric Beaudry @
• Froduald Kabanza @