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 条
  • [21] Risk Early Warning and Control of Rail Transportation Based on Fuzzy Comprehensive Evaluation Method in Wuhan City
    Chen, Wenman
    Ye, Houyuan
    Yun, Jun
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES FOR RAIL TRANSPORTATION: TRANSPORTATION, 2016, 378 : 787 - 792
  • [22] Choice-based Dynamic Control Policy of Seat Inventory for High-speed Rail Transportation
    Yan Z.-Y.
    Han B.-M.
    Li X.-J.
    Zhao Y.-Q.
    Jiaotong Yunshu Xitong Gongcheng Yu Xinxi/Journal of Transportation Systems Engineering and Information Technology, 2019, 19 (01): : 118 - 124
  • [23] Enhanced Simulation-Based Verification and Validation of Automotive Electronic Control Units
    Herpel, Thomas
    Hoiss, Thomas
    Schroeder, Jan
    ELECTRONICS, COMMUNICATIONS AND NETWORKS V, 2016, 382 : 203 - 213
  • [24] Control simulation and anti-jamming verification of quadrotor UAV Based on Matlab
    Chen, Zheyi
    Xu, Bing
    2020 5TH INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATICS AND BIOMEDICAL SCIENCES (ICIIBMS 2020), 2020, : 70 - 75
  • [25] Quantum Lyapunov-based unified control method and verification of simulation experiments
    Xiang, Zhang
    Shuang, Cong
    Lei, Zhou
    PROCEEDINGS OF THE 32ND 2020 CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2020), 2020, : 904 - 909
  • [26] Simulation based on the multibody dynamics for verification of autonomous driving control of agricultural robot
    Han J.-B.
    Yang K.-M.
    Sin H.
    Lee J.
    Lee S.
    Kim D.
    Song S.
    Seo K.-H.
    Journal of Institute of Control, Robotics and Systems, 2019, 25 (10) : 902 - 909
  • [27] Energy saving based lighting system optimization and smart control solutions for rail transportation: Evidence from China
    Lai, XiaoDong
    Dai, MengYun
    Rameezdeen, Raufdeen
    RESULTS IN ENGINEERING, 2020, 5
  • [28] Multiscale Numerical Simulation Based on Cohesive Zone Model and Experimental Verification of Coupling Compound Crack Propagation
    Sheng Y.
    Jia B.
    Wang R.
    Chen G.
    Cailiao Daobao/Materials Reports, 2022, 36 (04):
  • [29] Research on Carrying Capacity of the High-speed Rail Station Based on Multi-objective Optimization and Simulation Verification
    Xu, Feng
    SEVENTH INTERNATIONAL CONFERENCE ON TRAFFIC ENGINEERING AND TRANSPORTATION SYSTEM, ICTETS 2023, 2024, 13064
  • [30] Passenger Flow Control Strategy of Urban Rail Transit Based on Multi-Agent Simulation
    Lu G.
    Lei Y.
    Zhang H.
    Tongji Daxue Xuebao/Journal of Tongji University, 2022, 50 (08): : 1189 - 1197
12345