Accelerating logic-based benders decomposition for railway rescheduling by exploiting similarities in delays

DOI10.1016/J.COR.2022.106075OpenAlexW4308559055MaRDI QIDQ2108176FDOQ2108176

Authors: Florin Leutwiler, Guillem Bonet Filella, Francesco Corman 

Publication date: 19 December 2022

Published in: Computers \& Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cor.2022.106075

Recommendations

• A MIP-based local search method for the railway rescheduling problem
• An exact decomposition approach for the real-time train dispatching problem
• A double-track train rescheduling for incident conditions: optimisation model and decomposition method
• Using a general-purpose mixed-integer linear programming solver for the practical solution of real-time train rescheduling
• SAPI: statistical analysis of propagation of incidents. A new approach for rescheduling trains after disruptions

zbMATH Keywords

similarityreschedulingbenders decompositionprecomputation

Mathematics Subject Classification ID

Operations research and management science (90Bxx)

Cites Work

• Disjunctive programming: Properties of the convex hull of feasible points
• GRASP: a search algorithm for propositional satisfiability
• A machine program for theorem-proving
• A Tutorial on Satisfiability Modulo Theories
• A branch and bound algorithm for scheduling trains in a railway network
• A model predictive control approach for discrete-time rescheduling in complex central railway station areas
• Job-shop scheduling with blocking and no-wait constraints
• A logic-based Benders decomposition for microscopic railway timetable planning
• A column generation approach to train timetabling on a corridor
• Dispatching and coordination in multi-area railway traffic management
• A variable neighbourhood search for fast train scheduling and routing during disturbed railway traffic situations
• An exact decomposition approach for the real-time train dispatching problem
• Application of an iterative framework for real-time railway rescheduling
• Efficient Generation of Unsatisfiability Proofs and Cores in SAT

Cited In (2)

• Set covering heuristics in a benders decomposition for railway timetabling
• Efficient iterative optimization to real-time train regulation in urban rail transit networks combined with benders decomposition method

Uses Software

• Gurobi

This page was built for publication: Accelerating logic-based benders decomposition for railway rescheduling by exploiting similarities in delays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2108176)