Abstract
A decision model for railway interlocking systems (independent of the topology of the station) is presented. The safety of a situation is decided by checking (using Gröbner Bases) whether or not a certain ideal of a polynomial ring has degenerated into the whole polynomial ring. This ideal somehow translates the oriented graph associated to the situation of trains, switches and signals (or semaphores).
If a section is accessible by a train located in another given section can also be checked by testing an ideal membership. The fact that trains could occupy more than one section does not affect the model.
The authors have developed a method for dealing with verification and knowledge extraction in Expert Systems [3]. Such a method, altered, is reused in the decision support methods used both in this article and in an application to appropriateness criteria in Medicine [6].
Partially supported by projects DGES PB96-0098-C04-03, PB96-0098-C04-O1.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cox, D., Little, J., O'Shea, D.: Ideals, Varieties and Algorithms. Springer-Verlag, Berlin Heidelberg New York (1992).
Losada, M.: Curso de Ferrocarriles: Explotación Técnica. E.T.S.I. Caminos, Madrid (1991).
Roanes-L., E., Laita, L.M., Roanes-M., E.: Maple V in A.I.: The Boolean Algebra Associated to a KBS. CAN Nieuwsbrief 14 (1995) 65–70.
Roanes-L., E., Laita, L.M.: Un sistema de enclavamientos independiente de la topología de la estacíon. In: Actas del II Simposium Ingeniería del Transporte. Vol. 2. Univ. Politecnica de Madrid (1996) 409–416.
Roanes-L., E., Laita, L.M.: An Applicable Topology-Independent Model for Railway Interlocking Systems. In: Roanes-L., E., Steinberg, S., Hong, H. (eds.): Non Standard Applications of Computer Algebra. Mathematics and Computers in Simulation (Special Issue) 45/1 (1998) 175–184.
Laita, L.M., Roanes-L., E., Maojo, V.: A Knowledge Based System Verification Application to the Study of Medical Appropriateness Criteria. Preprint (1998).
Villamandos, L.: Sistema informático concebido por Renfe para disefiar los enclavamientos. Via Libre 348 (1993) 65.
Westwood, J. (ed.): Trains. Octopus Books Ltd., London (1979).
Anonymous: Proyecto y obra del enclavamiento electrónico de la estacion de Madrid-Atocha (Proyecto Técnico). Siemens, Madrid (1988).
Anonymous: Microcomputer Interlocking Hilversum. Siemens, Munich (1986).
Anonymous: Microcomputer Interlocking Rotterdam. Siemens, Munich (1989).
Anonymous: Puesto de enclavamiento con microcomputadoras de la estacion de Chiasso de los SBB. Siemens, Munich (1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roanes-Lozano, E., Laita, L.M., Roanes-Macías, E. (1998). An application of an AI methodology to railway interlocking systems using computer algebra. In: Pasqual del Pobil, A., Mira, J., Ali, M. (eds) Tasks and Methods in Applied Artificial Intelligence. IEA/AIE 1998. Lecture Notes in Computer Science, vol 1416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64574-8_455
Download citation
DOI: https://doi.org/10.1007/3-540-64574-8_455
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64574-0
Online ISBN: 978-3-540-69350-5
eBook Packages: Springer Book Archive