Next generation train control system（NGTC）based on Train-Train communication realizes highly efficient train tracking control through three control strategies of constant spacing, constant time interval, and dynamic headway. Since the leader train control is random in the platoon control, how to ensure the safety of the platoon in different control strategies is very important. This paper proposes a Train-Train communication control strategy modeling and verification method based on stochastic priced timed game（SPTG）. Firstly, according to the requirements of different control strategies, a platoon control model including a leader train and follower trains is established by using SPTG automata, and the stability is verified. Secondly, taking time as the cost function, Q-learning is used to obtain the optimal driving strategy of the platoon through the platoon's SPTG automata model. Finally, combined with multi-train operation tracking scenarios, the stability simulation optimization of the platoon is carried out. The result shows that the stability error of the platoon is smaller than that of the random operation of the platoon.

train-to-train communication  /  train control system  /  SPTG  /  stability  /  modeling and verification