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 条
  • [31] The Distribution System Simulation Model of Each Zone Freight Transportation Movement Based on Unlimited The Gravity Model Algorithm
    Akbardin, Juang
    Parikesit, Danang
    Mulyono, Agus Taufik
    Riyanto, Bambang
    2017 3RD INTERNATIONAL CONFERENCE ON SCIENCE IN INFORMATION TECHNOLOGY (ICSITECH), 2017, : 212 - 215
  • [32] Simulation-Based Approaches for Verification of Embedded Control Systems AN OVERVIEW OF TRADITIONAL AND ADVANCED MODELING, TESTING, AND VERIFICATION TECHNIQUES
    Kapinski, James
    Deshmukh, Jyotirmoy V.
    Jin, Xiaoqing
    Ito, Hisahiro
    Butts, Ken
    IEEE CONTROL SYSTEMS MAGAZINE, 2016, 36 (06): : 45 - 64
  • [33] A Verification of Improved Distributed Control in DC Microgrid based on Hardware-in-the-loop Simulation
    Lim, Dong-Hyun
    Ko, Byoung-Sun
    Kim, Rae-Young
    2018 ASIAN CONFERENCE ON ENERGY, POWER AND TRANSPORTATION ELECTRIFICATION (ACEPT), 2018,
  • [34] Longitudinal Flight Multi-Control Blending Verification using COTS Based Simulation
    Fellah, Khaled
    Guiatni, Mohamed
    Fricke, Tim
    Holzapfel, Florian
    2018 IEEE 18TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE (PEMC), 2018, : 711 - 716
  • [35] Towards Integrated Simulation and Formal Verification of Rail Yard Designs - An Experience Report Based on the UK East Coast Main Line
    Chen, Lei
    James, Phillip
    Kirkwood, David
    Hoang Nga Nguyen
    Nicholson, Gemma L.
    Roggenbach, Markus
    2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 347 - 355
  • [36] Research on modeling and simulation of vehicle-on-board automatic train protection subsystem of communication based train control system
    Chen, Lei
    Ning, Bin
    Xu, Tian-Hua
    2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS, 2007, : 188 - 192
  • [37] Design and realization of urban railway transportation train operation control simulation system based on RUP
    Wang, Xi
    Tang, Tao
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2008, 20 (15): : 4012 - 4017
  • [38] Simulation Research of Anti-sliding Control of Urban Rail Brake System based on AMESim and Simulink
    Zhu, Xiaoyu
    Wu, Mengling
    Tian, Chun
    Li, Yunfeng
    ELECTRONICS, MECHATRONICS AND AUTOMATION III, 2014, 666 : 175 - +
  • [39] Modular design and simulation based verification of the logic control code for an agile shoe manufacturing system
    Carpanzano, E
    Cataldo, A
    1st International Industrial Simulation Conference 2003, 2003, : 290 - 294
  • [40] Fault Simulation and Function Verification of the Aero-engine Control System Based on Hardware in Loop
    Li, Gengwei
    Hao, Binbin
    Dong, Jiuxiang
    PROCEEDINGS OF THE 33RD CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2021), 2021, : 5393 - 5396
12345