scholarly journals Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain

Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 503
Author(s):  
Zicong Meng ◽  
Tao Tang ◽  
Guodong Wei ◽  
Lei Yuan

With the gradual maturity of the automatic train operation (ATO) system in subways, its application scope has also expanded to the high-speed railway field. Considering that the ATO system is still in the early stages of operation, it will take time to fully mature, and definite specifications of the requirements for system operation have not yet been formed. This paper presents the operational design domain (ODD) of the high-speed railway ATO system and proposes a scenario analysis method based on the operational design domain to obtain the input conditions of the system requirements. The article models and verifies the scenario of the linkage control of the door and platform door based on the UPPAAL tools and extracts the input and expected output of the system requirements of the vehicle ATO system. Combined with the input conditions of the system requirements, the system requirements of the vehicle ATO in this scenario are finally obtained, which provides a reference for future functional specification generation and test case generation.

Author(s):  
Minling Feng ◽  
Chaoxian Wu ◽  
Shaofeng Lu ◽  
Yihui Wang

Automatic train operation (ATO) systems are fast becoming one of the key components of the intelligent high-speed railway (HSR). Designing an effective optimal speed trajectory for ATO is critical to guide the high-speed train (HST) to operate with high service quality in a more energy-efficient way. In many advanced HSR systems, the traction/braking systems would provide multiple notches to satisfy the traction/braking demands. This paper modelled the applied force as a controlled variable based on the selection of notch to realise a notch-based train speed trajectory optimisation model to be solved by mixed integer linear programming (MILP). A notch selection model with flexible vertical relaxation was proposed to allow the traction/braking efforts to change dynamically along with the selected notch by introducing a series of binary variables. Two case studies were proposed in this paper where Case study 1 was conducted to investigate the impact of the dynamic notch selection on train operations, and the optimal result indicates that the applied force can be flexibly adjusted corresponding to different notches following a similar operation sequence determined by optimal train control theory. Moreover, in addition to the maximum traction/braking notches and coasting, medium notches with appropriate vertical relaxation would be applied in accordance with the specific traction/braking demands to make the model feasible. In Case study 2, a comprehensive numerical example with the parameters of CRH380AL HST demonstrates the robustness of the model to deal with the varying speed limit and gradient in a real-world scenario. The notch-based model is able to obtain a more realistic optimal strategy containing dynamic notch selection and speed trajectory with an increase (1.622%) in energy consumption by comparing the results of the proposed model and the non-notch model.


2012 ◽  
Vol 253-255 ◽  
pp. 1273-1277
Author(s):  
Xue Dong Du ◽  
Na Ren

The research of high-speed railway running economic benefit is important to timely know well the train operation state for the railway administration. A prediction model of high-speed railway running economic benefit is proposed in this article based on Gray model. The Gray model is a good example to make accurate prediction of the development of matters. According to the data analysis of Beijing and Shanghai railway stations, we can know that the result of prediction model is accurate, so the prediction based on Gray model is scientific and reasonable in the practical application.


Author(s):  
L. Nie ◽  
D. B. Fei ◽  
S. D. Zhou ◽  
H. L. Fu ◽  
L. Tong

The Beijing-Shanghai High speed railway line (Hereinafter referred to as “Jing-Hu HSL”) is one of the most important railway lines in the Chinese rapid passenger transportation network and will be put into operation at the end of 2011. Train line planning directly reflects the quality and competition ability of train services. The characteristics of operational conditions and passenger flow of this corridor HSL bring about a few new issues on train line planning like night train operation, train OD sets, cyclic operation, and train stop schedule. For the first issue, a large amount of long distance travel demand put forward the demand for night services, which causes great conflict with the time-window for maintenance work. The confliction can be solved by harmoniously utilizing the parallel lines. For the second one, in view of the differences of technical and economic factors between HSL and conventional railways, high frequency and medium-long distance train will dominate HSL’s train service plan rather than low frequency and long distance trains on conventional railways. Thus, part of long-distance passenger flow has to transfer at some stations. Considering the whole possible ODs over Jing-Hu HSL and the transfer condition of related stations, the optimal OD sets and corresponding transfer plan is suggested. High frequency makes HSL possible to operate trains cyclically to improve service quality. However, with too many train ODs and some special trains, e.g. night train, an incomplete cyclic train operation mode is more practical. The ODs which can provide cyclic service for Jing-Hu HSL need to be identified. For the last issue, although non-stop long-distance train is a very popular kind of service in China, it should be reconsidered for Jing-Hu HSL line because of massive intercity travel demand and regular stops required. Each of the above issues is very complex. What is more, they have close relationship between each other. Due to limited space, the methods used to solve these issues are given in conceptual way rather than detailed description of mathematical model. The research paves the way for future integration study to design an efficient, economic, convenient, and regular train service plan for Jing-Hu HSL.


2014 ◽  
Vol 2014 ◽  
pp. 1-10 ◽  
Author(s):  
Wenchuan Cai ◽  
Wenhao Liao ◽  
Danyong Li ◽  
Yongduan Song

Train traction/braking control, one of the key enabling technologies for automatic train operation, literally takes its action through adhesion force. However, adhesion coefficient of high speed train (HST) is uncertain in general because it varies with wheel-rail surface condition and running speed; thus, it is extremely difficult to be measured, which makes traction/braking control design and implementation of HSTs greatly challenging. In this work, force observers are applied to estimate the adhesion force or/and the resistance, based on which simple traction/braking control schemes are established under the consideration of actual wheel-rail adhesion condition. It is shown that the proposed controllers have simple structure and can be easily implemented from real applications. Numerical simulation also validates the effectiveness of the proposed control scheme.


Innotrans ◽  
2016 ◽  
pp. 6-9
Author(s):  
Jia Gao ◽  
◽  
Lu Li ◽  
Jiuhong Ruan ◽  
Feng Nan ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document