Application of formal methods to signalling systems using techniques based on stepwise refinement
Effect of wheel-slip prevention control using nonlinear robust control theory
Wheel slip prevention control based on nonlinear robust control theory
Current situation and development of railway signal in China
Vehicle Track Systems Newsletter