Train dispatching operation danger prediction method and system based on runtime verification

A prediction method and train technology, applied in the control system of the transportation center, transportation and packaging, railway car body parts, etc., can solve the problems of large safety hazards, large control granularity, and difficult management, so as to improve safety and efficiency Effect

Active Publication Date: 2022-02-11
BEIJING JIAOTONG UNIV
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] At present, dispatchers issue dispatching orders according to the rules and regulations, and there are...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Train dispatching operation danger prediction method and system based on runtime verification
  • Train dispatching operation danger prediction method and system based on runtime verification
  • Train dispatching operation danger prediction method and system based on runtime verification

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0036] For the prediction of train operation hazards, the safety of the prediction results must be guaranteed, that is, to ensure that the prediction results are complete, and there will be no situations where the prediction results show safety, but the actual operation of the train is dangerous. At present, some ATS systems (automatic train supervision, automatic train monitoring system) can predict the execution consequences of dispatching commands through simulation. But simulation-based predictions are incomplete, and the security of results cannot be guaranteed. Runtime verification is a lightweight formal method that computes all possible execution trajectories of a system based on a specification (i.e., a set of expected security properties to be checked), thus giving a prediction of whether the system is potentially dangerous. But the existing run-time verification technology can't deal with too complicated nonlinear system, and can't adapt to the prediction of train o...

Embodiment 2

[0091] This embodiment is used to provide a train dispatching operation risk prediction system based on runtime verification, such as Figure 11 As shown, the hazard prediction system includes:

[0092] The parameterized model construction module M1 is used to establish a parameterized model of train operation control; the parameterized model includes invariant sets and flow conditions corresponding to each of the four operating states, and one of the four operating states Migration conditions between; said running state includes traction state, dragging state under resistance, normal braking state and emergency braking state;

[0093]The instantiated model building module M2 is used to obtain the line engineering data and train operation data of the line where the train is located when the dispatch instruction is issued, and determine the end position of the traffic permit according to the dispatch instruction; with the line engineering data, the train operation data and the...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to a train dispatching operation danger prediction method and system based on runtime verification. The method comprises the steps: firstly building a train operation control parameterized model, then taking line engineering data, train operation data and a driving permission end point position as the input, calculating an invariant set, a flow condition and a migration condition among four operation states, and configuring the parameterized model to obtain an instantiated model; and subjecting the instantiated model to linearization to obtain a train operation control hybrid automaton model, a train operation control hybrid automaton model is obtained, finally, solving a train operation control hybrid automaton model through a polyhedral over-approximation hybrid automaton reachable set calculation algorithm to obtain a train operation reachable set, determining whether a train will be in danger or not according to the train operation reachable set, and before the dispatching command is issued, predicting whether the dispatching command can cause the danger of train operation, so that the safety and efficiency of dispatching operation are improved.

Description

technical field [0001] The invention relates to the technical field of train dispatching risk prediction, in particular to a method and system for predicting the risk of train dispatching operation based on runtime verification. Background technique [0002] During the operation of train scheduling operations, there will be cancellations and changes of routes, which will cause sudden shortening or cancellation of train shunting routes, temporary withdrawal of MA (movement authority, traffic permit), and changes in speed limits, which may lead to Emergency braking of trains or accidents such as overspeeding, squeeze, derailment, etc. that endanger driving safety. Some of these train dispatching operations must be issued (for example, there is a landslide ahead, and the route must be adjusted), but some can be avoided or the timing of the order can be changed (for example, the route is changed to improve the efficiency of train operation, or abnormal weather is forecasted ahea...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): B61L27/10B61L27/20B61L27/60
Inventor 柴铭苏浩翔刘宏杰宿帅吕继东
Owner BEIJING JIAOTONG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap