V. Cacchiani, A. Caprara and P. Toth DEIS, University of Bologna TIMETABLING FOR CONGESTED CORRIDORS.

Slides:



Advertisements
Similar presentations
Constraint Satisfaction Problems
Advertisements

Solving LP Models Improving Search Special Form of Improving Search
Solving IPs – Cutting Plane Algorithm General Idea: Begin by solving the LP relaxation of the IP problem. If the LP relaxation results in an integer solution,
Chapter 3 Workforce scheduling.
1 Constraint Satisfaction Problems A Quick Overview (based on AIMA book slides)
5-1 Chapter 5 Tree Searching Strategies. 5-2 Satisfiability problem Tree representation of 8 assignments. If there are n variables x 1, x 2, …,x n, then.
Crew Scheduling Housos Efthymios, Professor Computer Systems Laboratory (CSL) Electrical & Computer Engineering University of Patras.
EMIS 8373: Integer Programming Valid Inequalities updated 4April 2011.
4 Feb 2004CS Constraint Satisfaction1 Constraint Satisfaction Problems Chapter 5 Section 1 – 3.
Stochastic optimization of a timetable M.E. van Kooten Niekerk.
3rd ARRIVAL Review Meeting [Patras, 12 May 2009] – WP3 Presentation ARRIVAL – WP3 Algorithms for Robust and online Railway optimization: Improving the.
3rd ARRIVAL Review Meeting [Patras, 12 May 2009] – WP3 Presentation ARRIVAL – WP3 Algorithms for Robust and online Railway optimization: Improving the.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
1 Robustness by cutting planes and the Uncertain Set Covering Problem AIRO 2008, Ischia, 10 September 2008 (work supported my MiUR and EU) Matteo Fischetti.
Martin Grötschel  Institut für Mathematik, Technische Universität Berlin (TUB)  DFG-Forschungszentrum “Mathematik für Schlüsseltechnologien” (M ATHEON.
The Fundamentals: Algorithms, the Integers & Matrices.
Constraint Satisfaction Problems
Linear programming Lecture (4) and lecture (5). Recall An optimization problem is a decision problem in which we are choosing among several decisions.
Column Generation Approach for Operating Rooms Planning Mehdi LAMIRI, Xiaolan XIE and ZHANG Shuguang Industrial Engineering and Computer Sciences Division.
Computational Experiments Algorithm run on a Pentium IV 2.4 GHz Instances from “Rete Ferroviaria Italiana” For each station: - minimum interval between.
© J. Christopher Beck Lecture 5: Project Planning 2.
Types of IP Models All-integer linear programs Mixed integer linear programs (MILP) Binary integer linear programs, mixed or all integer: some or all of.
Quasi-static Channel Assignment Algorithms for Wireless Communications Networks Frank Yeong-Sung Lin Department of Information Management National Taiwan.
Constraint Satisfaction Problems Chapter 6. Review Agent, Environment, State Agent as search problem Uninformed search strategies Informed (heuristic.
Operational Research & ManagementOperations Scheduling Workforce Scheduling 1.Days-Off Scheduling 2.Shift Scheduling 3. Cyclic Staffing Problem (& extensions)
Workforce scheduling – Days off scheduling 1. n is the max weekend demand n = max(n 1,n 7 ) Surplus number of employees in day j is u j = W – n j for.
Chapter 5 Section 1 – 3 1.  Constraint Satisfaction Problems (CSP)  Backtracking search for CSPs  Local search for CSPs 2.
Logical Topology Design
Chapter 5: Constraint Satisfaction ICS 171 Fall 2006.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Fall 2006 Jim Martin.
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
V. Cacchiani, ATMOS 2007, Seville1 Solving a Real-World Train Unit Assignment Problem V. Cacchiani, A. Caprara, P. Toth University of Bologna (Italy) European.
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
دانشگاه صنعتي اميركبير دانشكده مهندسي پزشكي Constraints in MPC-2 کنترل پيش بين-دکتر توحيدخواه.
1 Constraint Satisfaction Problems Chapter 5 Section 1 – 3 Grand Challenge:
CHAPTER 5 SECTION 1 – 3 4 Feb 2004 CS Constraint Satisfaction 1 Constraint Satisfaction Problems.
Lagrangean Relaxation
Chapter 2. Optimal Trees and Paths Combinatorial Optimization
1. 2 Outline of Ch 4 Best-first search Greedy best-first search A * search Heuristics Functions Local search algorithms Hill-climbing search Simulated.
EMIS 8373: Integer Programming Column Generation updated 12 April 2005.
Airline Optimization Problems Constraint Technologies International
Times are discretized and expressed as integers from 1 to 1440 (minutes in a day). set of stations set of trains set of stations visited by train j The.
Linear Programming Chapter 1 Introduction.
Approximation Algorithms Duality My T. UF.
University of Bologna (UOB) DEIS (Department of Electronics, Computer Science and Automatics) Faculty of Engineering Operations Research Unit.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Linear programming Lecture (4) and lecture (5). Recall An optimization problem is a decision problem in which we are choosing among several decisions.
CS 561, Session 8 1 This time: constraint satisfaction - Constraint Satisfaction Problems (CSP) - Backtracking search for CSPs - Local search for CSPs.
6.5 Stochastic Prog. and Benders’ decomposition
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
1.3 Modeling with exponentially many constr.
MIP Tools Branch and Cut with Callbacks Lazy Constraint Callback
Integer Programming (정수계획법)
Nurse Scheduling Problems
3.5 Minimum Cuts in Undirected Graphs
1.206J/16.77J/ESD.215J Airline Schedule Planning
Department of Information Management National Taiwan University
Constraint Satisfaction Problems
1.3 Modeling with exponentially many constr.
Integer Programming (정수계획법)
Topic 15 Job Shop Scheduling.
Chapter 6 Network Flow Models.
Timing Analysis and Optimization of Sequential Circuits
6.5 Stochastic Prog. and Benders’ decomposition
CS 8520: Artificial Intelligence
Constraint Satisfaction Problems
Presentation transcript:

V. Cacchiani, A. Caprara and P. Toth DEIS, University of Bologna TIMETABLING FOR CONGESTED CORRIDORS

TRAIN TIMETABLING A railway network with (one way and double way) single and double tracks is considered. The Train Timetabling Problem is aimed at determining: –how many trains can be scheduled on a given “corridor” in a given time interval –a “good” timetable for the scheduled trains

Train Timetabling Given a set of “requests” for train paths (possibly from several Train Operators), specifying for each train: –Departure time from the first station –Arrival time at the last station –Arrival and departure times for the intermediate stations in which the train has to stop Define the trains to be scheduled and the corresponding actual paths (possibly “adjusting” the requested paths)

Separate timetabling problems are generally solved for distinct corridors in the network. The trains are assumed to have different speeds. For each train the travel time for any pair of consecutive stations is assumed to be fixed.

Basic Operational Constraints required to guarantee safety and regularity margin: Minimum time between two consecutive arrivals (departures) in each station. Overtaking between trains can occur only within a station. Maximum shift and stretch allowed for each train path.

If all the requests cannot be satisfied (because of possible path conflicts) three kinds of adjustments of the requested paths are allowed in order to obtain the actual feasible timetable: 1.change the departure time of some trains from their first station (shift), 2.increase the stopping time of the trains in some of the intermediate stations (stretch), 3.cancel a subset of the requested paths.

Requested Departure Time Requested train path Actual train path Station 1 Station 4 Station 3 Station 2 stop shift stretch 8:108:05 8:358:30 8:38 8:50 8:40 8:52 5 min. 7 min.

Main Objective: service quality –Maximum number of satisfied requests (scheduled trains) –Minimum deviation of the actual train paths with respect to the requested ones (minimum global shift and stretch) –Robustness of the solution with respect to random disturbances and failures

Two main scenarios can be considered: 1. No trains scheduled (basic problem) 2.Possibility to add new paths to an existing timetable - planning of new requests for train paths - operational scenario

Literature: –Szpigel (1973) –Jovanovic and Harker (1991) –Cai and Goh (1994) –Schrijver and Steenbeck (1994) –Carey and Lockwood (1995) –Nachtigall and Voget (1996) –Odijk (1996) –Higgings, Kozan and Ferreira (1997) –Brannlund, Lindberg, Nou, Nilsson (1998) –Lindner (2000) –Oliveira and Smith (2000)

–Caprara, Fischetti and T. (2002) –Peeters (2003) –Kroon and Peeters (2003) –Mistry and Kwan (2004) –Barber, Salido, Ingolotti, Abril, Lova, Tormas (2004) –Caprara, Monaci, T. and Guida (2005) –Semet and Schoenauer (2005) –Kroon, Dekker and Vromans (2005) –Vansteenwegen and Van Oudheusden (2006) –Cacchiani, Caprara, T. (2006) –Caprara, Kroon, Monaci, Peeters, T. (2006)

Optimization Algorithms Graph Formulation Integer Linear Programming Formulation Constructive Heuristics Algorithms based on Lagrangian and LP Relaxations Local Search Procedures

Mathematical Models A. Variables corresponding to arcs B. Variables corresponding to paths Constraints for arrival, departure and overtaking (clique constraints)

Solving Relaxation of Model A 1. Relax in a Lagrangian way all the operational constraints and use a subgradient optimization procedure to obtain “good” Lagrangian multipliers. 2. At each iteration of the subgradient procedure, for each train find the path having the maximum Lagrangian profit.

Solving Relaxation of Model B 1. Start with a reduced problem, with no operational constraints and only the ideal paths for the trains. 2. Solve the LP-relaxation of the reduced problem (CPLEX). 3. Find new paths with positive reduced profit (column generation) and find violated constraints (constraint separation). If no new paths and no violated constraints can be found, stop. Else add them to the problem and goto 2.

Heuristic Algorithms Lagrangian Heuristic Algorithm LP-based Heuristic Algorithm

Lagrangian Heuristic Algorithm 1. Solve the Lagrangian relaxation of model A. 2. Apply a constructive Heuristic Algorithm based on the use of the Lagrangian profits.

LP-based Heuristic Algorithm 1. Solve the LP relaxation of model B. 2. Apply a constructive Heuristic Algorithm based on the LP solution.