An applicable topology-independent model for railway interlocking systems

DOI10.1016/S0378-4754(97)00093-1zbMath1017.90515OpenAlexW2024506326MaRDI QIDQ1404698

Luis M. Laita, Eugenio Roanes-Lozano

Publication date: 21 August 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0378-4754(97)00093-1

zbMATH Keywords

Mathematical modelsAlgorithmsGraph theoryComputer simulationComputer softwareInterlocking signalsRailway interlocking systemsSoftware package Maple

Mathematics Subject Classification ID

Related Items (6)

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking ⋮ A logic approach to decision taking in a railway interlocking system using Maple ⋮ Revisiting the 7/23 train accident using computer reconstruction simulation for causation and prevention analysis ⋮ A logic-algebraic approach to decision taking in a railway interlocking system ⋮ An approach from answer set programming to decision making in a railway interlocking system ⋮ Evolution of railway network flexibility: The Spanish broad gauge case

Uses Software

• Maple

This page was built for publication: An applicable topology-independent model for railway interlocking systems