An applicable topology-independent model for railway interlocking systems
From MaRDI portal
Publication:1404698
DOI10.1016/S0378-4754(97)00093-1zbMath1017.90515MaRDI 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
Mathematical models; Algorithms; Graph theory; Computer simulation; Computer software; Interlocking signals; Railway interlocking systems; Software package Maple
90B50: Management decision making, including multiple objectives
Related Items
A logic approach to decision taking in a railway interlocking system using Maple, 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, A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking, Revisiting the 7/23 train accident using computer reconstruction simulation for causation and prevention analysis
Uses Software