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 条
  • [41] Verification and simulation analysis of wind turbine control based on linear parameter varying gain scheduling
    Deng Y.
    Zhou F.
    Chen Z.
    Tian D.
    Gao S.
    Nongye Gongcheng Xuebao/Transactions of the Chinese Society of Agricultural Engineering, 2016, 32 (03): : 29 - 33
  • [42] Control Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB
    Haihong, B.
    Weiping, Z.
    Bing, C.
    INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (10): : 1372 - 1379
  • [43] Simulation and Verification of the Control Strategies for Pedestrian Active Collision Avoidance System Based on Internet of Vehicles
    Li W.
    Guo W.
    Zhang Y.
    Han D.
    Zhao R.
    Shi X.
    SAE International Journal of Connected and Automated Vehicles, 2021, 4 (04):
  • [44] Software and Hardware Environments for Simulation and Verification of an Autonomous Flight Control Based on Fuzzy Logic Control for Small Unmanned Helicopter
    Lai, Ying-Chih
    Ke, Yu-Chen
    Le Tri, Quang
    Yang, Fuh-Sen
    Shieh, Tzong-Hann
    2017 3RD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND ROBOTICS (ICCAR), 2017, : 673 - 677
  • [45] Tramcar location for inclined-lane rail transportation and automatic protection for tramcar escaping based on field-bus control technology
    Wei, Zhen
    Xu, Zi-Jun
    Lu, Yang
    Cheng, Yun-An
    Li, Jing-Bin
    Meitan Xuebao/Journal of the China Coal Society, 2010, 35 (05): : 855 - 860
  • [46] Gradient Strengthening Control Procedure Based on Numerical Simulation of Combined Local Loading Of Deformation Zone
    Pilipenko, Olga V.
    Radchenko, Sergey Yu.
    Golenkov, Vyacheslav A.
    Dorohov, Daniil O.
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ENGINEERING AND EARTH SCIENCES: APPLIED AND FUNDAMENTAL RESEARCH (ISEES 2018), 2018, 177 : 574 - 577
  • [47] Control of a cooperative transportation system with two car-like mobile robots based on chained form (experimental verification of its open loop control)
    Yamaguchi, Hiroaki
    Kobayashi, Masato
    Kawakami, Atsushi
    Nihon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C, 2007, 73 (11): : 3016 - 3023
  • [48] A Simulation Based Approach for Rationality Verification of Test Sequence for CTCS-3 Train Control System
    Zhang Yong
    Han Jingqiang
    PROCEEDINGS OF THE 2016 4TH INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND COMPUTING TECHNOLOGY, 2016, 60 : 654 - 662
  • [49] R&M&M&A&A&S of Communication Based Train Control Systems applied to Urban Rail Transportation - A way to improve city sustainability
    Vlad, Emil P.
    Tatarnikov, Valeriy
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2011 PROCEEDINGS, 2011,
  • [50] NEW-GENERATION OF MICROCOMPUTER-BASED OPERATIONS CONTROL-SYSTEMS FOR HIGH-SPEED RAIL AND GUIDED TRANSPORTATION AS DEMONSTRATED BY TRANSRAPID
    KNIGGE, R
    EILERS, H
    FREITAG, V
    INFORMATION PROCESSING '94, VOL II: APPLICATIONS AND IMPACTS, 1994, 52 : 174 - 179
12345