High-speed train control systems are at the forefront of modern railway engineering, integrating advanced computing, communication networks and control strategies to ensure navigation precision, ...
The train control system is the heart of Chinese high-speed railways, which is a core technology to ensure safe operation as well as high throughput of trains (see Figure 1). The correctness of the ...