An applicable topology-independent model for railway interlocking systems

Mathematics and Computers in Simulation

Volumn 45, Issue 1-2, 1998, Pages 175-183

  Roanes Lozano, Eugenio ^a   Laita, Luis M ^b  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; GRAPH THEORY; INTERLOCKING SIGNALS; MATHEMATICAL MODELS;

RAILWAY INTERLOCKING SYSTEMS; SOFTWARE PACKAGE MAPLE;

COMPUTER SIMULATION;

EID: 0031699025     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0378-4754(97)00093-1     Document Type: Article

References (11)

1. L.M. Laita, L. de Ledesma, E. Roanes-L., E. Roanes-M., An Interpretation of the Propositional Boolean Algebra as a k-algebra. Effective Calculus. LNCS 958, Springer-Verlag, 1995, (pp. 255-263).
2. E. Roanes-L., L.M. Laita, E. Roanes M: Maple V in A.I.: The Boolean Algebra Associated to a KBS. CAN Nieuwsbrief 14, 1995, 65-70.
3. E. Roanes-L., L.M. Laita, Verification of Knowledge Based Systems with Commutative Algebra and Computer Algebra Techniques, in: Proceedings of the 1st International Conference on Applications of Computer Algebra (IMACS), New Mexico University, 1995, electronic book.
4. L.M. Laita, E. Roanes-L., Verification of Knowledge Based Systems: An Algebraic Interpretation, in: Proceedings IJCAI-95 (Workshop on Verification and Validation of KBSs), McGill University, Montreal, 1995, pp. 91-95.
5. E. Roanes-L., L.M. Laita: Un sistema de enclavamientos independiente de la topologia de la estacíon. In: Actas del II Simposium Ingeniería del Transporte. Vol. 2. Univ. Politécnica de Madrid, 1996, pp. 409-416.
6. E. Roanes-L., L.M. Laita, A Topology-Independent Model for Railway Interlocking Systems (Abstract), in: Proceedings of the 2nd. IMACS-ACA Conference, RISC-Linz, 1996, p. 61.
7. J. Westwood (Ed.), Trains, Octopus, 1979.
8. Proyecto y obra del enclavamiento electrónico de la estación de Madrid-Atocha (Proyecto Técnico), Siemens, 1988.
9. Microcomputer Interlocking Hilversum, Siemens, 1986.
10. Microcomputer Interlocking Rotterdam, Siemens, 1989.
11. Puesto de enclavamiento con microcomputadoras de la estación de Chiasso de los SBB. Siemens, 1989.