Temporal Plan Execution: Dynamic Scheduling and Simple Temporal Networks Brian C. Williams 16412J6834J May10t,2004 Outline Review: Constraint-based Interval Planning Simple Temporal Networks Schedulability and Scheduling Review: Temporal, Model-based Programming Managing Execution Uncertainty Execution with Dynamic Scheduling Execution with Explicit Models of Uncertainty
Temporal Plan Execution: Dynamic Scheduling and Simple Temporal Networks 1 Brian C. Williams 16.412J/6.834J May 10th, 2004 Outline • Review: Constraint-based Interval Planning • Simple Temporal Networks • Schedulability and Scheduling • Review: Temporal, Model-based Programming • Managing Execution Uncertainty – Execution with Dynamic Scheduling – Execution with Explicit Models of Uncertainty
Mars Exploration Rovers- Jan 2004 Mini-TES Navcam Mossbauer spectromete APXS Rock Abrasion Tool Micro Mission Objectives Learn about ancient water and climate on For each rover, analyze a total of 6-12 targets Targets=natural rocks, abraded rocks, and soil Drive 200-1000 meters per rover
Mars Exploration Rovers – Jan. 2004 Mars Exploration Rovers – Jan. 2004 Mission Objectives: • Learn about ancient water and climate on Mars. • For each rover, analyze a total of 6-12 targets – Targets = natural rocks, abraded rocks, and soil • Drive 200-1000 meters per rover Mission Objectives: • Learn about ancient water and climate on Mars. • For each rover, analyze a total of 6-12 targets – Targets = natural rocks, abraded rocks, and soil • Drive 200-1000 meters per rover Mini-TES Pancam Navcam Rock Abrasion Tool Microscopic Imager Mossbauer spectrometer APXS Image courtesy of JPL
One day in the life of a Mars rover 10111213141516181920212223012345678 Plannig t teeing p Downlink Assessment; Science Planning Sequence Build/Validati 「11820212230 Courtesv. Jimm Erickson MAPGEN: Automated PL Science Planning for MER Planning Lead: Kanna Rajan(ARC) EUROPA Automated Planning System Flight rules ngineering Res Sequence Constraints Build Science Navigation DSNTelc Science team
Activity Name Durati on 10 11 12 13 14 15 16 17 18 19 20 21 22 23 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 0 1 2 3 4 5 6 7 8 9 DTE 4.50 0.75 DTE period DFE Night Time Rover Operations 16.97 Sleep Night Time Rover Operations Wakeup Pre-Comm Session Sequence Plan Review Current Sol Sequence Plan Review 1.50 1.50 Current Sol Sequence Plan Review Prior Sol Sequence Plan Review 2.00 Prior Sol Sequence Plan Review Real-TIme Monitoring 4.50 0.75 Real-TIme Monitoring Real-TIme Monitoring Downlink Product Generation... 2.75 Downlink Product Generation Tactical Science Assessment/Observation Planning 5.00 Tactical Science Assessment/Observation Planning Science DL Assessment Meeting 1.00 Science DL Assessment Meeting Payload DL/UL Handoffs 0.50 Payload DL/UL Handoffs Tactical End-of-Sol Engr. Assessment & Planning 5.50 Tactical End-of-Sol Engr. Assessment & Planning DL/UL Handover Meeting 0.50 DL/UL Handover Meeting Skeleton Activity Plan Update 2.50 Skeleton Activity Plan Update SOWG Meeting 2.00 SOWG Meeting Uplink Kickoff Meeting 0.25 Uplink Kickoff Meeting Activity Plan Integration & Validation 1.75 Activity Plan Integration & Validation Activity Plan Approval Meeting 0.50 Activity Plan Approval Meeting Build & Validate Sequences 2.25 Build & Validate Sequences UL1/UL2 Handover 1.00 UL1/UL2 Handover Complete/Rework Sequences 2.50 Complete/Rework Sequences Margin 1 0.75 Margin 1 Command & Radiation Approval 0.50 Command & Radiation Ap Margin 2 1.25 Margin 2 Radiation 0.50 Radiation MCT Team 7.00 4.00 One day in the life of a Mars rover Courtesy: Jim Erickson Downlink Assessment Science Planning Sequence Build/Validation Uplink EUROPA Automated Planning System EUROPA Automated Planning System Science Navigation Engineering Resource Constraints DSN/Telcom Flight Rules Science Team Sequence Build MAPGEN: Automated Science Planning for MER Planning Lead: Kanna Rajan (ARC)
A Temporal planning problem Calibration Target(T17) Constraint-based operators Takelmage(?target, ?instr) ntained-by Status(?instr, Calibr contained-by Pointing(?target meets mage(?target) Pointing(?target) contains meets Takelmage(?target, ?instr) Image(?target) Status(?instr, Calibrated)
A Temporal Planning Problem Past meets Image(?target) Pointing(Earth) Status(Cam1, Off) Status(Cam2, On) CalibrationTarget(T17) Future meets - Constraint-based Operators Pointing(?target) Status(?instr, Calibrated) TakeImage(?target, ?instr) Image(?target) meets contains contains TakeImage (?target, ?instr) contained-by Status(?instr, Calibrated) contained-by Pointing(?target) meets Image(?target)
Representing Timing Qualitative Temporal Relations [Allen AAAl83] a before B B verlaps B A contains B B A=B B A starts B Expansion 1 Pointing(Earth before Status(Cam1, Off) contains Takelmage(A 7. instr) me Image(A7 FUture Status(Cam2, Or contains Calibration Target(T17) Status(?instr, Calibrated)
Representing Timing: Qualitative Temporal Relations [Allen AAAI83] A before B A B A meets B A B A B A overlaps B A contains B A B A = B A B A B A starts B A B A ends B Expansion 1 Image(A7) Future meets st meets Pointing(Earth) Status(Cam1, Off) Status(Cam2, On) CalibrationTarget(T17) Pointing(A7) Status(?instr, Calibrated) TakeImage(A7, ?instr) meets contains contains before