An applicable topology-independent model for railway interlocking systems

DOI10.1016/S0378-4754(97)00093-1zbMATH Open1017.90515OpenAlexW2024506326MaRDI QIDQ1404698FDOQ1404698

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

Recommendations

• A logic approach to decision taking in a railway interlocking system using Maple
• An approach from answer set programming to decision making in a railway interlocking system
• A logic-algebraic approach to decision taking in a railway interlocking system
• A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
• Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system

zbMATH Keywords

Mathematical modelsAlgorithmsGraph theoryComputer simulationComputer softwareInterlocking signalsRailway interlocking systemsSoftware package Maple

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50)

Cited In (9)

• Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system
• Revisiting the 7/23 train accident using computer reconstruction simulation for causation and prevention analysis
• 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
• Title not available (Why is that?)
• An approach from answer set programming to decision making in a railway interlocking system
• A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
• Evolution of railway network flexibility: The Spanish broad gauge case
• Security codes in railway interlocking systems.

Uses Software

• Maple

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1404698)