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


    Access

    Download


    Export, share and cite



    Title :

    DANGER PREDICTION METHOD AND SYSTEM OF TRAIN SCHEDULING OPERATION BASED ON RUNTIME VERIFICATION


    Additional title:

    ランタイム検証に基づく列車スケジューリング操作の危険予測方法及びシステム


    Contributors:
    CHAI MING (author) / SU HAOXIANG (author) / LIU HONGJIE (author) / SU SHUAI (author) / LYU JIDONG (author)

    Publication date :

    2023-07-04


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Japanese


    Classification :

    IPC:    B61L Leiten des Eisenbahnverkehrs , GUIDING RAILWAY TRAFFIC




    Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata

    Chai, Ming / Wang, Haifeng / Liu, Hongjie et al. | IEEE | 2019


    Runtime Verification

    Alwyn E Goodloe | NTRS


    Train operation scheduling method and device based on train-ground integrated system and train

    ZHANG HANLIN / CHI PENGFEI / WANG YANCUI et al. | European Patent Office | 2025

    Free access