Optimal Dispatching of Welding Robots

Size: px
Start display at page:

Download "Optimal Dispatching of Welding Robots"

Transcription

1 Optimal Dispatching of Welding Robots Cornelius Schwarz and Jörg Rambau Lehrstuhl für Wirtschaftsmathematik Universität Bayreuth Germany Aussois January 2009

2 Application: Laser Welding in Car Body Shops

3 Application: Laser Welding in Car Body Shops Question How many laser sources are needed to supply the robots with energy only one at a time such that all weldings jobs can be processed in a given time?

4 The Laser Sharing Problem (LSP)

5 The Laser Sharing Problem (LSP) Given Robots, jobs, laser sources

6 The Laser Sharing Problem (LSP) Given Robots, jobs, laser sources Task Find an assignment of jobs to robots and robots to laser sources and a scheduled tour (i. e., an order of job start and end points with start and end times) for every robot so that all jobs are served robots assigned to identical laser sources do not weld simultaneously the makespan is minimized

7 The Laser Sharing Problem (LSP) Given Robots, jobs, laser sources Task Find an assignment of jobs to robots and robots to laser sources and a scheduled tour (i. e., an order of job start and end points with start and end times) for every robot so that all jobs are served robots assigned to identical laser sources do not weld simultaneously the makespan is minimized Observation: LSP is NP-hard (reduction of TSP)

8 The Laser Sharing Problem (LSP) Given Robots, jobs, laser sources Task Find an assignment of jobs to robots and robots to laser sources and a scheduled tour (i. e., an order of job start and end points with start and end times) for every robot so that all jobs are served robots assigned to identical laser sources do not weld simultaneously the makespan is minimized Observation: LSP is NP-hard (reduction of TSP) Remark: Collision avoidance skipped for the moment

9 The Laser Sharing Problem (LSP) Given Robots, jobs, laser sources Task Find an assignment of jobs to robots and robots to laser sources and a scheduled tour (i. e., an order of job start and end points with start and end times) for every robot so that all jobs are served robots assigned to identical laser sources do not weld simultaneously the makespan is minimized Observation: LSP is NP-hard (reduction of TSP) Remark: Collision avoidance skipped for the moment Problem: Driving times artificial data for computational results

10 Goal

11 Goal Solve LSP of industrial scale 30 jobs, 6 robots, 6 laser sources

12 Goal Solve LSP of industrial scale 30 jobs, 6 robots, 6 laser sources So far: [Tuchscherer et. al. 2006]: 34 jobs for fixed robot paths with MILP and cplex [Schneider 2006]: 14 jobs, 3 robots, 3 laser sources (3 4 days CPU-time)

13 Goal Solve LSP of industrial scale 30 jobs, 6 robots, 6 laser sources So far: [Tuchscherer et. al. 2006]: 34 jobs for fixed robot paths with MILP and cplex [Schneider 2006]: 14 jobs, 3 robots, 3 laser sources (3 4 days CPU-time) New: [R. & Schwarz 2008] 34 jobs, 3 robots, 1 3 laser sources solved to optimality in 16 min 32 jobs, 3 robots, 1 3 laser sources solved to optimality in 340 h (optimal solution found in 17 min with provable gap < 1 %)

14 LP Bounds LP Bounds for 2 to 34 jobs linear ordering time expanded network 300 gap in % number of jobs

15 LP Bounds LP Bounds for 2 to 34 jobs linear ordering time expanded network 300 gap in % number of jobs Makespan weak LP Bounds

16 1-Server Problem welding lines possible transversal lines

17 1-Server Problem welding lines possible transversal lines 1 robot only rural postman problem

18 1-Server Problem welding lines possible transversal lines 1 robot only rural postman problem NP-hard, but fast solvable for the scale of the LSP ( 30 jobs)

19 1-Server Problem welding lines possible transversal lines 1 robot only rural postman problem NP-hard, but fast solvable for the scale of the LSP ( 30 jobs) (e.g., by concorde [Applegate, Bixby, Chvátal, Cook])

20 Combinatorial Bounds Idea LSP with Fixed Assignments Assume: robot-laser assignment (r) {laser sources} job-robot assignment (r) {jobs} LSP(, )

21 Combinatorial Bounds Idea LSP with Fixed Assignments Assume: robot-laser assignment (r) {laser sources} job-robot assignment (r) {jobs} LSP(, ) Given a partial scheduled tour or,(p 1,q 1,t 1 ),...,(p nr,q nr,t nr ) completion by solving 1-server problem through remaining jobs lower bound for LSP(, ).

22 Combinatorial Bounds Idea LSP with Fixed Assignments Assume: robot-laser assignment (r) {laser sources} job-robot assignment (r) {jobs} LSP(, ) Given a partial scheduled tour or,(p 1,q 1,t 1 ),...,(p nr,q nr,t nr ) completion by solving 1-server problem through remaining jobs lower bound for LSP(, ). Branch-and-Bound (B&B) over partial scheduled tours

23 Combinatorial bounds Subproblem b 1 partial scheduled tours a R welding lines given transversal lines S R S a b time?

24 Combinatorial bounds Subproblem subproblem b 1 a R start position end position welding lines given transversal lines possible transversal lines S R S a b time?

25 Combinatorial Bounds Subproblem Solution solution of subproblem b 1 a R start position end position welding lines given transversal lines S transversal lines of 1-server solution R S a b time

26 Combinatorial Bounds Subproblem Solution solution of subproblem b 1 a R start position end position welding lines given transversal lines S transversal lines of 1-server solution R S a b time not feasible!

27 Combinatorial Bounds Subproblem Solution feasible heuristic solution b 1 a R welding lines transversal lines S R S a b time Bonus: Fixed tour algorithm (e.g., Tuchscherer) feasible solution

28 Computational Results for Fixed Assignments LP Bounds for 2 to 34 jobs for fixed assignment linear ordering time expanded network combinatorial relaxation gap in % number of jobs

29 Computational Results for Fixed Assignments LP Bounds for 2 to 34 jobs for fixed assignment linear ordering time expanded network combinatorial relaxation gap in % number of jobs Observations Combinatorial bounds yield much better gaps. Evaluation very fast (< 0.1 s) using concorde.

30 Solving the LSP

31 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B

32 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment:

33 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment: 1. partial assignments nodes

34 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment: 1. partial assignments nodes 2. 1-server problems lower bounds

35 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment: 1. partial assignments nodes 2. 1-server problems lower bounds TSP again!

36 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment: 1. partial assignments nodes 2. 1-server problems lower bounds 3. schedule fixed tours upper bounds (only leaves)

37 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment: 1. partial assignments nodes 2. 1-server problems lower bounds 3. schedule fixed tours upper bounds (only leaves) 4. leaf lower bound upper bound candidate

38 Solving the LSP Finding an optimal assignment robot-laser assignment by simple enumeration (few candidates) job-robot assignment by B&B B&B for job-robot assignment: 1. partial assignments nodes 2. 1-server problems lower bounds 3. schedule fixed tours upper bounds (only leaves) 4. leaf lower bound upper bound candidate 5. node lower bound > upper bound pruning

39 Collisions

40 Collision model Collisions

41 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time

42 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time line-point collisions: robot movement and a robot position that must not overlap in time (important, since waiting robots are obstacles!)

43 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time line-point collisions: robot movement and a robot position that must not overlap in time (important, since waiting robots are obstacles!) Very important:

44 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time line-point collisions: robot movement and a robot position that must not overlap in time (important, since waiting robots are obstacles!) Very important: Tuchscherer scheduling + collision-avoidance collision-free Tuchscherer scheduling (MILP)

45 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time line-point collisions: robot movement and a robot position that must not overlap in time (important, since waiting robots are obstacles!) Very important: Tuchscherer scheduling + collision-avoidance collision-free Tuchscherer scheduling (MILP) New B&B node: partial tours for each robot (not scheduled)

46 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time line-point collisions: robot movement and a robot position that must not overlap in time (important, since waiting robots are obstacles!) Very important: Tuchscherer scheduling + collision-avoidance collision-free Tuchscherer scheduling (MILP) New B&B node: partial tours for each robot (not scheduled) Lower bound by (Tuchscherer scheduling of partial tours) plus (1-server solutions for the rest)

47 Collision model Collisions line-line collisions: pair of robot movements that must not overlap in time line-point collisions: robot movement and a robot position that must not overlap in time (important, since waiting robots are obstacles!) Very important: Tuchscherer scheduling + collision-avoidance collision-free Tuchscherer scheduling (MILP) New B&B node: partial tours for each robot (not scheduled) Lower bound by (Tuchscherer scheduling of partial tours) plus (1-server solutions for the rest) Upper bound by (collision-free Tuchscherer scheduling of (partial tours plus 1-server solutions for the rest))

48 Conclusions Benefit of combinatorial bounds Sometimes better bounds than LP based ones Key observation: Large scale (original problem) small scale (subproblem)

49 Conclusions Benefit of combinatorial bounds Sometimes better bounds than LP based ones Key observation: Large scale (original problem) small scale (subproblem) Future directions: Verify results with realistic robot driving times (e. g., calculated by SimPro from Kuka) Other applications (winter gritting, )

50 Conclusions Benefit of combinatorial bounds Sometimes better bounds than LP based ones Key observation: Large scale (original problem) small scale (subproblem) Future directions: Verify results with realistic robot driving times (e. g., calculated by SimPro from Kuka) Other applications (winter gritting, ) Thank you!

Surveillance strategies for autonomous mobile robots. Nicola Basilico Department of Computer Science University of Milan

Surveillance strategies for autonomous mobile robots. Nicola Basilico Department of Computer Science University of Milan Surveillance strategies for autonomous mobile robots Nicola Basilico Department of Computer Science University of Milan Intelligence, surveillance, and reconnaissance (ISR) with autonomous UAVs ISR defines

More information

Column Generation. A short Introduction. Martin Riedler. AC Retreat

Column Generation. A short Introduction. Martin Riedler. AC Retreat Column Generation A short Introduction Martin Riedler AC Retreat Contents 1 Introduction 2 Motivation 3 Further Notes MR Column Generation June 29 July 1 2 / 13 Basic Idea We already heard about Cutting

More information

Computing Explanations for the Unary Resource Constraint

Computing Explanations for the Unary Resource Constraint Computing Explanations for the Unary Resource Constraint Petr Vilím Charles University Faculty of Mathematics and Physics Malostranské náměstí 2/25, Praha 1, Czech Republic vilim@kti.mff.cuni.cz Abstract.

More information

Two-stage column generation and applications in container terminal management

Two-stage column generation and applications in container terminal management Two-stage column generation and applications in container terminal management Ilaria Vacca Matteo Salani Michel Bierlaire Transport and Mobility Laboratory EPFL 8th Swiss Transport Research Conference

More information

Chapter 12. Cross-Layer Optimization for Multi- Hop Cognitive Radio Networks

Chapter 12. Cross-Layer Optimization for Multi- Hop Cognitive Radio Networks Chapter 12 Cross-Layer Optimization for Multi- Hop Cognitive Radio Networks 1 Outline CR network (CRN) properties Mathematical models at multiple layers Case study 2 Traditional Radio vs CR Traditional

More information

Transportation Timetabling

Transportation Timetabling Outline DM87 SCHEDULING, TIMETABLING AND ROUTING 1. Sports Timetabling Lecture 16 Transportation Timetabling Marco Chiarandini 2. Transportation Timetabling Tanker Scheduling Air Transport Train Timetabling

More information

CSC384 Introduction to Artificial Intelligence : Heuristic Search

CSC384 Introduction to Artificial Intelligence : Heuristic Search CSC384 Introduction to Artificial Intelligence : Heuristic Search September 18, 2014 September 18, 2014 1 / 12 Heuristic Search (A ) Primary concerns in heuristic search: Completeness Optimality Time complexity

More information

An Experimental Comparison of Path Planning Techniques for Teams of Mobile Robots

An Experimental Comparison of Path Planning Techniques for Teams of Mobile Robots An Experimental Comparison of Path Planning Techniques for Teams of Mobile Robots Maren Bennewitz Wolfram Burgard Department of Computer Science, University of Freiburg, 7911 Freiburg, Germany maren,burgard

More information

2 person perfect information

2 person perfect information Why Study Games? Games offer: Intellectual Engagement Abstraction Representability Performance Measure Not all games are suitable for AI research. We will restrict ourselves to 2 person perfect information

More information

ARTIFICIAL INTELLIGENCE (CS 370D)

ARTIFICIAL INTELLIGENCE (CS 370D) Princess Nora University Faculty of Computer & Information Systems ARTIFICIAL INTELLIGENCE (CS 370D) (CHAPTER-5) ADVERSARIAL SEARCH ADVERSARIAL SEARCH Optimal decisions Min algorithm α-β pruning Imperfect,

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 20. Combinatorial Optimization: Introduction and Hill-Climbing Malte Helmert Universität Basel April 8, 2016 Combinatorial Optimization Introduction previous chapters:

More information

Playing Games. Henry Z. Lo. June 23, We consider writing AI to play games with the following properties:

Playing Games. Henry Z. Lo. June 23, We consider writing AI to play games with the following properties: Playing Games Henry Z. Lo June 23, 2014 1 Games We consider writing AI to play games with the following properties: Two players. Determinism: no chance is involved; game state based purely on decisions

More information

Rolling Partial Rescheduling with Dual Objectives for Single Machine Subject to Disruptions 1)

Rolling Partial Rescheduling with Dual Objectives for Single Machine Subject to Disruptions 1) Vol.32, No.5 ACTA AUTOMATICA SINICA September, 2006 Rolling Partial Rescheduling with Dual Objectives for Single Machine Subject to Disruptions 1) WANG Bing 1,2 XI Yu-Geng 2 1 (School of Information Engineering,

More information

Scheduling. Radek Mařík. April 28, 2015 FEE CTU, K Radek Mařík Scheduling April 28, / 48

Scheduling. Radek Mařík. April 28, 2015 FEE CTU, K Radek Mařík Scheduling April 28, / 48 Scheduling Radek Mařík FEE CTU, K13132 April 28, 2015 Radek Mařík (marikr@fel.cvut.cz) Scheduling April 28, 2015 1 / 48 Outline 1 Introduction to Scheduling Methodology Overview 2 Classification of Scheduling

More information

Games and Adversarial Search II

Games and Adversarial Search II Games and Adversarial Search II Alpha-Beta Pruning (AIMA 5.3) Some slides adapted from Richard Lathrop, USC/ISI, CS 271 Review: The Minimax Rule Idea: Make the best move for MAX assuming that MIN always

More information

Simultaneous optimization of channel and power allocation for wireless cities

Simultaneous optimization of channel and power allocation for wireless cities Simultaneous optimization of channel and power allocation for wireless cities M. R. Tijmes BSc BT Mobility Research Centre Complexity Research Group Adastral Park Martlesham Heath, Suffolk IP5 3RE United

More information

06M1 Lecture Frequency Assignment for GSM Mobile Phone Systems

06M1 Lecture Frequency Assignment for GSM Mobile Phone Systems 06M1 Lecture Frequency Assignment for GSM Mobile Phone Systems Martin Grötschel Block Course at TU Berlin "Combinatorial Optimization at Work October 4 15, 2005 Martin Grötschel groetschel@zib.de Institut

More information

AIMA 3.5. Smarter Search. David Cline

AIMA 3.5. Smarter Search. David Cline AIMA 3.5 Smarter Search David Cline Uninformed search Depth-first Depth-limited Iterative deepening Breadth-first Bidirectional search None of these searches take into account how close you are to the

More information

W CDMA Network Design

W CDMA Network Design Technical Report 03-EMIS-02 W CDMA Network Design Qibin Cai 1 Joakim Kalvenes 2 Jeffery Kennington 1 Eli Olinick 1 1 {qcai,jlk,olinick}@engr.smu.edu School of Engineering Southern Methodist University

More information

Control of the Contract of a Public Transport Service

Control of the Contract of a Public Transport Service Control of the Contract of a Public Transport Service Andrea Lodi, Enrico Malaguti, Nicolás E. Stier-Moses Tommaso Bonino DEIS, University of Bologna Graduate School of Business, Columbia University SRM

More information

Build Order Optimization in StarCraft

Build Order Optimization in StarCraft Build Order Optimization in StarCraft David Churchill and Michael Buro Daniel Federau Universität Basel 19. November 2015 Motivation planning can be used in real-time strategy games (RTS), e.g. pathfinding

More information

10/5/2015. Constraint Satisfaction Problems. Example: Cryptarithmetic. Example: Map-coloring. Example: Map-coloring. Constraint Satisfaction Problems

10/5/2015. Constraint Satisfaction Problems. Example: Cryptarithmetic. Example: Map-coloring. Example: Map-coloring. Constraint Satisfaction Problems 0/5/05 Constraint Satisfaction Problems Constraint Satisfaction Problems AIMA: Chapter 6 A CSP consists of: Finite set of X, X,, X n Nonempty domain of possible values for each variable D, D, D n where

More information

Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban

Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban André G. Pereira Federal University

More information

A Column Generation Method for Spatial TDMA Scheduling in Ad Hoc Networks

A Column Generation Method for Spatial TDMA Scheduling in Ad Hoc Networks A Column Generation Method for Spatial TDMA Scheduling in Ad Hoc Networks Patrik Björklund, Peter Värbrand, Di Yuan Department of Science and Technology, Linköping Institute of Technology, SE-601 74, Norrköping,

More information

Optimization of On-line Appointment Scheduling

Optimization of On-line Appointment Scheduling Optimization of On-line Appointment Scheduling Brian Denton Edward P. Fitts Department of Industrial and Systems Engineering North Carolina State University Tsinghua University, Beijing, China May, 2012

More information

Problem 1. (15 points) Consider the so-called Cryptarithmetic problem shown below.

Problem 1. (15 points) Consider the so-called Cryptarithmetic problem shown below. ECS 170 - Intro to Artificial Intelligence Suggested Solutions Mid-term Examination (100 points) Open textbook and open notes only Show your work clearly Winter 2003 Problem 1. (15 points) Consider the

More information

Scheduling and sequencing in four machines robotic cell: Application of genetic algorithm and enumeration techniques

Scheduling and sequencing in four machines robotic cell: Application of genetic algorithm and enumeration techniques Ain Shams Engineering Journal (2013), 65 7 Ain Shams University Ain Shams Engineering Journal www.elsevier.com/locate/asej www.sciencedirect.com MECHANICAL ENGINEERING Scheduling and sequencing in four

More information

Adversarial Search and Game- Playing C H A P T E R 6 C M P T : S P R I N G H A S S A N K H O S R A V I

Adversarial Search and Game- Playing C H A P T E R 6 C M P T : S P R I N G H A S S A N K H O S R A V I Adversarial Search and Game- Playing C H A P T E R 6 C M P T 3 1 0 : S P R I N G 2 0 1 1 H A S S A N K H O S R A V I Adversarial Search Examine the problems that arise when we try to plan ahead in a world

More information

Relay Placement in Sensor Networks

Relay Placement in Sensor Networks Relay Placement in Sensor Networks Jukka Suomela 14 October 2005 Contents: Wireless Sensor Networks? Relay Placement? Problem Classes Computational Complexity Approximation Algorithms HIIT BRU, Adaptive

More information

5.4 Imperfect, Real-Time Decisions

5.4 Imperfect, Real-Time Decisions 5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the generation

More information

W-CDMA network design. Joakim Kalvenes. Jeffery Kennington and Eli V. Olinick

W-CDMA network design. Joakim Kalvenes. Jeffery Kennington and Eli V. Olinick Int. J. Mobile Network Design and Innovation, Vol. X, No. Y, XXXX 1 W-CDMA network design Qibin Cai* Verizon Business, Network Engineering Systems, Richardson, TX, USA E-mail: kevin.cai@verizonbusiness.com

More information

Computer Science and Software Engineering University of Wisconsin - Platteville. 4. Game Play. CS 3030 Lecture Notes Yan Shi UW-Platteville

Computer Science and Software Engineering University of Wisconsin - Platteville. 4. Game Play. CS 3030 Lecture Notes Yan Shi UW-Platteville Computer Science and Software Engineering University of Wisconsin - Platteville 4. Game Play CS 3030 Lecture Notes Yan Shi UW-Platteville Read: Textbook Chapter 6 What kind of games? 2-player games Zero-sum

More information

Branch-and-cut for a real-life highly constrained soccer tournament scheduling problem

Branch-and-cut for a real-life highly constrained soccer tournament scheduling problem Branch-and-cut for a real-life highly constrained soccer tournament scheduling problem Guillermo Durán 1, Thiago F. Noronha 2, Celso C. Ribeiro 3, Sebastián Souyris 1, and Andrés Weintraub 1 1 Department

More information

22c:145 Artificial Intelligence

22c:145 Artificial Intelligence 22c:145 Artificial Intelligence Fall 2005 Informed Search and Exploration II Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material

More information

Locally Informed Global Search for Sums of Combinatorial Games

Locally Informed Global Search for Sums of Combinatorial Games Locally Informed Global Search for Sums of Combinatorial Games Martin Müller and Zhichao Li Department of Computing Science, University of Alberta Edmonton, Canada T6G 2E8 mmueller@cs.ualberta.ca, zhichao@ualberta.ca

More information

Planning and scheduling of PPG glass production, model and implementation.

Planning and scheduling of PPG glass production, model and implementation. Planning and scheduling of PPG glass production, model and implementation. Ricardo Lima Ignacio Grossmann rlima@andrew.cmu.edu Carnegie Mellon University Yu Jiao PPG Industries Glass Business and Discovery

More information

UNIVERSITY of PENNSYLVANIA CIS 391/521: Fundamentals of AI Midterm 1, Spring 2010

UNIVERSITY of PENNSYLVANIA CIS 391/521: Fundamentals of AI Midterm 1, Spring 2010 UNIVERSITY of PENNSYLVANIA CIS 391/521: Fundamentals of AI Midterm 1, Spring 2010 Question Points 1 Environments /2 2 Python /18 3 Local and Heuristic Search /35 4 Adversarial Search /20 5 Constraint Satisfaction

More information

MULTI-STAGE TRANSMISSION EXPANSION PLANNING CONSIDERING MULTIPLE DISPATCHES AND CONTINGENCY CRITERION

MULTI-STAGE TRANSMISSION EXPANSION PLANNING CONSIDERING MULTIPLE DISPATCHES AND CONTINGENCY CRITERION MULTI-STAGE TRANSMISSION EXPANSION PLANNING CONSIDERING MULTIPLE DISPATCHES AND CONTINGENCY CRITERION GERSON C. OLIVEIRA, SILVIO BINATO, MARIO V. PEREIRA, LUIZ M. THOMÉ PSR CONSULTORIA LTDA R. VOLUNTARIOS

More information

E190Q Lecture 15 Autonomous Robot Navigation

E190Q Lecture 15 Autonomous Robot Navigation E190Q Lecture 15 Autonomous Robot Navigation Instructor: Chris Clark Semester: Spring 2014 1 Figures courtesy of Probabilistic Robotics (Thrun et. Al.) Control Structures Planning Based Control Prior Knowledge

More information

Combinatorial Problems in Multi-Robot Battery Exchange Systems

Combinatorial Problems in Multi-Robot Battery Exchange Systems IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. XX, NO. X, MONTH 2017 1 Combinatorial Problems in Multi-Robot Battery Exchange Systems Nitin Kamra, T. K. Satish Kumar, and Nora Ayanian, Member,

More information

Applying Topological Constraint Optimization Techniques to Periodic Train Scheduling

Applying Topological Constraint Optimization Techniques to Periodic Train Scheduling Applying Topological Constraint Optimization Techniques to Periodic Train Scheduling M. Abril 2, M.A. Salido 1, F. Barber 2, L. Ingolotti 2, P. Tormos 3, A. Lova 3 DCCIA 1, Universidad de Alicante, Spain

More information

The Multiple Part Type Cyclic Flow Shop Robotic Cell Scheduling Problem: A Novel and Comprehensive Mixed Integer Linear Programming Approach

The Multiple Part Type Cyclic Flow Shop Robotic Cell Scheduling Problem: A Novel and Comprehensive Mixed Integer Linear Programming Approach The Multiple Part Type Cyclic Flow Shop Robotic Cell Scheduling Problem: A Novel and Comprehensive Mixed Integer Linear Programming Approach Atabak Elmi a, Asef Nazari b,, Dhananjay Thiruvady a a School

More information

Multiple Agents. Why can t we all just get along? (Rodney King)

Multiple Agents. Why can t we all just get along? (Rodney King) Multiple Agents Why can t we all just get along? (Rodney King) Nash Equilibriums........................................ 25 Multiple Nash Equilibriums................................. 26 Prisoners Dilemma.......................................

More information

Generalized Game Trees

Generalized Game Trees Generalized Game Trees Richard E. Korf Computer Science Department University of California, Los Angeles Los Angeles, Ca. 90024 Abstract We consider two generalizations of the standard two-player game

More information

The Path Restoration Version of the Spare Capacity Allocation Problem with Modularity Restrictions: Models, Algorithms, and an Empirical Analysis

The Path Restoration Version of the Spare Capacity Allocation Problem with Modularity Restrictions: Models, Algorithms, and an Empirical Analysis The Path Restoration Version of the Spare Capacity Allocation Problem with Modularity Restrictions: Models, Algorithms, and an Empirical Analysis Jeffery L. Kennington Mark W. Lewis Department of Computer

More information

Search In Combinatorial Spaces: Fun with puzzles and games

Search In Combinatorial Spaces: Fun with puzzles and games Search In Combinatorial Spaces: Fun with puzzles and games Bart Massey (Physics '87) Asst. Prof. Computer Science Portland State University bart@cs.pdx.edu Why puzzles and games? Vernor Vinge: Usenix 2005

More information

arxiv: v1 [cs.ds] 6 Sep 2016

arxiv: v1 [cs.ds] 6 Sep 2016 Fleet management for autonomous vehicles Sahar Bsaybes, Alain Quilliot and Annegret K. Wagler Université Blaise Pascal (Clermont-Ferrand II) Laboratoire d Informatique, de Modélisation et d Optimisation

More information

On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case

On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case Rhydian Lewis Cardiff Business School Pryfysgol Caerdydd/ Cardiff University lewisr@cf.ac.uk Talk Plan Introduction:

More information

CSE 473: Artificial Intelligence Fall Outline. Types of Games. Deterministic Games. Previously: Single-Agent Trees. Previously: Value of a State

CSE 473: Artificial Intelligence Fall Outline. Types of Games. Deterministic Games. Previously: Single-Agent Trees. Previously: Value of a State CSE 473: Artificial Intelligence Fall 2014 Adversarial Search Dan Weld Outline Adversarial Search Minimax search α-β search Evaluation functions Expectimax Reminder: Project 1 due Today Based on slides

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 6. Board Games Search Strategies for Games, Games with Chance, State of the Art Joschka Boedecker and Wolfram Burgard and Bernhard Nebel Albert-Ludwigs-Universität

More information

Part VII: VRP - advanced topics

Part VII: VRP - advanced topics Part VII: VRP - advanced topics c R.F. Hartl, S.N. Parragh 1/32 Overview Dealing with TW and duration constraints Solving VRP to optimality c R.F. Hartl, S.N. Parragh 2/32 Dealing with TW and duration

More information

CPS331 Lecture: Search in Games last revised 2/16/10

CPS331 Lecture: Search in Games last revised 2/16/10 CPS331 Lecture: Search in Games last revised 2/16/10 Objectives: 1. To introduce mini-max search 2. To introduce the use of static evaluation functions 3. To introduce alpha-beta pruning Materials: 1.

More information

Greedy algorithms for time frequency allocation in in a SDMA satellite communications system. Erwan CORBEL (Thales)

Greedy algorithms for time frequency allocation in in a SDMA satellite communications system. Erwan CORBEL (Thales) Greedy algorithms for time frequency allocation in in a SDMA satellite communications system Kata KIATMANAROJ, Christian ARTIGUES, Laurent HOUSSIN (LAAS), Erwan CORBEL (Thales) 1 Contents Problem definition

More information

Vehicle routing problems with road-network information

Vehicle routing problems with road-network information 50 Dominique Feillet Mines Saint-Etienne and LIMOS, CMP Georges Charpak, F-13541 Gardanne, France Vehicle routing problems with road-network information ORBEL - Liège, February 1, 2018 Vehicle Routing

More information

Topology Planning for Long Distance Wireless Mesh Networks

Topology Planning for Long Distance Wireless Mesh Networks Topology Planning for Long Distance Wireless Mesh Networks Abstract Cost optimization is an important criterion in technology deployment for developing regions. While IEEE 802.11-based long-distance networks

More information

Adversary Search. Ref: Chapter 5

Adversary Search. Ref: Chapter 5 Adversary Search Ref: Chapter 5 1 Games & A.I. Easy to measure success Easy to represent states Small number of operators Comparison against humans is possible. Many games can be modeled very easily, although

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 6. Board Games Search Strategies for Games, Games with Chance, State of the Art Joschka Boedecker and Wolfram Burgard and Frank Hutter and Bernhard Nebel Albert-Ludwigs-Universität

More information

Decomposition Search A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames

Decomposition Search A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames Decomposition Search Combinatorial Games pproach to Game Tree Search, with pplications to Solving Go Endgames Martin Müller University of lberta Edmonton, Canada Decomposition Search What is decomposition

More information

Planning exploration strategies for simultaneous localization and mapping

Planning exploration strategies for simultaneous localization and mapping Robotics and Autonomous Systems 54 (2006) 314 331 www.elsevier.com/locate/robot Planning exploration strategies for simultaneous localization and mapping Benjamín Tovar a, Lourdes Muñoz-Gómez b, Rafael

More information

On-demand high-capacity ride-sharing via dynamic trip-vehicle assignment - Supplemental Material -

On-demand high-capacity ride-sharing via dynamic trip-vehicle assignment - Supplemental Material - On-demand high-capacity ride-sharing via dynamic trip-vehicle assignment - Supplemental Material - Javier Alonso-Mora, Samitha Samaranayake, Alex Wallar, Emilio Frazzoli and Daniela Rus Abstract Ride sharing

More information

The Freeze-Tag Problem: How to Wake Up a Swarm of Robots

The Freeze-Tag Problem: How to Wake Up a Swarm of Robots The Freeze-Tag Problem: How to Wake Up a Swarm of Robots Esther M. Arkin Michael A. Bender Sándor P. Fekete Joseph S. B. Mitchell Martin Skutella Abstract An optimization problem that naturally arises

More information

Optimized Periodic Broadcast of Non-linear Media

Optimized Periodic Broadcast of Non-linear Media Optimized Periodic Broadcast of Non-linear Media Niklas Carlsson Anirban Mahanti Zongpeng Li Derek Eager Department of Computer Science, University of Saskatchewan, Saskatoon, Canada Department of Computer

More information

Bit Reversal Broadcast Scheduling for Ad Hoc Systems

Bit Reversal Broadcast Scheduling for Ad Hoc Systems Bit Reversal Broadcast Scheduling for Ad Hoc Systems Marcin Kik, Maciej Gebala, Mirosław Wrocław University of Technology, Poland IDCS 2013, Hangzhou How to broadcast efficiently? Broadcasting ad hoc systems

More information

Utilization-Aware Adaptive Back-Pressure Traffic Signal Control

Utilization-Aware Adaptive Back-Pressure Traffic Signal Control Utilization-Aware Adaptive Back-Pressure Traffic Signal Control Wanli Chang, Samarjit Chakraborty and Anuradha Annaswamy Abstract Back-pressure control of traffic signal, which computes the control phase

More information

16.410/413 Principles of Autonomy and Decision Making

16.410/413 Principles of Autonomy and Decision Making 16.10/13 Principles of Autonomy and Decision Making Lecture 2: Sequential Games Emilio Frazzoli Aeronautics and Astronautics Massachusetts Institute of Technology December 6, 2010 E. Frazzoli (MIT) L2:

More information

Neighborhood based heuristics for a Two-level Hierarchical Location Problem with modular node capacities

Neighborhood based heuristics for a Two-level Hierarchical Location Problem with modular node capacities Neighborhood based heuristics for a Two-level Hierarchical Location Problem with modular node capacities Bernardetta Addis, Giuliana Carello Alberto Ceselli Dipartimento di Elettronica e Informazione,

More information

Optimization in container terminals

Optimization in container terminals Ilaria Vacca (EPFL) - Integrated optimization in container terminal operations p. 1/23 Optimization in container terminals Hierarchical vs integrated solution approaches Michel Bierlaire Matteo Salani

More information

Caching Search States in Permutation Problems

Caching Search States in Permutation Problems Caching Search States in Permutation Problems Barbara M. Smith Cork Constraint Computation Centre, University College Cork, Ireland b.smith@4c.ucc.ie Abstract. When the search for a solution to a constraint

More information

Set 4: Game-Playing. ICS 271 Fall 2017 Kalev Kask

Set 4: Game-Playing. ICS 271 Fall 2017 Kalev Kask Set 4: Game-Playing ICS 271 Fall 2017 Kalev Kask Overview Computer programs that play 2-player games game-playing as search with the complication of an opponent General principles of game-playing and search

More information

Statistics and Computing. Series Editors: J. Chambers D. Hand

Statistics and Computing. Series Editors: J. Chambers D. Hand Statistics and Computing Series Editors: J. Chambers D. Hand W. Härdle Statistics and Computing Brusco/Stahl: Branch-and-Bound Applications in Combinatorial Data Analysis. Dalgaard: Introductory Statistics

More information

Games (adversarial search problems)

Games (adversarial search problems) Mustafa Jarrar: Lecture Notes on Games, Birzeit University, Palestine Fall Semester, 204 Artificial Intelligence Chapter 6 Games (adversarial search problems) Dr. Mustafa Jarrar Sina Institute, University

More information

TIME- OPTIMAL CONVERGECAST IN SENSOR NETWORKS WITH MULTIPLE CHANNELS

TIME- OPTIMAL CONVERGECAST IN SENSOR NETWORKS WITH MULTIPLE CHANNELS TIME- OPTIMAL CONVERGECAST IN SENSOR NETWORKS WITH MULTIPLE CHANNELS A Thesis by Masaaki Takahashi Bachelor of Science, Wichita State University, 28 Submitted to the Department of Electrical Engineering

More information

Game-playing: DeepBlue and AlphaGo

Game-playing: DeepBlue and AlphaGo Game-playing: DeepBlue and AlphaGo Brief history of gameplaying frontiers 1990s: Othello world champions refuse to play computers 1994: Chinook defeats Checkers world champion 1997: DeepBlue defeats world

More information

Using Nested Column Generation & Generic Programming to solve Staff Scheduling Problems:

Using Nested Column Generation & Generic Programming to solve Staff Scheduling Problems: Using Nested Column Generation & Generic Programming to solve Staff Scheduling Problems: Using Compile-time Customisation to create a Flexible C++ Engine for Staff Rostering Andrew Mason & Ed Bulog Department

More information

Physical-Layer Multicasting by Stochastic Beamforming and Alamouti Space-Time Coding

Physical-Layer Multicasting by Stochastic Beamforming and Alamouti Space-Time Coding Physical-Layer Multicasting by Stochastic Beamforming and Alamouti Space-Time Coding Anthony Man-Cho So Dept. of Systems Engineering and Engineering Management The Chinese University of Hong Kong (Joint

More information

Optimizing Client Association in 60 GHz Wireless Access Networks

Optimizing Client Association in 60 GHz Wireless Access Networks Optimizing Client Association in 60 GHz Wireless Access Networks G Athanasiou, C Weeraddana, C Fischione, and L Tassiulas KTH Royal Institute of Technology, Stockholm, Sweden University of Thessaly, Volos,

More information

Instability of Scoring Heuristic In games with value exchange, the heuristics are very bumpy Make smoothing assumptions search for "quiesence"

Instability of Scoring Heuristic In games with value exchange, the heuristics are very bumpy Make smoothing assumptions search for quiesence More on games Gaming Complications Instability of Scoring Heuristic In games with value exchange, the heuristics are very bumpy Make smoothing assumptions search for "quiesence" The Horizon Effect No matter

More information

CS 1571 Introduction to AI Lecture 12. Adversarial search. CS 1571 Intro to AI. Announcements

CS 1571 Introduction to AI Lecture 12. Adversarial search. CS 1571 Intro to AI. Announcements CS 171 Introduction to AI Lecture 1 Adversarial search Milos Hauskrecht milos@cs.pitt.edu 39 Sennott Square Announcements Homework assignment is out Programming and experiments Simulated annealing + Genetic

More information

A Time-Dependent ATSP With Time Window and Precedence Constraints in Air Travel

A Time-Dependent ATSP With Time Window and Precedence Constraints in Air Travel A Time-Dependent ATSP With Time Window and Precedence Constraints in Air Travel Thanaboon Saradatta, Pisut Pongchairerks Faculty of Engineering, Thai-Nichi Institute of Technology, Bangkok, Thailand. pisut@tni.ac.th

More information

4. Games and search. Lecture Artificial Intelligence (4ov / 8op)

4. Games and search. Lecture Artificial Intelligence (4ov / 8op) 4. Games and search 4.1 Search problems State space search find a (shortest) path from the initial state to the goal state. Constraint satisfaction find a value assignment to a set of variables so that

More information

Column generation heuristic for a rich arc routing problem

Column generation heuristic for a rich arc routing problem Column generation heuristic for a rich arc routing problem Application to railroad track inspection routing Christian Artigues 2,3 Jean Damay 1 Michel Gendreau 4 Sébastien Lannez 1,2,3 1 SNCF I&R/SRO ;

More information

Heuristic Search with Pre-Computed Databases

Heuristic Search with Pre-Computed Databases Heuristic Search with Pre-Computed Databases Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Abstract Use pre-computed partial results to improve the efficiency of heuristic

More information

The School Bus Routing and Scheduling Problem with Transfers

The School Bus Routing and Scheduling Problem with Transfers The School Bus Routing and Scheduling Problem with Transfers Michael Bögl Christian Doppler Laboratory for efficient intermodal transport operations, Johannes Kepler University Linz, Altenberger Straße

More information

Data Structures and Algorithms

Data Structures and Algorithms Data Structures and Algorithms CS245-2015S-P4 Two Player Games David Galles Department of Computer Science University of San Francisco P4-0: Overview Example games (board splitting, chess, Network) /Max

More information

Artificial Intelligence Search III

Artificial Intelligence Search III Artificial Intelligence Search III Lecture 5 Content: Search III Quick Review on Lecture 4 Why Study Games? Game Playing as Search Special Characteristics of Game Playing Search Ingredients of 2-Person

More information

Optimizing Traffic Signal Settings for Public Transport Priority

Optimizing Traffic Signal Settings for Public Transport Priority Optimizing Traffic Signal Settings for Public Transport Priority Robert Scheffler 1 and Martin Strehler 2 1 Brandenburgische Technische Universität, Cottbus, Germany robert.scheffler@b-tu.de 2 Brandenburgische

More information

Improving Sequential Single-Item Auctions

Improving Sequential Single-Item Auctions Improving Sequential Single-Item Auctions Xiaoming Zheng Computer Science Department University of Southern California Los Angeles, California 90089-0781 xiaominz@usc.edu Sven Koenig Computer Science Department

More information

Adversarial Reasoning: Sampling-Based Search with the UCT algorithm. Joint work with Raghuram Ramanujan and Ashish Sabharwal

Adversarial Reasoning: Sampling-Based Search with the UCT algorithm. Joint work with Raghuram Ramanujan and Ashish Sabharwal Adversarial Reasoning: Sampling-Based Search with the UCT algorithm Joint work with Raghuram Ramanujan and Ashish Sabharwal Upper Confidence bounds for Trees (UCT) n The UCT algorithm (Kocsis and Szepesvari,

More information

Foundations of AI. 6. Board Games. Search Strategies for Games, Games with Chance, State of the Art

Foundations of AI. 6. Board Games. Search Strategies for Games, Games with Chance, State of the Art Foundations of AI 6. Board Games Search Strategies for Games, Games with Chance, State of the Art Wolfram Burgard, Andreas Karwath, Bernhard Nebel, and Martin Riedmiller SA-1 Contents Board Games Minimax

More information

Leaf-Value Tables for Pruning Non-Zero-Sum Games

Leaf-Value Tables for Pruning Non-Zero-Sum Games Leaf-Value Tables for Pruning Non-Zero-Sum Games Nathan Sturtevant University of Alberta Department of Computing Science Edmonton, AB Canada T6G 2E8 nathanst@cs.ualberta.ca Abstract Algorithms for pruning

More information

A GRASP HEURISTIC FOR THE COOPERATIVE COMMUNICATION PROBLEM IN AD HOC NETWORKS

A GRASP HEURISTIC FOR THE COOPERATIVE COMMUNICATION PROBLEM IN AD HOC NETWORKS A GRASP HEURISTIC FOR THE COOPERATIVE COMMUNICATION PROBLEM IN AD HOC NETWORKS C. COMMANDER, C.A.S. OLIVEIRA, P.M. PARDALOS, AND M.G.C. RESENDE ABSTRACT. Ad hoc networks are composed of a set of wireless

More information

A GRASP heuristic for the Cooperative Communication Problem in Ad Hoc Networks

A GRASP heuristic for the Cooperative Communication Problem in Ad Hoc Networks MIC2005: The Sixth Metaheuristics International Conference??-1 A GRASP heuristic for the Cooperative Communication Problem in Ad Hoc Networks Clayton Commander Carlos A.S. Oliveira Panos M. Pardalos Mauricio

More information

The Potential of Relaying in Cellular Networks

The Potential of Relaying in Cellular Networks Konrad-Zuse-Zentrum für Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Germany HANS-FLORIAN GEERDES, HOLGER KARL 1 The Potential of Relaying in Cellular Networks 1 Technische Universität

More information

Minimax Trees: Utility Evaluation, Tree Evaluation, Pruning

Minimax Trees: Utility Evaluation, Tree Evaluation, Pruning Minimax Trees: Utility Evaluation, Tree Evaluation, Pruning CSCE 315 Programming Studio Fall 2017 Project 2, Lecture 2 Adapted from slides of Yoonsuck Choe, John Keyser Two-Person Perfect Information Deterministic

More information

Foundations of AI. 5. Board Games. Search Strategies for Games, Games with Chance, State of the Art. Wolfram Burgard and Luc De Raedt SA-1

Foundations of AI. 5. Board Games. Search Strategies for Games, Games with Chance, State of the Art. Wolfram Burgard and Luc De Raedt SA-1 Foundations of AI 5. Board Games Search Strategies for Games, Games with Chance, State of the Art Wolfram Burgard and Luc De Raedt SA-1 Contents Board Games Minimax Search Alpha-Beta Search Games with

More information

Energy-Efficient Data Management for Sensor Networks

Energy-Efficient Data Management for Sensor Networks Energy-Efficient Data Management for Sensor Networks Al Demers, Cornell University ademers@cs.cornell.edu Johannes Gehrke, Cornell University Rajmohan Rajaraman, Northeastern University Niki Trigoni, Cornell

More information

COMP9414: Artificial Intelligence Problem Solving and Search

COMP9414: Artificial Intelligence Problem Solving and Search CMP944, Monday March, 0 Problem Solving and Search CMP944: Artificial Intelligence Problem Solving and Search Motivating Example You are in Romania on holiday, in Arad, and need to get to Bucharest. What

More information

Artificial Intelligence. 4. Game Playing. Prof. Bojana Dalbelo Bašić Assoc. Prof. Jan Šnajder

Artificial Intelligence. 4. Game Playing. Prof. Bojana Dalbelo Bašić Assoc. Prof. Jan Šnajder Artificial Intelligence 4. Game Playing Prof. Bojana Dalbelo Bašić Assoc. Prof. Jan Šnajder University of Zagreb Faculty of Electrical Engineering and Computing Academic Year 2017/2018 Creative Commons

More information

Announcements. Homework 1 solutions posted. Test in 2 weeks (27 th ) -Covers up to and including HW2 (informed search)

Announcements. Homework 1 solutions posted. Test in 2 weeks (27 th ) -Covers up to and including HW2 (informed search) Minimax (Ch. 5-5.3) Announcements Homework 1 solutions posted Test in 2 weeks (27 th ) -Covers up to and including HW2 (informed search) Single-agent So far we have look at how a single agent can search

More information

V out. V in VRM. I Load

V out. V in VRM. I Load Optimal Selection of Voltage Regulator Modules in a Power Delivery Network Behnam Amelifard Massoud Pedram Department of Electrical Engineering University of Southern California Outline Introduction Voltage

More information