Keyword:train control

Publications
Enhancement of blocking-time theory to represent future interlocking architectures Thorsten Büker, Thomas Graffagnino, Eike Hennig and Alexander Kuckelberg EasyChair Preprint 897
Benchmark problem: an air brake model for trains Luca Parolini, Simone Schuler and Adolfo Anta In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems