Maintenance Routing Gábor Maróti CWI, Amsterdam and NS Reizigers, Utrecht Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Maintenance Routing Gábor Maróti Leo Kroon Astrid Roelofs CWI, Amsterdam NS Reizigers, Utrecht Erasmus University, Rotterdam NS Reizigers, Utrecht Free University, Amsterdam NS Reizigers, Utrecht Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Maintenance Routing  Problem formulation  successive shortest paths  Computational results Models for Maintenance Routing 2nd AMORE Seminar, Partas,  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Problem formulation Train units After reaching a kilometer limit, they have to be checked. In practice: the most urgent units go for maintenance. The operational plan must be changed. Bottleneck: shunting Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Problem formulation Models for Maintenance Routing 2nd AMORE Seminar, Partas, (Very) naive idea: solve the shunting problem at each station Natural decomposition: solve the problem separately for the rolling stock types (and try to estimate the shunting difficulty) Solution: new rolling stock schedule in the planning horizon

Problem formulation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Input:  duties: sequences of tasks on each day  list of urgent units  deadlines  the actual operational plan Output:  new operational plan, such that  the urgent units can reach the maintenance station  “the cost is minimal”

Problem formulation Models for Maintenance Routing 2nd AMORE Seminar, Partas, The planning horizon is short (e.g. 3 days).  delays  shortage of crew  shortage of rolling stock   necessary changes in the plan  cancelled trains

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

What do they now do? Models for Maintenance Routing 2nd AMORE Seminar, Partas, Assign a most urgent unit to a first available maintenance job If no solution, change a bit the deadlines (  1 day). 2. Try to route it there 3. Call the local sunting crew: “Is the route feasible?” 4. Iterate this process

What do they now do? Models for Maintenance Routing 2nd AMORE Seminar, Partas, Deadlines for urgent units Days Nights

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Night change

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Night change

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Daily change

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Daily change: maybe possible

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Daily change: maybe possible

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Daily change

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Daily change (and a night change)

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Empty train movement

Models for Maintenance Routing 2nd AMORE Seminar, Partas, What do they now do? Urgent unit Assigned maintenance job Empty train movement (taking care of the balance)

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Nodes: arrival and departure events Arcs: operational plan + extra possibilities

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, “Grey box”: permitted or forbidden arcs A perfect matching is required Night arcs:

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Night arcs: Assumption: a small number of changes can be carried out

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Day arcs: Simple daily change possibility

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Day arcs: If we allow only one change for each train unit   it is enough to insert all these arcs

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Day arcs: In case we allow also more complex changes   the graph becomes more complicated.

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Day arcs: However, we did not implement multiple changes because they did not give any extra possibility (in the test data)

A graph representation Models for Maintenance Routing 2nd AMORE Seminar, Partas, Empty train arcs: extra arcs between the boxes: all or some of them (a small number is enough)

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Models Models for Maintenance Routing 2nd AMORE Seminar, Partas, Solution: a new operational plan, i.e.  perfect matching on the Night Arcs  perfect matching on the Day Arcs such that each urgent unit gets to the maintenance facility.

Models Models for Maintenance Routing 2nd AMORE Seminar, Partas, Quality of a solution: the extra shunting cost Linear cost function: cost on the arcs c (a) = 0 if a is in the original plan c (a)  0 otherwise Minimize the total sum of arc costs. Idea: “the closer to the original plan the better”

Models Models for Maintenance Routing 2nd AMORE Seminar, Partas, Example: Station Utrecht expensive cheapexpensive

Models Models for Maintenance Routing 2nd AMORE Seminar, Partas, Night arcs: cheap, not too expensive or almost impossible Day arcs: typically more expensive (more risky) Empty train arcs: very expensive  carriage kilometer  crew schedule

Models Models for Maintenance Routing 2nd AMORE Seminar, Partas, Test data: rolling stock type “Sprinter”  52 units (duties)  1 maintenance job on each workday  1 maintenance station  10 terminal stations  2 further possible (daily) shunting stations

Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Successive shortest paths Models for Maintenance Routing 2nd AMORE Seminar, Partas, Match the urgent train units to the maintenance jobs 2. For each urgent unit: determine a shortest path in the graph delete this path from the graph take the next urgent unit Algorithm

Successive shortest paths Models for Maintenance Routing 2nd AMORE Seminar, Partas, Easy, simple, very fast Takes no care of matching conditions (day, night) Ad hoc ideas are necessary

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Solution = Perfect matching in each box s.t. the deadline conditions are fullfilled Multicommodity flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Matching variables m on the Night Arcs and Day Arcs (0-1 valued). Still needed: linear inequalities expressing that 1. each urgent unit reaches the maintenance facility 2. in the time limit Models for Maintenance Routing 2nd AMORE Seminar, Partas, Multicommodity flow

A 1-flow for each urgent unit Multicommodity flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

2 Possible terminal nodes Deadline Multicommodity flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Variables:  matching variables m  flows x 1, x 2, x 3, … Constraints:  matching constraints  conservation rule for each flow  starting and terminal constraints for the flows   x i  m ( e ) Multicommodity flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Multicommodity flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, Objective function: minimize  ( c ( a ) m(a) : a  Night or Day Arcs )

If m is integral, the values x may be chosen float (read-valued). If x and m are integral on the Day Arcs, the other variables may be chosen float. Multicommodity flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Having fixed a matching m, s t set two new nodes s and t, set all arc capacities 1. Does there exist an s - t network flow of value 3? Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

 x : Arcs  [0 ; 1]  conservation rule for every nodes  s, t  the flow value is 3 (# of urgent units)  x(e)  m(e) for Night Arcs Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, Given a digraph G and a function C : Arcs  R   is a node potential (for the longest path) if C(uv)   (u)   (v) uv for every arc uv.

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, Having fixed a matchig m :  longest path = the only path    is an upper bound on the distance from the maintenance nodes (with appropriate initial values) ( C  1) Big

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, Instead of the deadlines: distances. d(u) := 2 deadline( u )  1

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, The important inequalities:  (u)  (v)  Big    m(uv)) for Day and Night Arcs  (u)  d(u) for urgent unit starting nodes LB ( v )   (v)  UB (v) for each node The bounds LB and UB from the graph structure Then Big := UB (v)  LB (u)  1

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas,  matching variables m  flow variables x  potential variables  integral may be chosen float Variables:

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, Constraints  matching variables m  flow variables x  potential variables  Variables:  matching constraints  flow constraints  potential constraints

Network flow Models for Maintenance Routing 2nd AMORE Seminar, Partas, Objective function: minimize  ( c ( a) m(a) : a  Night or Day Arcs )

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Computational results Models for Maintenance Routing 2nd AMORE Seminar, Partas,  Test data: rolling stock type “Sprinter”  days planning horizon  urgent units  IBM PC, Pentium III 900 MHz, 256 MB RAM  Software: ILOG OPL Studio 3.0, CPLEX 7.0

Computational results Models for Maintenance Routing 2nd AMORE Seminar, Partas, Only night connections (5 nights):

Computational results All possibilities: Models for Maintenance Routing 2nd AMORE Seminar, Partas,

Maintenance Routing Models for Maintenance Routing 2nd AMORE Seminar, Partas,   Problem formulation  successive shortest paths  Computational results  What do the planners now do?  A graph representation  Models multicommodity flow  network flow and node potential  Future

Future Models for Maintenance Routing 2nd AMORE Seminar, Partas, A lot cooperation with planners and shunting crew in  modelling the night shunting possibilities (costs)  determining the practical relevance of the solutions  finding the set of day connections New criteria for the rolling stock scheduling

Thank you.