RT Journal Article
T1 An interlocking system determining the configuration of rail traffic control elements to ensure safety
A1 Hernando-Esteban, Antonio
A1 Aguilera-Venegas, Gabriel
A1 Galán-García, José Luis
A1 Nazary, Sheida
K1 Polinomios
K1 Álgebra conmutativa
K1 Transportes ferroviarios
K1 Toma de decisiones
AB Railway interlocking systems are essential safety components in rail transportation, designed to prevent train collisions. They regulate the transitions between sections of a railway station using rail traffic control elements. An interlocking system can assess whether the configuration of these control elements poses a collision risk. Over the years, researchers have developed various algebraic models to tackle this issue, highlighting the potential use of computer algebra systems in implementing interlocking systems. In this work, we aim to enhance these systems' capabilities. Not only will they indicate whether a situation is dangerous, but if it is, they will also provide guidance on how to configure certain rail traffic control elements to ensure safety. In this paper, we introduce an algebraic model that represents the railway station through polynomials. This approach transforms the task of identifying dangerous situations into calculating the residue of a polynomial over a set of polynomials. The monomials contained in this residue polynomial encode all possible configurations that would render the situation safe.
PB AIMS Press
YR 2024
FD 2024-07-04
LK https://hdl.handle.net/10630/40658
UL https://hdl.handle.net/10630/40658
LA eng
NO Antonio Hernando, Gabriel Aguilera-Venegas, José Luis Galán-García, Sheida Nazary. An interlocking system determining the configuration of rail traffic control elements to ensure safety[J]. AIMS Mathematics, 2024, 9(8): 21471-21495. doi: 10.3934/math.20241043
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