A local search algorithm with repair procedure for the Roadef 2010 challenge Lauri Ahlroth, André Schumacher, Henri Tokola 3.5.2010.

Slides:



Advertisements
Similar presentations
Constraint Satisfaction Problems
Advertisements

Local Search Jim Little UBC CS 322 – CSP October 3, 2014 Textbook §4.8
CPSC 322, Lecture 14Slide 1 Local Search Computer Science cpsc322, Lecture 14 (Textbook Chpt 4.8) Oct, 5, 2012.
Constraint Satisfaction Problems
Local Search Algorithms Chapter 4. Outline Hill-climbing search Simulated annealing search Local beam search Genetic algorithms Ant Colony Optimization.
Based on customer demand, estimate:  ω s : minimum required amount of material s For final products, ω s is the customer demand Calculated once µ i is.
1 Constraint Satisfaction Problems A Quick Overview (based on AIMA book slides)
Copyright 2004 Koren & Krishna ECE655/DataRepl.1 Fall 2006 UNIVERSITY OF MASSACHUSETTS Dept. of Electrical & Computer Engineering Fault Tolerant Computing.
Neural and Evolutionary Computing - Lecture 4 1 Random Search Algorithms. Simulated Annealing Motivation Simple Random Search Algorithms Simulated Annealing.
1 of 14 1 /23 Flexibility Driven Scheduling and Mapping for Distributed Real-Time Systems Paul Pop, Petru Eles, Zebo Peng Department of Computer and Information.
Acoustic design by simulated annealing algorithm
Online Scheduling with Known Arrival Times Nicholas G Hall (Ohio State University) Marc E Posner (Ohio State University) Chris N Potts (University of Southampton)
1 Sensor Relocation in Mobile Sensor Networks Guiling Wang, Guohong Cao, Tom La Porta, and Wensheng Zhang Department of Computer Science & Engineering.
Spie98-1 Evolutionary Algorithms, Simulated Annealing, and Tabu Search: A Comparative Study H. Youssef, S. M. Sait, H. Adiche
Date:2011/06/08 吳昕澧 BOA: The Bayesian Optimization Algorithm.
CPSC 322, Lecture 15Slide 1 Stochastic Local Search Computer Science cpsc322, Lecture 15 (Textbook Chpt 4.8) February, 6, 2009.
1 Chapter 5 Advanced Search. 2 Chapter 5 Contents l Constraint satisfaction problems l Heuristic repair l The eight queens problem l Combinatorial optimization.
MAE 552 – Heuristic Optimization Lecture 8 February 8, 2002.
Recent Development on Elimination Ordering Group 1.
Ryan Kinworthy 2/26/20031 Chapter 7- Local Search part 1 Ryan Kinworthy CSCE Advanced Constraint Processing.
1 An Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem Matthew Streeter & Stephen Smith Carnegie Mellon University NESCAI, April
Optimization via Search CPSC 315 – Programming Studio Spring 2009 Project 2, Lecture 4 Adapted from slides of Yoonsuck Choe.
MAE 552 – Heuristic Optimization Lecture 6 February 6, 2002.
Use of Simulated Annealing in Quantum Circuit Synthesis Manoj Rajagopalan 17 Jun 2002.
1 Approximate Solution to an Exam Timetabling Problem Adam White Dept of Computing Science University of Alberta Adam White Dept of Computing Science University.
An Efficient Clustering-based Heuristic for Data Gathering and Aggregation in Sensor Networks Wireless Communications and Networking (WCNC 2003). IEEE,
Introduction to Artificial Intelligence Local Search (updated 4/30/2006) Henry Kautz.
Dynamic lot sizing and tool management in automated manufacturing systems M. Selim Aktürk, Siraceddin Önen presented by Zümbül Bulut.
Jan 6-10th, 2007VLSI Design A Reduced Complexity Algorithm for Minimizing N-Detect Tests Kalyana R. Kantipudi Vishwani D. Agrawal Department of Electrical.
1 IOE/MFG 543 Chapter 14: General purpose procedures for scheduling in practice Section 14.4: Local search (Simulated annealing and tabu search)
A Probabilistic Method to Determine the Minimum Leakage Vector for Combinational Designs Kanupriya Gulati Nikhil Jayakumar Sunil P. Khatri Department of.
1 of 14 1 / 18 An Approach to Incremental Design of Distributed Embedded Systems Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer and.
Introduction to Simulated Annealing 22c:145 Simulated Annealing  Motivated by the physical annealing process  Material is heated and slowly cooled.
Optimization via Search CPSC 315 – Programming Studio Spring 2008 Project 2, Lecture 4 Adapted from slides of Yoonsuck Choe.
By Rohit Ray ESE 251.  Most minimization (maximization) strategies work to find the nearest local minimum  Trapped at local minimums (maxima)  Standard.
Ant Colony Optimization: an introduction
Metaheuristics The idea: search the solution space directly. No math models, only a set of algorithmic steps, iterative method. Find a feasible solution.
 Optimal Packing of High- Precision Rectangles By Eric Huang & Richard E. Korf 25 th AAAI Conference, 2011 Florida Institute of Technology CSE 5694 Robotics.
Vilalta&Eick: Informed Search Informed Search and Exploration Search Strategies Heuristic Functions Local Search Algorithms Vilalta&Eick: Informed Search.
Local Search Algorithms This lecture topic Chapter Next lecture topic Chapter 5 (Please read lecture topic material before and after each lecture.
+ Simulation Design. + Types event-advance and unit-time advance. Both these designs are event-based but utilize different ways of advancing the time.
Stocs – A Stochastic CSP Solver Bella Dubrov IBM Haifa Research Lab © Copyright IBM.
CP Summer School Modelling for Constraint Programming Barbara Smith 2. Implied Constraints, Optimization, Dominance Rules.
Boolean Minimizer FC-Min: Coverage Finding Process Petr Fišer, Hana Kubátová Czech Technical University Department of Computer Science and Engineering.
Thursday, May 9 Heuristic Search: methods for solving difficult optimization problems Handouts: Lecture Notes See the introduction to the paper.
FORS 8450 Advanced Forest Planning Lecture 11 Tabu Search.
Local Search and Optimization Presented by Collin Kanaley.
4/11/2005EE562 EE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS Lecture 4, 4/11/2005 University of Washington, Department of Electrical Engineering Spring 2005.
Optimization Problems
Ramakrishna Lecture#2 CAD for VLSI Ramakrishna
An Introduction to Simulated Annealing Kevin Cannons November 24, 2005.
Chapter 5. Advanced Search Fall 2011 Comp3710 Artificial Intelligence Computing Science Thompson Rivers University.
Chapter 5 Team Teaching AI (created by Dewi Liliana) PTIIK Constraint Satisfaction Problems.
© J. Christopher Beck Lecture 16: Local Search.
Intro. ANN & Fuzzy Systems Lecture 37 Genetic and Random Search Algorithms (2)
CMPT 463. What will be covered A* search Local search Game tree Constraint satisfaction problems (CSP)
Heuristic Optimization Methods
Local Search Algorithms
Computer Science cpsc322, Lecture 14
Artificial Intelligence (CS 370D)
Subject Name: Operation Research Subject Code: 10CS661 Prepared By:Mrs
Computer Science cpsc322, Lecture 14
CSE 589 Applied Algorithms Spring 1999
School of Computer Science & Engineering
More on Search: A* and Optimization
Minimax strategies, alpha beta pruning
Local Search Algorithms
CS 8520: Artificial Intelligence
Constraint Satisfaction Problems
Minimax strategies, alpha beta pruning
Presentation transcript:

A local search algorithm with repair procedure for the Roadef 2010 challenge Lauri Ahlroth, André Schumacher, Henri Tokola

Outline Group Algorithm Implementation process Results

Group Our group consists of three people from two different departments of Aalto University: –Department of Information and Computer Science André Schumacher, post-graduate student Lauri Ahlroth, post-graduate student –Department of Mechanical engineering Henri Tokola, post-graduate student.

The problem Two types of plants –Plants of type 1 generate energy by given time-variant cost –Plants of type 2 consume fuel and they need to be shut down for refueling by scheduled outage  We have assumed that plants of type 2 are cheaper than type 1 and thus we try to achieve maximal production of type 2 Many constraints –CT1-CT12 are constraints for energy production –CT13-CT21 are constraints for outage schedule  We find feasible outage schedule and after that try to find the feasible energy production schedule Multiple scenarios  We create a solution where production of type 2 plants is the same for all scenarios

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Initial solution Initial outage schedule is constructed using limited- depth backtrack method using constraint propagation for the outage scheduling constraints Production is calculated by using min refuels and full power for type 2 plants (unless demand is smaller) Gives feasible solution for B6,B7,B9 and B10. For B8, we use infeasible solutions until we find the first feasible solution

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Outage generation We have two possible neighborhood strategies: –Select all plants of type 2 –Select a single plant of type 2 For each selected plant, we move outage with 0.1 probability. –We move outages randomly between lbound and ubound, that are calculated by taking into account scheduling and refueling constraints –We sometimes add new and remove outages More than 50% of the all schedules that are generated are infeasible.

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Outage repair Min conflict heuristic –We test all possible moves and select the move that minimizes the conflicts –This is repeated until there are no conflicts or we cannot repair the conflicts any more –Tabulist contains initially the changed outages, which cannot be moved in the first few repair steps –The repair can not produce a move to the initial outage date Only the conflicts where a move affects are checked! Repair rate is typically about 98%

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Feasible production check We try to find out quickly if there is a feasible production schedule –First we try to fix the refueling of outages that cause problems Fuel stock before and after refueling (CT11) Refuel limit (CT7) –If it is not possible we try minimal refueling. If it is not possible we reject the solution. In a 1000 seconds run for B6 instance, about 2% of the generated solutions are rejected by feasible production check.

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Refuel levels and production Refuels are increased by using trial and error –Increasing stops when type 2 plants enter decreasing power profiles in the same time they enter the next outage. Fuel: –produce as much power as possible with plants of type 2 do not exceed the minimum demand –The remaining production is satisfied using plants of type 1

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Simulated annealing We use a simulated annealing based method to accept or reject the solution We use LBOUND variable to scale the difference between the solution candidates. –LBOUND is optimistic cost estimate based on a relaxation of the problem. The final algorithm is quite near simple hill climbing, because there were few moves toward the worse solution

Algorithm Initial solution New outage generation Outage repair (Constraints CT13-CT21) Feasible refuel levels check (Constraints CT1-CT12) Increase fuel levels by using trial and error Accept or reject the solution Production levels If we have time

Changes in the program during qualification and final round Qualification round: –Initial solution using backtracking –New solution - SA – simple repair – min refuel –3-6 weeks work per group member Final round: –Fixing solution for new instances, there were notable problems: We assumed that sum of productions of type 2 plants were allways smaller than minimum demand Initial solution failed because of Ct13bis Problems with memory as the new instances were quite large –Optimized for speed by introducing incremental updates and constraint checking –3-6 weeks work per group member There were some modifications that were not added to final solution because we ran out of time –Scenario-specific optimization –Better neighborhood strategy

Results of 4000 seconds runs (final test before submit) dataB6.txt: dataB7.txt: dataB8.txt: dataB9.txt: dataB10.txt:

Thank you!