Polyhedral study of a temporal rural postman problem: application in inspection of railway track without disturbing train schedules
Authors:
Somnath Buriuly,
Leena Vachhani,
Sivapragasam Ravitharan,
Arpita Sinha,
Sunita Chauhan
Abstract:
The Rural Postman Problem with Temporal Unavailability (RPP-TU) is a variant of the Rural Postman Problem (RPP) specified for multi-agent planning over directed graphs with temporal constraints. These temporal constraints represent the unavailable time intervals for each arc during which agents cannot traverse the arc. Such arc unavailability scenarios occur in routing and scheduling of the instru…
▽ More
The Rural Postman Problem with Temporal Unavailability (RPP-TU) is a variant of the Rural Postman Problem (RPP) specified for multi-agent planning over directed graphs with temporal constraints. These temporal constraints represent the unavailable time intervals for each arc during which agents cannot traverse the arc. Such arc unavailability scenarios occur in routing and scheduling of the instrumented wagons for inspection of railway tracks without disturbing the train schedules, i.e. the scheduled trains prohibit access to the signal blocks (sections of railway track separated by signals) for some finite interval of time.
A three-index formulation for the RPP-TU is adopted from the literature. The three-index formulation has binary variables for describing the route information of the agents, and continuous non-negative variables to describe the schedules at pre-defined locations. A relaxation of the three-index formulation for RPP-TRU, referred to as Cascaded Graph Formulation (CGF), is investigated in this work. The CGF has attributes that simplify the polyhedral study of time-dependent arc routing problems like RPP-TRU. A novel branch-and-cut algorithm is proposed to solve the RPP-TU, where branching is performed over the service arcs. A family of facet-defining inequalities, derived from the polyhedral study, is used as cutting planes in the proposed branch-and-cut algorithm to reduce the computation time by up to $48\%$. Finally, an application of this work is showcased using a simulation case study of a railway inspection scheduling problem based on Kurla-Vashi-Thane suburban network in Mumbai, India. An improvement of $93\%$ is observed when compared to a Benders' decomposition based MILP solver from the literature.
△ Less
Submitted 5 November, 2024;
originally announced November 2024.
Temporal Recurring Unavailabilities in Multi-agent Rural Postman Problem: Navigating railway tracks during availability time intervals
Authors:
Somnath Buriuly,
Leena Vachhani,
Arpita Sinha,
Sivapragasam Ravitharan,
Sunita Chauhan
Abstract:
Time-dependent (or temporal) properties may arise in many network-based planning problems, particularly in the routing and scheduling of railway track inspection problems. The availability of tracks depends on the train schedules, maintenance possessions, etc. In the absence of side constraints, this routing and scheduling problem is formulated as a multi-agent rural postman problem on a temporal-…
▽ More
Time-dependent (or temporal) properties may arise in many network-based planning problems, particularly in the routing and scheduling of railway track inspection problems. The availability of tracks depends on the train schedules, maintenance possessions, etc. In the absence of side constraints, this routing and scheduling problem is formulated as a multi-agent rural postman problem on a temporal-directed network; where a given set of rail track sections must be visited while respecting the temporal attributes due to railway track unavailabilities. In this work, we adopt a three-index formulation for the multi-agent Rural Postman Problem with Temporal Recurring Unavailabilities (RPP-TRU) and frame it as a Mixed Integer Linear Programming (MILP) problem. In addition, we propose relevant theoretical studies for RPP-TRU to ensure the feasibility of the proposed optimization problem. Two approaches of an exact algorithm are proposed, based on Benders' decomposition framework, to address the disjunctive unavailability constraints occurring in its scheduling sub-problems, alongside the NP-Hard routing (master) problem. A polynomial-time algorithm is designed to address the scheduling sub-problem, while the NP-Hard master problem is solved using MILP toolbox. Comparison results with RPP (without temporal constraints) show a minor compromise with the spatial cost solution with significantly less delay, hence suitable for real-world routing and scheduling applications occurring in a shared network like railways. A simulation study on a part of the Mumbai suburban railway network demonstrates the working of the proposed methodology under a realistic setting.
△ Less
Submitted 5 November, 2024; v1 submitted 13 January, 2021;
originally announced January 2021.
