Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials

Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials

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 sol...

Full description

Bibliographic Details
Main Authors: Antonio Hernando, Eugenio Roanes-Lozano, José Luis Galán-García, Gabriel Aguilera-Venegas
Format: Article
Language:English
Published: AIMS Press 2023-09-01
Series:Electronic Research Archive
Subjects:
railway interlocking system
computer algebra
decision making
groebner bases
commutative algebra
Online Access:https://www.aimspress.com/article/doi/10.3934/era.2023313?viewType=HTML

Internet

https://www.aimspress.com/article/doi/10.3934/era.2023313?viewType=HTML

Similar Items