An applicable topology-independent model for railway interlocking systems

DOI10.1016/S0378-4754(97)00093-1MaRDI QIDQ1404698zbMATH OpenOpenAlexFDO

Authors Eugenio Roanes-Lozano, Luis M. Laita

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

Management decision making, including multiple objectives (90B50)

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

Cited in

(11)

• A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
• Logical foundations of group traffic control of trains
• A logic-algebraic approach to decision taking in a railway interlocking system
• Security codes in railway interlocking systems.
• A logic approach to decision taking in a railway interlocking system using Maple
• Evolution of railway network flexibility: The Spanish broad gauge case
• Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system
• scientific article; zbMATH DE number 6513409 (Why is no real title available?)
• An approach from answer set programming to decision making in a railway interlocking system
• Discrete-event models of a railway network
• Revisiting the 7/23 train accident using computer reconstruction simulation for causation and prevention analysis

Describes a project that uses

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)