To provide a danger prediction method and system of train scheduling operation based on runtime verification.SOLUTION: The danger prediction method includes: establishing a parametric model of train operation control; forming the parametric model by calculating a transition condition between an invariant aggregation, a flow condition and four kinds of operation states with track construction data, train operation data and a travel permission end point position as input so as to obtain an instantiation model; linearizing the instantiation model so as to obtain a hybrid automaton model of the train operation control; obtaining a train operation attainable aggregation by solving the hybrid automaton model of the train operation control using a polyhedron over-approximation hybrid automaton attainable aggregation calculation algorithm; and determining whether or not a danger occurs on a train according to the train operation attainable aggregation so as to predict whether or not a scheduling command causes a danger of train operation before issuing the scheduling command.SELECTED DRAWING: Figure 1
【課題】ランタイム検証に基づく列車スケジューリング操作の危険予測方法及びシステムを提供する。【解決手段】本発明は、まず列車運行制御のパラメトリックモデルを確立し、次に、路線工事データ、列車運行データ及び走行許可終点位置を入力として、不変集合、フロー条件及び4種類の運行状態の間の遷移条件を計算することにより、パラメトリックモデルを構成してインスタンス化モデルを得る。さらにインスタンス化モデルを線形化して、列車運行制御のハイブリッドオートマトンモデルを得て、最後に、多面体過大近似ハイブリッドオートマトン可到達集合計算アルゴリズムを利用して、列車運行制御のハイブリッドオートマトンモデルを解いて、列車運行可到達集合を得て、列車運行可到達集合に従って列車に危険が発生するか否かを決定し、さらにスケジューリングコマンドを出す前に、該スケジューリングコマンドが列車運行の危険を引き起こすか否かを予測できる。【選択図】図1
DANGER PREDICTION METHOD AND SYSTEM OF TRAIN SCHEDULING OPERATION BASED ON RUNTIME VERIFICATION
ランタイム検証に基づく列車スケジューリング操作の危険予測方法及びシステム
2023-07-04
Patent
Electronic Resource
Japanese
IPC: | B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC |
NTRS
|Train operation scheduling method and device based on train-ground integrated system and train
European Patent Office | 2025
|TRAIN OPERATION SCHEDULING ASSIST SYSTEM AND DATA STRUCTURE OF DATA ABOUT TRAIN OPERATION SCHEDULING
European Patent Office | 2020
|