A logic approach to decision taking in a railway interlocking system using Maple

DOI10.1016/j.matcom.2010.05.024zbMath1237.90149OpenAlexW2060992531MaRDI QIDQ417950

Jose Antonio Alonso, Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita

Publication date: 14 May 2012

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

Full work available at URL: https://doi.org/10.1016/j.matcom.2010.05.024

zbMATH Keywords

decision theorygraph theorylogicrailway interlocking systems

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Case-oriented studies in operations research (90B90) Other applications of logic (03B80)

Related Items (4)

An algebraic approach for detecting nearly dangerous situations in expert systems ⋮ 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

Uses Software

• Maple

Cites Work

• Case study: Formal verification of a computerized railway interlocking
• An applicable topology-independent model for railway interlocking systems
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Unnamed Item

This page was built for publication: A logic approach to decision taking in a railway interlocking system using Maple