 A logic approach to decision taking in a railway interlocking system using MapleEugenio Roanes-Lozano, Antonio Hernando, Jose Antonio Alonso and Luis M. Laita Mathematics and Computers in Simulation (MATCOM), 2011, vol. 82, issue 1, 15-28 Abstract: Railway interlocking systems are apparatuses that prevent conflicting movements of trains through an arrangement of tracks. A railway interlocking system takes into consideration the position of the switches (of the turnouts) and does not allow trains to be given clear signals unless the routes to be used by the trains do not intersect. A new model, based on Boolean Logic, and independent from the topology of the station is presented in this paper. According to this new model, any given proposed situation is safe if and only if a certain set of formulae (translating the position of trains and the movements allowed – the latter depend on the position of the switches and the colour of the semaphores) is consistent. The main procedure analyses the safety of a proposed situation and returns, if they exist, the sections where a collision could take place. The fact that trains could occupy more than one section is considered. The code of the corresponding Maple implementation is surprisingly brief. Keywords: Railway interlocking systems; Logic; Decision theory; Graph theory (search for similar items in EconPapers) Downloads: (external link) Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:82:y:2011:i:1:p:15-28 DOI: 10.1016/j.matcom.2010.05.024 Access Statistics for this article Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.