RT Journal Article
T1 A fast and general algebraic approach to Railway Interlocking System across all train stations
A1 Hernando-Esteban, Antonio
A1 Galán-García, José Luis
A1 Aguilera-Venegas, Gabriel
K1 Polinomios
K1 Álgebra conmutativa
K1 Transportes ferroviarios
K1 Toma de decisiones
AB Railway interlocking systems are crucial safety components in rail transportation, designed to prevent train collisions by regulating switch positions and signal indications. These systems delineate potential train movements within a railway station by connecting sections into routes, which are further divided into blocks. To ensure safety, the system prohibits the simultaneous allocation of the same block or intersecting routes to multiple trains. In this study, we characterize the 'interlocking problem' as a safety verification task for a single real-time station configuration, rather than a 'command and control' function. This is a matter of verification, not solution, typically managed by an interlocking system that receives movement authority requests. Over the years, we have developed various algebraic models to address this issue, suggesting the potential use of computer algebra systems in implementing interlocking systems. However, some of these models exhibit limitations. In this paper, we propose a novel algebraic model for decision-making in railway interlocking systems that overcomes the limitations of previous approaches, making it suitable for large railway stations. Our primary objective is to offer a mathematical solution to interlocking problems in linear time, which our approach accomplishes.
PB AIMS Press
YR 2024
FD 2024-02-22
LK https://hdl.handle.net/10630/40660
UL https://hdl.handle.net/10630/40660
LA eng
NO Antonio Hernando, José Luis Galán-García, Gabriel Aguilera-Venegas. A fast and general algebraic approach to Railway Interlocking System across all train stations[J]. AIMS Mathematics, 2024, 9(3): 7673-7710. doi: 10.3934/math.2024373
NO © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026