Roanes-Lozano, Eugenio; Roanes-Macías, Eugenio; Laita, … - In: Mathematics and Computers in Simulation (MATCOM) 51 (2000) 5, pp. 473-481
Railway interlocking systems are designed to prevent conflicting actions (related to the position of switches and signals) during everyday railway exploitation. A decision model (independent from the topology of the station) based on the use of polynomial ideals and Gröbner bases is presented....