Optimal Dispatching of Welding Robots
|
|
- Diana O’Neal’
- 5 years ago
- Views:
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 Intelligence, surveillance, and reconnaissance (ISR) with autonomous UAVs ISR defines
More informationColumn 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 informationComputing 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 informationTwo-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 informationChapter 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 informationTransportation 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 informationCSC384 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 informationAn 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 information2 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 informationARTIFICIAL 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 informationFoundations 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 informationPlaying 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 informationRolling 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 informationScheduling. 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 informationGames 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 informationSimultaneous 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 information06M1 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 informationAIMA 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 informationW 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 informationControl 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 informationBuild 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 information10/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 informationImproved 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 informationA 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 informationOptimization 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 informationProblem 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 informationScheduling 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 informationAdversarial 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 informationRelay 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 information5.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 informationW-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 informationComputer 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 informationBranch-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 information22c: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 informationLocally 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 informationPlanning 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 informationUNIVERSITY 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 informationMULTI-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 informationE190Q 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 informationCombinatorial 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 informationApplying 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 informationThe 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 informationMultiple 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 informationGeneralized 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 informationThe 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 informationSearch 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 informationarxiv: 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 informationOn 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 informationCSE 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 informationFoundations 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 informationPart 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 informationCPS331 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 informationGreedy 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 informationVehicle 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 informationTopology 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 informationAdversary 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 informationFoundations 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 informationDecomposition 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 informationPlanning 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 informationOn-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 informationThe 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 informationOptimized 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 informationBit 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 informationUtilization-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 information16.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 informationNeighborhood 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 informationOptimization 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 informationCaching 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 informationSet 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 informationStatistics 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 informationGames (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 informationTIME- 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 informationGame-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 informationUsing 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 informationPhysical-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 informationOptimizing 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 informationInstability 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 informationCS 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 informationA 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 information4. 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 informationColumn 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 informationHeuristic 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 informationThe 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 informationData 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 informationArtificial 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 informationOptimizing 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 informationImproving 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 informationAdversarial 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 informationFoundations 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 informationLeaf-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 informationA 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 informationA 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 informationThe 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 informationMinimax 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 informationFoundations 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 informationEnergy-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 informationCOMP9414: 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 informationArtificial 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 informationAnnouncements. 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 informationV 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