Stability Optimization and Verification Based on SPTG of Constant Distance Control Strategy in Train-Train Communication Train Control System

被引:0
|
作者
Lu, Wanli [1 ]
Lv, Jidong [1 ,2 ]
Dong, Haixia [1 ]
Liu, Hongjie [1 ]
Chai, Ming [1 ]
Su, Shuai [2 ]
Guo, Xiwang [3 ]
机构
[1] Beijing Jiaotong Univ, Natl Engn Res Ctr Rail Transportat Operat & Contr, Beijing 100044, Peoples R China
[2] Beijing Jiaotong Univ, State Key Lab Rail Traff Control Safety, Beijing 100044, Peoples R China
[3] Liaoning Shihua Univ, Comp & Commun Engn Coll, Fushun 113001, Peoples R China
基金
北京市自然科学基金;
关键词
Train-Train communication; Train Control System; SPTG; Stability; Modeling and Verification;
D O I
10.1109/CCDC52312.2021.9602794
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Next Generation Train Control System (NGTC) based on train-train communication can efficiently realize train tracking control through constant distance strategy. How to ensure the stability of the platoon with the control strategy is very crucial since the leader train action is random in the platoon control. Based on Stochastic Priced Timed Game (SPTG), we propose a train-train communication control strategy modeling and verification method. Firstly, according to the control strategy's requirements, a platoon control model including a leader train and follower trains are established and the stability are verified by SPTG automata. Secondly, using time expansion as the cost function, the optimal operation strategy of the platoon is obtained through combination of the cooperative game of the platoon's SPTG automata model and Q-learning. Finally, the stability optimization objection of the platoon is simulated in single-train operation, two-train operation and multi-train operation tracking scenarios. Compared with the random operation of the platoon, the result shows that this method can make the platoon stability error smaller.
引用
收藏
页码:287 / 292
页数:6
相关论文
共 50 条
  • [31] Formal verification of safety protocol in train control system
    Yan Zhang
    Tao Tang
    KePing Li
    Jose Manuel Mera
    Li Zhu
    Lin Zhao
    TianHua Xu
    Science China Technological Sciences, 2011, 54 : 3078 - 3090
  • [32] Formal Modeling, Verification and Implementation of a Train Control System
    AskariHemmat, MohammadHossein
    Mohamed, Otmane Ait
    Boukadoum, Mounir
    2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 134 - 137
  • [33] Verification and Implementation of the Protocol Standard in Train Control System
    Jiang, Yu
    Zhang, Hehua
    Song, Xiaoyu
    Hung, William N. N.
    Gu, Ming
    Sun, Jiaguang
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 549 - 558
  • [34] Formal verification of safety protocol in train control system
    Zhang Yan
    Tang Tao
    Li KePing
    Mera, Jose Manuel
    Zhu Li
    Zhao Lin
    Xu TianHua
    SCIENCE CHINA-TECHNOLOGICAL SCIENCES, 2011, 54 (11) : 3078 - 3090
  • [35] Decomposing Automatic Train Control Verification System with Projection
    Xu, Jing
    Chen, Xiaohong
    Zhou, Tingliang
    Yuan, Zhengheng
    Huang, Kezhen
    2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 301 - 308
  • [36] Yaw stability control strategy of modern trackless train
    Zhang L.-W.
    Liu J.-Q.
    Zhang M.-L.
    Song Z.-C.
    Jiaotong Yunshu Gongcheng Xuebao/Journal of Traffic and Transportation Engineering, 2023, 23 (02): : 240 - 250
  • [37] Formal verification of safety protocol in train control system
    ZHANG YanTANG TaoLI KePingMERA Jose ManuelZHU LiZHAO Lin XU TianHua State Key Laboratory of Rail Traffic Control and SafetyBeijing Jiaotong UniversityBeijing China Railway Technologies Research CentreUniversidad Politcnica de MadridMadrid Spain
    Science China(Technological Sciences), 2011, 54 (11) : 3078 - 3090
  • [38] Formal verification of safety protocol in train control system
    ZHANG Yan1
    2 Railway Technologies Research Centre
    Science China(Technological Sciences) , 2011, (11) : 3078 - 3090
  • [39] Collaborative optimization of train timetable and train formation plan combined with passenger flow control strategy
    Ding, Miaomiao
    Wang, Yihui
    Zhou, Yicheng
    Zhao, Kangqi
    Zhu, Songwei
    Thywoo, Krishdyologhy Muhammad
    2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 4538 - 4543
  • [40] Collaborative optimization for metro train scheduling and train connections combined with passenger flow control strategy
    Liu, Renming
    Li, Shukai
    Yang, Lixing
    OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, 2020, 90