Train Scheduling with Hybrid ASP

We present an ASP-based solution to real-world train scheduling problems, involving routing, scheduling, and optimization. To this end, we pursue a hybrid approach that extends ASP withdifference constraints to account for a fine-grained timing. More precisely, we exemplarily show how the hybrid ASP system clingo[DL] can be used to tackle demanding planning-and-scheduling problems. In particular, we investigate how to boost performance by combining distinct ASP solving techniques, such as approximation, heuristic, and optimization strategies.

[1]  I. Niemelä,et al.  Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories , 2011 .

[2]  Elias Oliveira,et al.  A Job-Shop Scheduling Model for the Single-Track Railway Scheduling Problem , 2000 .

[3]  Joaquin Rodriguez,et al.  A constraint programming model for real-time train scheduling at junctions , 2007 .

[4]  Ilkka Niemelä,et al.  Answer Set Programming via Mixed Integer Programming , 2012, KR.

[5]  Éric D. Taillard,et al.  Benchmarks for basic scheduling problems , 1993 .

[6]  Paola Pellegrini,et al.  Real-time train routing and scheduling through mixed integer linear programming: Heuristic approach , 2013, Proceedings of 2013 International Conference on Industrial Engineering and Systems Management (IESM).

[7]  Matteo Fischetti,et al.  Modeling and Solving the Train Timetabling Problem , 2002, Oper. Res..

[8]  Mateu Villaret,et al.  Solving constraint satisfaction problems with SAT modulo theories , 2012, Constraints.

[9]  Danny De Schreye,et al.  Answer Set Planning , 1999 .

[10]  Raffaele Pesenti,et al.  RECIFE-MILP: An Effective MILP-Based Heuristic for the Real-Time Railway Traffic Management Problem , 2015, IEEE Transactions on Intelligent Transportation Systems.

[11]  Johanna Törnquist,et al.  Computer-based decision support for railway traffic scheduling and dispatching: A review of models and algorithms , 2005, ATMOS.

[12]  Martin Gebser,et al.  Theory Solving Made Easy with Clingo 5 , 2016, ICLP.

[13]  Martin Gebser,et al.  Abstract gringo , 2015, Theory Pract. Log. Program..

[14]  Torsten Schaub,et al.  Clingo goes linear constraints over reals and integers* , 2017, Theory and Practice of Logic Programming.

[15]  Philippe Baptiste,et al.  Constraint - based scheduling : applying constraint programming to scheduling problems , 2001 .

[16]  Martin Gebser,et al.  Multi-shot ASP solving with clingo , 2017, Theory and Practice of Logic Programming.