UPPAAL-based simulation and verification of CBTC zone control subsystem in rail transportation

被引：0
|
作者：
Lü, Ji-Dong [1 ]
Tang, Tao [1 ]
Yan, Fei [1 ]
Xu, Tian-Hua [1 ]
机构：
[1] State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044, China
来源：
Tiedao Xuebao/Journal of the China Railway Society | 2009年 / 31卷 / 03期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Control systems
引用
收藏
页码：59 / 64
相关论文
共 50 条
  • [1] UPPAAL-based Software-Defined Network Verification
    Podymov, Vladislav
    Popesko, Uliana
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 9 - 14
  • [2] UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations
    Dust, Lukas
    Gu, Rong
    Seceleanu, Cristina
    Ekstrom, Mikael
    Mubeen, Saad
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2024, 2024, 14952 : 40 - 59
  • [3] The Function Design for the Communication-Based Train Control (CBTC) System: How to Solve the Problems in the Underground Mine Rail Transportation?
    Yu, Haoxuan
    Li, Shuai
    APPLIED SYSTEM INNOVATION, 2021, 4 (02)
  • [4] Simulation Research on Voltage Stabilization Control Strategy for Rail Transportation Traction Grid Based on HESS
    Lin, Shili
    Song, Wenji
    Luo, Ling
    Feng, Ziping
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES FOR RAIL TRANSPORTATION: ELECTRICAL TRACTION, 2016, 377 : 65 - 75
  • [5] Rail Radio Intrusion Detection System (RRIDS) for Communication Based Train Control (CBTC)
    Melaragno, Anthony
    Bandara, K.R. Damindra S.
    Fewell, Ajay
    Wijesekera, Duminda
    2016 IEEE International Conference on Intelligent Rail Transportation, ICIRT 2016, 2016, : 39 - 48
  • [6] Rail Radio Intrusion Detection System (RRIDS) for Communication Based Train Control (CBTC)
    Melaragno, Anthony
    Bandara, K. R. Damindra S.
    Fewell, Ajay
    Wijesekera, Duminda
    2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 45 - 54
  • [7] Simulation and predictive control of the gas transportation system in a large industrial zone
    Marchenko, Sergey G.
    Berner, Leonid, I
    Zeldin, Yuri M.
    NEXO REVISTA CIENTIFICA, 2021, 36 (06): : 1840 - 1849
  • [8] Subsystem Characteristics-Based Modeling Method for the Simulation of Electromagnetic Compatibility of Rail Transit Vehicles
    Jiang, Dafa
    Jiang, Zhongcheng
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES FOR RAIL TRANSPORTATION (EITRT) 2017: TRANSPORTATION, 2018, 483 : 65 - 76
  • [9] ACP-Based Control and Management of Urban Rail Transportation Systems
    Ning, Bin
    Dong, Hai-Rong
    Wen, Ding
    Li, Lefei
    Cheng, Chang-Jian
    IEEE INTELLIGENT SYSTEMS, 2011, 26 (02) : 84 - 88
  • [10] Simulation of a Mathematical Model of Rail Transportation Scheduling Based on Bp Neural Network
    Hu, Xiaoguang
    Cui, Junpeng
    Zhang, Rui
    JOURNAL OF ELECTRICAL SYSTEMS, 2024, 20 (06) : 1552 - 1564
12345