Advertisement

An application of an AI methodology to railway interlocking systems using computer algebra

  • Eugenio Roanes-Lozano
  • Luis M. Laita
  • Eugenio Roanes-Macías
4 Applied Artificial Intelligence and Knowledge-Based Systems in Specific Domains Decision Support Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1416)

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].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cox, D., Little, J., O'Shea, D.: Ideals, Varieties and Algorithms. Springer-Verlag, Berlin Heidelberg New York (1992).Google Scholar
  2. 2.
    Losada, M.: Curso de Ferrocarriles: Explotación Técnica. E.T.S.I. Caminos, Madrid (1991).Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    Laita, L.M., Roanes-L., E., Maojo, V.: A Knowledge Based System Verification Application to the Study of Medical Appropriateness Criteria. Preprint (1998).Google Scholar
  7. 7.
    Villamandos, L.: Sistema informático concebido por Renfe para disefiar los enclavamientos. Via Libre 348 (1993) 65.Google Scholar
  8. 8.
    Westwood, J. (ed.): Trains. Octopus Books Ltd., London (1979).Google Scholar
  9. 9.
    Anonymous: Proyecto y obra del enclavamiento electrónico de la estacion de Madrid-Atocha (Proyecto Técnico). Siemens, Madrid (1988).Google Scholar
  10. 10.
    Anonymous: Microcomputer Interlocking Hilversum. Siemens, Munich (1986).Google Scholar
  11. 11.
    Anonymous: Microcomputer Interlocking Rotterdam. Siemens, Munich (1989).Google Scholar
  12. 12.
    Anonymous: Puesto de enclavamiento con microcomputadoras de la estacion de Chiasso de los SBB. Siemens, Munich (1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Eugenio Roanes-Lozano
    • 1
  • Luis M. Laita
    • 2
  • Eugenio Roanes-Macías
    • 1
  1. 1.Dept. Algebra Edificio “La Almudena”, Paseo Juan XXIII s/n Ciudad UniversitariaUniversidad Complutense de MadridMadridSpain
  2. 2.Dept. I.A. (Fac. Informática ) Campus de MontegancedoUniversidad Politécnica de MadridMadridSpain

Personalised recommendations