Model-based veriﬁcation method for solving the parameter uncertainty in the train control system $ /Ruijun Cheng a , Jin Zhou - Cheng,Ruijun