High speed trains are currently meant to run faster and to carry heavier loads, while being less energy consuming and still respecting the security and comfort certification criteria. To face these challenges, a better understanding of the interaction between the dynamic train behavior and the track geometry is needed. As during its lifecycle, the train faces a great variability of track condit...

Interlockings implement Railway Signalling Principles which ensure the safe movements of trains along a track system. They are safety critical systems which require a thorough analysis. We are aiming at supporting the safety analysis by automated tools, namely model checkers. Model checking provides a full state space exploration and is thus intrinsically limited in the problem’s state space. C...

We consider the problem of determining the capacity of a planned railway infrastructure layout under uncertainties In order to address the long term nature of the problem in which the exact future demand of service is un known we develop a timetable free approach to avoid the speci cation of a particular timetable We consider a generic infra element that allows a con cise representation of many...

It is known, that track deterioration (loss of its geometry) strongly depends on track support conditions, particularly on the ballast. In this paper a novel approach is presented to predict the evolution of track vertical irregularities due to vehicle-track dynamic interaction taking into account ballast stiffness with dry friction. An applied vehicle-track model is composed of a railway car a...