Improving Market-Based Task Allocation with Optimal Seed Schedules IAS-11, Ottawa. September 1, 2010 G. Ayorkor Korsah 1 Balajee Kannan 1, Imran Fanaswala.

Slides:



Advertisements
Similar presentations
QoS-based Management of Multiple Shared Resources in Dynamic Real-Time Systems Klaus Ecker, Frank Drews School of EECS, Ohio University, Athens, OH {ecker,
Advertisements

1 University of Southern California Keep the Adversary Guessing: Agent Security by Policy Randomization Praveen Paruchuri University of Southern California.
Modified MDPs for Concurrent Execution AnYuan Guo Victor Lesser University of Massachusetts.
EE 553 Integer Programming
Lecture 10: Integer Programming & Branch-and-Bound
Shuai Li and Cheng-Kok Koh School of Electrical and Computer Engineering, Purdue University West Lafayette, IN, Mixed Integer Programming Models.
Scenario Trees and Metaheuristics for Stochastic Inventory Routing Problems DOMinant Workshop, Molde, Norway, September , 2009 Lars Magnus Hvattum.
Branch & Bound Algorithms
1 E190Q – Project Introduction Autonomous Robot Navigation Team Member 1 Name Team Member 2 Name.
Victor Marmol Advisor: M. Bernardine Dias, Ph.D. Mentor: Balajee Kannan, Ph.D. Market-Based Coordination of Recharging Robots Autonomous.
4 Feb 2004CS Constraint Satisfaction1 Constraint Satisfaction Problems Chapter 5 Section 1 – 3.
Integer Programming – based Decomposition Approaches for Solving Machine Scheduling Problems Ruslan SADYKOV Ecole Polytechnique, Laboratoire d’Informatique.
Unifying Local and Exhaustive Search John Hooker Carnegie Mellon University September 2005.
Dynamic lot sizing and tool management in automated manufacturing systems M. Selim Aktürk, Siraceddin Önen presented by Zümbül Bulut.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 5: February 2, 2009 Architecture Synthesis (Provisioning, Allocation)
Institute for Visualization and Perception Research 1 © Copyright 1998 Haim Levkowitz Automated negotiations The best terms for all concerned Tuomas Sandholm.
Multirobot Coordination in USAR Katia Sycara The Robotics Institute
Opportunistic Optimization for Market-Based Multirobot Control M. Bernardine Dias and Anthony Stentz Presented by: Wenjin Zhou.
Branch and Bound Algorithm for Solving Integer Linear Programming
1 Planning and Scheduling to Minimize Tardiness John Hooker Carnegie Mellon University September 2005.
Multi-item auctions & exchanges (multiple distinguishable items for sale) Tuomas Sandholm Carnegie Mellon University.
WECWIS, June 27, 2002 On the Sensitivity of Incremental Algorithms for Combinatorial Auctions Ryan Kastner, Christina Hsieh, Miodrag Potkonjak, Majid Sarrafzadeh.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 5: February 2, 2009 Architecture Synthesis (Provisioning, Allocation)
Daniel Kroening and Ofer Strichman Decision Procedures An Algorithmic Point of View Deciding ILPs with Branch & Bound ILP References: ‘Integer Programming’
Aeronautics & Astronautics Autonomous Flight Systems Laboratory All slides and material copyright of University of Washington Autonomous Flight Systems.
Toshihide IBARAKI Mikio KUBO Tomoyasu MASUDA Takeaki UNO Mutsunori YAGIURA Effective Local Search Algorithms for the Vehicle Routing Problem with General.
 Optimal Packing of High- Precision Rectangles By Eric Huang & Richard E. Korf 25 th AAAI Conference, 2011 Florida Institute of Technology CSE 5694 Robotics.
Decision Procedures An Algorithmic Point of View
1.3 Modeling with exponentially many constr.  Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting.
Column Generation Approach for Operating Rooms Planning Mehdi LAMIRI, Xiaolan XIE and ZHANG Shuguang Industrial Engineering and Computer Sciences Division.
Trust-based Multi-Objective Optimization for Node-to-Task Assignment in Coalition Networks 1 Jin-Hee Cho, Ing-Ray Chen, Yating Wang, and Kevin S. Chan.
Linear Programming Topics General optimization model LP model and assumptions Manufacturing example Characteristics of solutions Sensitivity analysis Excel.
An Online Auction Framework for Dynamic Resource Provisioning in Cloud Computing Weijie Shi*, Linquan Zhang +, Chuan Wu*, Zongpeng Li +, Francis C.M. Lau*
Introduction to Job Shop Scheduling Problem Qianjun Xu Oct. 30, 2001.
October 21 – BNAIC 2004 Jonne Zutt and Cees Witteveen Multi-Agent Transport Planning Delft University of Technology.
Logical Topology Design
Hande ÇAKIN IES 503 TERM PROJECT CONSTRAINT SATISFACTION PROBLEMS.
Approximate Dynamic Programming Methods for Resource Constrained Sensor Management John W. Fisher III, Jason L. Williams and Alan S. Willsky MIT CSAIL.
1 Short Term Scheduling. 2  Planning horizon is short  Multiple unique jobs (tasks) with varying processing times and due dates  Multiple unique jobs.
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
1 Outline:  Optimization of Timed Systems  TA-Modeling of Scheduling Tasks  Transformation of TA into Mixed-Integer Programs  Tree Search for TA using.
“LOGISTICS MODELS” Andrés Weintraub P
Column Generation By Soumitra Pal Under the guidance of Prof. A. G. Ranade.
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
CHAPTER 5 SECTION 1 – 3 4 Feb 2004 CS Constraint Satisfaction 1 Constraint Satisfaction Problems.
Branch and Bound Algorithms Present by Tina Yang Qianmei Feng.
Chapter 2. Optimal Trees and Paths Combinatorial Optimization
Bounded Optimal Coordination for Human-Robot Teams G. Ayorkor Mills-Tettey Thesis Proposal: 12 th December 2008 Committee: Anthony Stentz, M. Bernardine.
EMIS 8373: Integer Programming Column Generation updated 12 April 2005.
Hub Location–Allocation in Intermodal Logistic Networks Hüseyin Utku KIYMAZ.
A* optimality proof, cycle checking CPSC 322 – Search 5 Textbook § 3.6 and January 21, 2011 Taught by Mike Chiang.
September 28, 2000 Improved Simultaneous Data Reconciliation, Bias Detection and Identification Using Mixed Integer Optimization Methods Presented by:
Chapter 5 Team Teaching AI (created by Dewi Liliana) PTIIK Constraint Satisfaction Problems.
Finding Optimal Solutions to Cooperative Pathfinding Problems Trevor Standley Computer Science Department University of California, Los Angeles
A Two-Phase Linear programming Approach for Redundancy Problems by Yi-Chih HSIEH Department of Industrial Management National Huwei Institute of Technology.
© P. Pongcharoen CCSI/1 Scheduling Complex Products using Genetic Algorithms with Alternative Fitness Functions P. Pongcharoen, C. Hicks, P.M. Braiden.
Constraint Programming for the Diameter Constrained Minimum Spanning Tree Problem Thiago F. Noronha Celso C. Ribeiro Andréa C. Santos.
1 Chapter 6 Reformulation-Linearization Technique and Applications.
Water resources planning and management by use of generalized Benders decomposition method to solve large-scale MINLP problems By Prof. André A. Keller.
Dynamic Pickup and Delivery with Transfers
Data Driven Resource Allocation for Distributed Learning
Evolutionary Technique for Combinatorial Reverse Auctions
E190Q – Project Introduction Autonomous Robot Navigation
1.3 Modeling with exponentially many constr.
Chapter 6. Large Scale Optimization
1.3 Modeling with exponentially many constr.
Planning and Scheduling in Manufacturing and Services
Market-based Dynamic Task Allocation in Mobile Surveillance Systems
Chapter 6. Large Scale Optimization
Presentation transcript:

Improving Market-Based Task Allocation with Optimal Seed Schedules IAS-11, Ottawa. September 1, 2010 G. Ayorkor Korsah 1 Balajee Kannan 1, Imran Fanaswala 2, Bernardine Dias 1,2 1 Robotics Institute, Carnegie Mellon University 2 CS Department, Carnegie Mellon Qatar

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 2 Task Allocation  Key component of planning for team coordination  Example: disaster preparedness and response

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 3 Tradeoff: Optimality vs. Adaptivity  Optimality guarantees  Slow to compute  not suitable for dynamic problems  No optimality guarantees  Fast to compute  suitable for dynamic problems Optimal & Centralized Approaches e.g. Mathematical Programming Heuristic & Decentralized Approaches e.g. Market-Based Approaches A task at (4, 2) I can do it for $73 It will cost me $80

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 4 Real-World Problems  Many real-world problems have both static and dynamic components  Some tasks known ahead of time, or some likely scenarios known ahead of time  New tasks arrive in real time and changed information discovered in real time

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 5 Proposed Approach  Optimally pre-allocate static tasks then adapt plan (heuristically) as needed to handle dynamic situations  Can pre-compute several initial plans for various likely scenarios

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 6 Approach Overview Mathematical Programming Approach Used to compute optimal solution to the static component of the problem Use a branch-and-price approach Market-Based Approach for Dynamism Used to modify the initial optimal seed schedule to handle dynamic component of the problem Use TraderBots Problem Decomposition Identify static and dynamic components of problem

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 7 Mathematical Model: Set-Partioning Integer Linear Program (ILP) Formulation Objective Function (e.g. Total Team Distance) One route per agent One agent per task Minimize: Subject to constraints: “Route” = candidate time extended plan/task allocation for an agent

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 8 Branch-and-Price Approach Summary  Based on Branch-and-Bound  Useful when variables cannot be exhaustively enumerated (in our case, route variables)  Allows progressive generation and inclusion of profitable variables (in our case, routes)  Enables computation of the optimal ILP solution

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 9 Market-Based Approach Summary  Tasks are assigned via auctions  Agents bid the marginal cost to perform the new task  Task is awarded to the lowest bidder  Centralized or decentralized  Tasks auctioned by central operator or by individual agents My bid: $280 My bid: $101 My bid: $73 Task at (3.5) Winner!

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 10 Proposed Seeded Market-Based Approach  Start out with the initial optimal plan  Use market-based approach to modify the optimal plan as changes occur  Hold auctions for new tasks as they arrive  Hold auctions for previously assigned tasks if needed (environmental changes/ execution failure) Task at (3.5) My bid: $280 My bid: $101 My bid: $73

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 11 Experiments  In simulation & on robots  Tasks:  Visit specified location  Objective function:  Minimize total distance travelled by team

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 12 Experiments  Compare:  Post-execution evaluation:  “Hindsight optimal” plan (Optimal branch-and-price for static & dynamic tasks)  “Pure” Market-Based Plan (Auctions for static & dynamic tasks)  Seeded Market-Based Plan (Branch-and-price for static & auctions for dynamic tasks) Team distance for (Seeded) Market-based plan Suboptimality factor = Team distance for “Hindsight Optimal” plan

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 13 Experimental Procedure Use branch-and-price to compute initial optimal plan for static tasks Begin execution of computed plans Continue execution, handling dynamism with market-based approach Compute “hindsight” optimal plan for static & dynamic tasks Compute “Sub-optimality factor” Task at (4, 2) $73 (Seeded) Market-based = “Hindsight Optimal” Complete Execution

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 14 Results: Simulation 2 agents, 12 tasks 2 agents, 16 tasks 5 agents, 20 tasks (averaged over 5 random instances for each problem configuration) Observation: With high % static tasks we see benefit of seeded market based approach

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 15 Median Planning Times for Branch-and- Price Planner (Simulation Experiments) Terminated (timed-out) prior to proving optimality of solution Observation: Combinatorial nature of the optimal planning problem

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 16 Results: Robots 2 robots, 11 tasks (6 static) (averaged over 5 runs for each approach) Observation: more significant improvement of seeded market-based approach over pure market-based approach than in simulation.

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 17 Conclusion  Contributions:  A seeded market-based approach for task allocation  Current & future directions:  Finer-grained characterization of seeded market- based approach  Handling inter-task order constraints (precedence, simultaneity, etc)

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 18 Acknowledgments  Sponsors: Qatar National Research Fund (QNRF) under contract NPRP  Collaborators:  Anthony Stentz  M. Freddie Dias  Ameer Abdulsalam  Wael Ghazzawi  Victor Marmol  Jaime Bourne

Thank you! Questions?

Extra Slides

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 21 Branch-and-Price A B E C D Start out with a subset of feasible routes

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 22 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 23 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 24 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 25 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 26 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes If constraints violated, branch AB & together

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 27 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes If constraints violated, branch AB & together

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 28 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes AB & together If constraints violated, branch

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 29 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes AB & together If constraints violated, branch

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 30 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes Prune nodes if possible If constraints violated, branch AB & together

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 31 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes AB & together AD & not together Prune nodes if possible If constraints violated, branch

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 32 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes AB & together Repeat till no more violated constraints and no more nodes to process AD & not together Prune nodes if possible If constraints violated, branch

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 33 Branch-and-Price A B E C D Start out with a subset of feasible routes Solve a relaxed version of the problem Generate additional profitable routes Repeat till no more profitable routes AB & together Repeat till no more violated constraints and no more nodes to process AD & not together Prune nodes if possible If constraints violated, branch Finds optimal solution!

Korsah, Kannan, Fanaswala, Dias. “Improving Market-Based Task Allocation…” 34 Branch-and-price summary Master Problem: Tries to assign known routes to agents by solving a mixed integer linear programming problem using branch-and-bound Sub problem: At each node, generates additional useful routes to consider by solving a constrained shortest-route problem based on dual variables of master problem (column generation)  Start out with a subset of known routes r 0, r 1, r 2, r 3, r 4, r 5 … Solve by searching a multi- dimensional space: DD* Lite Depth-1 st search