Stochastic Delay Analysis for Train Control Services in Next-Generation High-Speed Railway Communications System

2016 ◽  
Vol 17 (1) ◽  
pp. 48-64 ◽  
Author(s):  
Lei Lei ◽  
Jiahua Lu ◽  
Yuming Jiang ◽  
Xuemin Sherman Shen ◽  
Ying Li ◽  
...  
Keyword(s):  
High Speed ◽  
Delay Analysis ◽  
Next Generation ◽  
High Speed Railway ◽  
Stochastic Delay ◽  
Train Control ◽  
Communications System

scholarly journals Expanding Plan Study of KRTCS-2(Korean Radio Train Control System for Conventional & High Speed Railway)

2017 ◽  
Vol 66 (3) ◽  
pp. 533-539
Author(s):  
Kang-Gyoo Lee ◽  
Jong-gwoan Choi ◽  
Dong-Il Sung ◽  
Hak-Sun Yun ◽  
Jong-Won Park ◽  
...  
Keyword(s):  
Control System ◽  
High Speed ◽  
High Speed Railway ◽  
Train Control ◽  
Train Control System ◽  
Plan Study

Research on Formal Modeling Based on CPN for Movement Authority of High-Speed Railway CTCS-3

2012 ◽  
Vol 220-223 ◽  
pp. 2783-2787
Author(s):  
Shu Xu Zhao ◽  
Xiao Ming Wang ◽  
Ai Ling Zhang
Keyword(s):  
Control System ◽  
High Speed ◽  
Formal Model ◽  
Colored Petri Nets ◽  
Formal Modeling ◽  
High Speed Railway ◽  
Train Control ◽  
Transmission Process ◽  
Train Control System ◽  
Information Change

Train Movement Authority(MA) concerns train movement safety. This paper proposed a formal model for Chinese Train Control System-3(CTCS-3) based on train MA. Paper analyzed the rounded CTCS-3, formed MA computation models for various application functions, and finished MA hierarchical and functional computation models based on Colored Petri Nets(CPN). The results of experiment demonstrates that the model proposed in this paper is effective, it can reflect the whole information change and transmission process of CTCS-3 accurately, and can help to design and develop MA of CTCS-3.

Sign in / Sign up

Export Citation Format

Share Document