Ames Research Center Incremental Contingency Planning Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Rich Washington window [10,14:30]

Slides:



Advertisements
Similar presentations
Chapter 7 Managing Risk.
Advertisements

Simple Graph Warmup. Cycles in Simple Graphs A cycle in a simple graph is a sequence of vertices v 0, …, v n for some n>0, where v 0, ….v n-1 are distinct,
Fragment-Based Conformant Planning James Kurien Palo Alto Research Center Pandu NayakStratify, Inc. David E. SmithNASA Ames Research Center.
Multi‑Criteria Decision Making
Generating Plans in Concurrent, Probabilistic, Oversubscribed Domains Li Li and Nilufer Onder Department of Computer Science Michigan Technological University.
Probabilistic Planning (goal-oriented) Action Probabilistic Outcome Time 1 Time 2 Goal State 1 Action State Maximize Goal Achievement Dead End A1A2 I A1.
Resource Management Chapter 12.
Chapter 7: Managing Risk
Static Optimization of Conjunctive Queries with Sliding Windows over Infinite Streams Presented by: Andy Mason and Sheng Zhong Ahmed M.Ayad and Jeffrey.
 An object-oriented program’s structure often bears little resemblance to its code structure.  The code structure is frozen at compile-time; it consists.
Ashish Gupta Under Guidance of Prof. B.N. Jain Department of Computer Science and Engineering Advanced Networking Laboratory.
Regulatory Network (Part II) 11/05/07. Methods Linear –PCA (Raychaudhuri et al. 2000) –NIR (Gardner et al. 2003) Nonlinear –Bayesian network (Friedman.
Over-subscription Planning with Numeric Goals J. Benton Computer Sci. & Eng. Dept. Arizona State University Tempe, AZ Minh Do Palo Alto Research Center.
Cache Placement in Sensor Networks Under Update Cost Constraint Bin Tang, Samir Das and Himanshu Gupta Department of Computer Science Stony Brook University.
3rd ARRIVAL Review Meeting [Patras, 12 May 2009] – WP3 Presentation ARRIVAL – WP3 Algorithms for Robust and online Railway optimization: Improving the.
These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 6/e and are provided with permission by.
Planning operation start times for the manufacture of capital products with uncertain processing times and resource constraints D.P. Song, Dr. C.Hicks.
Business Analytics, Part I Introduction Presented by Scott Koegler Editor, ec-bp.org.
Resource Management in Data-Intensive Systems Bernie Acs, Magda Balazinska, John Ford, Karthik Kambatla, Alex Labrinidis, Carlos Maltzahn, Rami Melhem,
A Framework for Planning in Continuous-time Stochastic Domains Håkan L. S. Younes Carnegie Mellon University David J. MuslinerReid G. Simmons Honeywell.
Emily Stone, Katie Dardis, Rachael Rzepka, Courtney Ariola Robot Or Not?
Dynamic and Decentralized Approaches for Optimal Allocation of Multiple Resources in Virtualized Data Centers Wei Chen, Samuel Hargrove, Heh Miao, Liang.
The Stochastic Motion Roadmap: A Sampling Framework for Planning with Markov Motion Uncertainty Changsi An You-Wei Cheah.
Managing Risk. Objectives  To Describe Risk Management concepts and techniques  To calculate and analyze a project using Probability of completion 
Population All members of a set which have a given characteristic. Population Data Data associated with a certain population. Population Parameter A measure.
GPU Acceleration of Pyrosequencing Noise Removal Dept. of Computer Science and Engineering University of South Carolina Yang Gao, Jason D. Bakos Heterogeneous.
Monte Carlo Simulation and Personal Finance Jacob Foley.
Ranking Queries on Uncertain Data: A Probabilistic Threshold Approach Wenjie Zhang, Xuemin Lin The University of New South Wales & NICTA Ming Hua,
1 Advance Computer Architecture CSE 8383 Ranya Alawadhi.
K.T. Potential Problem Analysis Analyze potential solutions to see if there are potential problems that could arise Ones not analyzed in prior steps Particularly.
TRANSACTIONS. Objectives Transaction Concept Transaction State Concurrent Executions Serializability Recoverability Implementation of Isolation Transaction.
Probabilistic Reasoning for Robust Plan Execution Steve Schaffer, Brad Clement, Steve Chien Artificial Intelligence.
Quadratic Programming Solver for Image Deblurring Engine Rahul Rithe, Michael Price Massachusetts Institute of Technology.
Conjunction A conjunction is a compound statement formed by combining two simple sentences using the word “AND”. A conjunction is only true when both.
MURI: Integrated Fusion, Performance Prediction, and Sensor Management for Automatic Target Exploitation 1 Dynamic Sensor Resource Management for ATE MURI.
Estimating Component Availability by Dempster-Shafer Belief Networks Estimating Component Availability by Dempster-Shafer Belief Networks Lan Guo Lane.
Sampling for Part Based Object Models Daniel Huttenlocher September, 2006.
Secure In-Network Aggregation for Wireless Sensor Networks
1 These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 5/e and are provided with permission by.
A local search algorithm with repair procedure for the Roadef 2010 challenge Lauri Ahlroth, André Schumacher, Henri Tokola
Risk Management. 7–2 Where We Are Now 7–3 Risk Management Process Risk –Uncertain or chance events that planning can not overcome or control. Risk Management.
Smart Home Technologies
Ames Research Center Planning with Uncertainty in Continuous Domains Richard Dearden No fixed abode Joint work with: Zhengzhu Feng U. Mass Amherst Nicolas.
1 1 Slide © 2004 Thomson/South-Western Simulation n Simulation is one of the most frequently employed management science techniques. n It is typically.
Continuous Time and Resource Uncertainty CSE 574 Lecture Spring ’03 Stefan B. Sigurdsson.
Energy-Efficient Signal Processing and Communication Algorithms for Scalable Distributed Fusion.
Increased Reliability Through Failure Predictive Scheduling with Temperature Sensor Feedback Wesley Emeneker CSE 534 Dr. Sandeep Gupta.
Population Based Optimization for Variable Operating Points Alan L. Jennings & Ra úl Ordóñez, ajennings1ajennings1,
MAT 4830 Mathematical Modeling 04 Monte Carlo Integrations
Reinforcement Learning: Learning algorithms Yishay Mansour Tel-Aviv University.
Planning Under Uncertainty. Sensing error Partial observability Unpredictable dynamics Other agents.
Product A Product B Product C A1A1 A2A2 A3A3 B1B1 B2B2 B3B3 B4B4 C1C1 C3C3 C4C4 Turret lathes Vertical mills Center lathes Drills From “Fundamentals of.
Resource Optimization for Publisher/Subscriber-based Avionics Systems Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee.
Kalman Filter and Data Streaming Presented By :- Ankur Jain Department of Computer Science 7/21/03.
Modelling & Simulation of Semiconductor Devices Lecture 1 & 2 Introduction to Modelling & Simulation.
Value Prediction Kyaw Kyaw, Min Pan Final Project.
Location of mobile devices in the Ad Hoc Network
Software Project Management
Chapter 6: Temporal Difference Learning
Software Project Management
CSCI1600: Embedded and Real Time Software
Robust Belief-based Execution of Manipulation Programs
Use the Table of Integrals to evaluate the integral. {image}
Chi Square Two-way Tables
October 6, 2011 Dr. Itamar Arel College of Engineering
Chapter 6: Temporal Difference Learning
Use the graph of f to find the following limit. {image} {applet}
Retrieval Performance Evaluation - Measures
CSCI1600: Embedded and Real Time Software
Evaluate the integral {image}
Presentation transcript:

Ames Research Center Incremental Contingency Planning Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Rich Washington window [10,14:30] power Workspace pan data Drive (-1)Dig(5)Visual servo (.2, -.15)NIR Lo resRock finderHi resCarbonate [10,14:30] XXXX ?

Ames Research Center Limited onboard processing CPU, memory, time Safety sequence checking Anticipation setup steps Why Contingency Planning ??

Ames Research Center The Planning Problem Visual servo (.2, -.15) Warmup NIR Dig(5)Drive(-1)NIR ……… Compress Drive(2) Maximize (Expected) Scientific Return Given: start time pose energy available actions with uncertain: durations resource usage Possible science objectives images samples

Ames Research Center Technical Challenges Continuous time (& resources) Continuous outcomes Time (& resource) constraints Concurrency Goal selection & optimization g 1, g 2, g 3, g 4 … Visual servo (.2, -.15) Warmup NIR Lo resRock finderNIR ∆p = ∆t = NIR E > 2 Ah t  [10:00, 14:00] Time PowerStorage

Ames Research Center Just in Case (JIC) Scheduling 1. Seed schedule 2.Identify most likely failure 3.Generate a contingency branch 4.Integrate the branch Advantages: Tractability Simple plans Anytime.4.2.1

Ames Research Center Just in Case (JIC) Planning 1. Seed plan 2.Identify most likely failure 3.Generate a contingency branch 4.Integrate the branch.4.2.1

Ames Research Center Limits of JIC Scheduling Heuristics Dig(60)Visual servo (.2, -.15) Lo resRock finderLIB  = 120s  = 60s  = 300s  = 5s  = 1000s  = 500s t  [9:00, 16:00]  = 5s  = 1s  = 120s  = 20s V = 50 HiRes V = 10 t  [10:00, 13:50]  = 600s  = 60s t  [9:00, 14:30]  = 5s  = 1s V = 5 Warmup LIB  = 1200s  = 20s Most probable failure points may not be the best branch-points: It is often too late to attempt other goals when the plan is about to fail.  : most probable failures $ : most interesting branch point Expected Utility Power Start time :20 14:40 14:20 14:00 13:40 True for all initial states in the grey box.   Drive (-2)NIR  V = 100 t  [10:00, 14:00]  = 600s  = 60s $

Ames Research Center Just in Case (JIC) Planning 1. Seed plan 2.Identify best branch point 3.Generate a contingency branch 5. Evaluate & Integrate the branch ? ? ? Construct plangraph Back-propagate value tables Compute gain Select branch condition & goals ? r VbVb VmVm

Ames Research Center Construct Plangraph g1g1 g2g2 g3g3 g4g4

Ames Research Center Value Tables g1g1 g2g2 g3g3 g4g4 V1V1 V2V2 V3V3 V4V4 r r r r

Ames Research Center Example A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e 1

Ames Research Center Simple Propagation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e

Ames Research Center Simple Propagation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e

Ames Research Center Simple Propagation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e

Ames Research Center Conjunctions A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e r 1 2 t

Ames Research Center Propagation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e r 1 2 t 5 1 r

Ames Research Center Propagation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e r 1 2 t 5 1 r 1 5 t 1 15 t

Ames Research Center Combining Tables A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e r 1 2 t 5 1 r 1 5 t 1 15 t 1 5 t

Ames Research Center Discharging Assumptions A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e r 1 2 t 5 1 r 1 5 t 1 15 t 1 5 t

Ames Research Center Propagation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e

Ames Research Center Combining Tables A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e

Ames Research Center Combining Tables A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e

Ames Research Center Ordering A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e DCE CDE AB 1 8

Ames Research Center Achieving Multiple Goals A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e g+g’ g g’ +

Ames Research Center Achieving Multiple Goals A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e g+g’ g g’ 5 g+g’ g g’ 25830

Ames Research Center Goal Annotation A E B e 5 (1, 5) (3, 3) (10, 15) (2, 2) C D st r q p g g’ e g g g’ g+g’ g g’ 5 g+g’ g g’ 25830

Ames Research Center Just in Case (JIC) Planning 1. Seed plan 2.Identify best branch point 3.Generate a contingency branch 5. Evaluate & Integrate the branch ? ? ? Construct plangraph Back-propagate value tables Compute gain Select branch condition & goals ? r VbVb VmVm

Ames Research Center Estimating Branch Value V1V1 V2V2 V3V3 V4V4 V r V r V r Max V r

Ames Research Center Plan Statistics r V1V1 V2V2 V3V3 V4V4 P r plan value function resource probability VmVm VbVb r

Ames Research Center Expected Branch Gain V1V1 V2V2 V3V3 V4V4 P r Gain = ∫ P(r) max{0,V b (r) - V m (r)} dr ∞ 0 VbVb r r VbVb VmVm

Ames Research Center Selecting the Branch Condition V1V1 V2V2 V3V3 V4V4 P r branch condition r VbVb VmVm VbVb r branch condition

Ames Research Center Selecting Branch Goals r V1V1 V2V2 V3V3 V4V4 P r branch goals g1g1 g3g3 g3g3 g1g1 VbVb r r VbVb VmVm

Ames Research Center Evaluating the Branch 1. Seed plan 2.Identify best branch point 3.Generate a contingency branch 4.Evaluate & integrate the branch ? ? ? ? r VbVb VmVm Compute value function Compute actual gain

Ames Research Center Actual Branch Gain r VbVb P r Gain = ∫ P(r) max{0,V b (r) - V m (r)} dr ∞ 0 VmVm r VbVb Branch value function actual branch condition

Ames Research Center Remarks: Single Plangraph 1. Seed plan 2.Identify best branch point 3.Generate a contingency branch 5. Evaluate & Integrate the branch ? ? ? Construct plangraph Back-propagate value tables Compute gain Select branch condition & goals ? r VbVb VmVm

Ames Research Center Plan Graph g1g1 g2g2 g3g3 g4g4 V1V1 V2V2 V3V3 V4V4 r r r r

Ames Research Center Branch Initial Conditions g1g1 g2g2 g3g3 g4g4 V1V1 V2V2 V3V3 V4V4 r r r r v r v r v r v r v r {p} {q,r} {p,r}

Ames Research Center Single Plangraph 1. Seed plan 2.Identify best branch point 3.Generate a contingency branch 4.Evaluate & integrate the branch ? ? ? ? r VbVb VmVm Discharge conditions Compute gain Select branch condition & goals Construct single plangraph Back-propagate value tables

Ames Research Center Issues Sensor costs Setup steps Utility updates Floating contingencies Drive (-1)Dig(5)Visual servo (.2, -.15)Hi res Warm NIR Lo resRock finderNIR [11,14:00] Visual servoHi resVisual servoNIR V = 100 V’ = 30 Lo resRock finderNIR Drive (-1)Dig(5)Visual servo (.2, -.15)Hi res?

Ames Research Center The End.