Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
In 2020, the EU launched its sustainable and smart mobility strategy, outlining how it plans
to have a 90% reduction in transport emission by 2050. Central to achieving this goal will be …
to have a 90% reduction in transport emission by 2050. Central to achieving this goal will be …
A symbolic design method for ETCS Hybrid Level 3 at different degrees of accuracy
Abstract The European Train Control System (Hybrid) Level 3 (ETCS Hybrid Level 3) allows
for introducing Virtual Subsections (VSS) into existing railway infrastructures. These VSS …
for introducing Virtual Subsections (VSS) into existing railway infrastructures. These VSS …
Design tasks and their complexity for Hybrid Level 3 of the European Train Control System
S Engels, T Peham, J Przigoda, N Przigoda… - ar** with the need for sustainable transportation. This can be achieved by intelligently …
[PDF][PDF] Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection
Increasing the capacity of our railway infrastructure will become more and more essential in
co** with the need for sustainable transportation. This can be achieved by intelligently …
co** with the need for sustainable transportation. This can be achieved by intelligently …