Abstract
We describe the periodic event scheduling problem (PESP) based on periodic event networks and extend it by symmetry constraints. The modeling power of the PESP is discussed for automatic calculation of feasible periodic railway timetables. Including the described extensions, complete modeling of integrated regular-interval timetables is possible. Encoding the PESP to propositional logic enables the usage of efficient SAT solvers for solving the PESP. However, optimizing timetables by linear programming is possible, too. As almost all real-world timetable problems are heavily overconstrained, methods for automatic resolving of conflicts are described. Since there is still a lack of efficient conflict resolving algorithms for large-scale intermeshed railway networks, we introduce several strategies for efficiently resolving conflicts and intelligently decomposing timetable problems and discuss the trade-off between computation time and reduction of the solution space. These strategies allow quick adaption to small changes as well. The described methods are implemented in the software system TAKT. We apply the enhanced TAKT to a timetabling study and present some key figures and results.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.