|
|||||
|
|
A logic approach to decision taking in a railway interlocking system using Maple |
|
| Authors: | Eugenio Roanes-Lozano Antonio Hernando |
| Affiliation: | a Departamento de Algebra, Facultad de Educación, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040 Madrid, Spain b Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Informática, Universidad Politécnica de Madrid, Carretera de Valencia km 7, 28031 Madrid, Spain c Depto. de CC. de la Computación e Inteligencia Artificial, E.T.S.I. Informática, Universidad de Sevilla, Av. Reina Mercedes s/n, 41012 Sevilla, Spain d Depto. de Inteligencia Artificial, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo, 28660 Boadilla del Monte, Madrid, Spain |
| 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 |
| 本文献已被 ScienceDirect 等数据库收录！ | |