HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:train control

Papers
Enhancement of blocking-time theory to represent future interlocking architectures
Thorsten Büker, Thomas Graffagnino, Eike Hennig and Alexander Kuckelberg
EasyChair Preprint no. 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
Copyright © 2012-2023 easychair.org. All rights reserved.