2026-05-27T05:32:55Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/406672026-02-03T11:23:44Zcom_10630_2254col_10630_37953

Hernando-Esteban, Antonio Roanes-Lozano, Eugenio Galán-García, José Luis Aguilera-Venegas, Gabriel 2025-11-11T12:01:01Z 2025-11-11T12:01:01Z 2023-09-15 Antonio Hernando, Eugenio Roanes-Lozano, José Luis Galán-García, Gabriel Aguilera-Venegas. Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials[J]. Electronic Research Archive, 2023, 31(10): 6160-6196. doi: 10.3934/era.2023313 https://hdl.handle.net/10630/40667 10.3934/era.2023313 Decision-making in a railway station regarding the compatibility of the positions of the switches of the turnouts and the indications (proceed/stop) of the railway colour light signals is a safety-critical issue that is considered very labor-intensive. Different authors have proposed alternative solutions to automate its supervision, which is performed by the so-called railway interlocking systems. The classic railway interlocking systems are route-based and their compatibility is predetermined (usually by human experts): only some chosen routes are simultaneously allowed. Some modern railway interlocking systems are geographical and make decisions on the fly, but are unsuitable if the station is very large and the number of trains is high. In this paper, we present a completely new algebraic model for decision-making in railway interlocking systems, based on other computer algebra techniques, that bypasses the disadvantages of the approaches mentioned above (its performance does not depend on the number of trains in the railway station and can be used in large railway stations). The main goal of this work is to provide a mathematical solution to the interlocking problems. We prove that our approach solves it in linear time. Although our approach is interesting from a theoretical perspective, it has a significant limitation: it can hardly be adopted in an actual interlocking implementation, mainly due to the heavy certification requirements for this kind of safety-critical application. Nevertheless, the results may be useful for simulations that do not require certification credit. eng http://creativecommons.org/licenses/by/4.0/ open access Atribución 4.0 Internacional Polinomios Álgebra conmutativa Toma de decisiones Transportes ferroviarios Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials journal article