System safety property-oriented test sequences generating method based on model checking
A novel peak power demand reduction strategy under a moving block signalling system
Research on a novel train positioning method with a single image
A framework for modeling train control systems based on agent and cellular automata