Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway.

Published in: FORMS/FORMAT (2010)

Keyphrases

control system
genetic algorithm
chinese text
real time
decision making
image processing
objective function
cost function
optimization method
convergence rate