Abstract
In railway simulation, given timetables have to be checked against various criteria, mainly correctness and robustness. Most existing approaches use classical centralized simulation techniques. This work goes beyond that in two main aspects: We use constraint satisfaction to get rid of deadlock problems and the simulation is done distributedly for better performance. This should make it possible to solve very large railway simulation problems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aggoun, A., Beldiceanu, N.: Extending CHIP in order to solve complex scheduling and placement problems. Mathematical and Computer Modelling (1993)
Apache Software Foundation. Apache Tomcat, http://jakarta.apache.org/tomcat/
Berlandier, P., Neveu, B.: Problem partition and solvers coordination in distributed constraint satisfaction. In: Proc. Workshop on Parallel Processing in Articial Intelligence (PPAI 1995), Montreal, Canada (1995)
Chandy, K.M., Sherman, R.: Space-time and simulation. In: Proc. SCS Multiconference on Distributed Simulation (1989)
de Oliveira, E.S.: Solving Single-Track Railway Scheduling Problem Using Constraint Programming. PhD thesis, The University of Leeds, UK (2001)
Deutsche Bahn, A.G.: Daten und Fakten (2002)
Ferscha, A.: Parallel and distributed simulation of discrete event systems. In: Handbook of Parallel and Distributed Computing. McGraw-Hill, New York (1995)
Fujimoto, R.M.: Parallel discrete event simulation. Communications of the ACM 33(10), 30–52 (1990)
Hannebauer, M.: Autonomous Dynamic Reconfiguration in Collaborative Problem Solving. PhD thesis, Technische Universität Berlin (2001)
Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)
Hürlimann, D.: Objektorientierte Modellierung von Infrastrukturelementen und Betriebsvorgängen im Eisenbahnwesen. PhD thesis, Eidgenössische Technische Hochschule Zürich (2001)
Klahn, V.: Die Simulation großer Eisenbahnnetze. PhD thesis, Universität Hannover (1994)
Matzke, D., Bolemant, M.: Modellierung innovativer Systemtechniken der Zugbeeinflussung mit constraint-logischer Programmierung. In: ASIM – Symposium Simulationstechnik. SCS Europe (2003)
Merrifield, B.C., Richardson, S.B., Roberts, J.B.G.: Quantitative studies of discrete event simulation modelling of road traffic. In: Proc. SCS Multiconference on Distributed Simulation (1990)
Pachl, J.: Systemtechnik des Schienenverkehrs. B. G. Teubner (2000)
Ringwelski, G.: Asynchrones Constraintlösen. PhD thesis, Technische Universität Berlin (2003)
Schlenker, H.: Distributed Constraint-based Railway Simulation. PhD thesis, Technische Universität Berlin (to appear)
Schoder, D., Fischbaum, K., Teichmann, R. (eds.): Peer-to-Peer. Springer, Heidelberg (2002)
Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The distributed constraint satisfaction problem: Formalization and algorithms. IEEE Transactions on Knowledge and Data Engineering 10(5) (September 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schlenker, H. (2005). Distributed Constraint-Based Railway Simulation. In: Seipel, D., Hanus, M., Geske, U., Bartenstein, O. (eds) Applications of Declarative Programming and Knowledge Management. INAP WLP 2004 2004. Lecture Notes in Computer Science(), vol 3392. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11415763_14
Download citation
DOI: https://doi.org/10.1007/11415763_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25560-4
Online ISBN: 978-3-540-32124-8
eBook Packages: Computer ScienceComputer Science (R0)