Model-based verification method for solving the parameter uncertainty in the train control system

Ruijun Cheng, Jin Zhou, Dewang Chen, Yongduan Song. Model-based verification method for solving the parameter uncertainty in the train control system. Rel. Eng. & Sys. Safety, 145:169-182, 2016. [doi]

Authors

Ruijun Cheng

This author has not been identified. Look up 'Ruijun Cheng' in Google

Jin Zhou

This author has not been identified. Look up 'Jin Zhou' in Google

Dewang Chen

This author has not been identified. Look up 'Dewang Chen' in Google

Yongduan Song

This author has not been identified. Look up 'Yongduan Song' in Google