Modeling and Verification of Train Operation Control based on Information Control System Modeling Language

被引：0
|
作者：
机构：
[1] Kogai, Kei
[2] Oyama, Kyohei
[3] Ueda, Yoshikazu
[4] Takahashi, Yuki
[5] Takezawa, Takayuki
[6] Nakano, Toshihiko
来源：
Kogai, K. | 1600年 / Japan Society for Software Science and Technology卷 / 29期
关键词：
Control systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Formal Verification of Communication Based Train Control System
    Xie, Guo
    Hei, Xinhong
    Asano, Akira
    Mochizuki, Hiroshi
    Takahashi, Sei
    Nakamura, Hideo
    2011 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (ICQR2MSE), 2011, : 394 - 399
  • [22] Modeling of train control system and a method of assurance evaluation
    Matsumoto, M
    Tsurumaki, T
    Watanabe, D
    Mori, K
    22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS, 2002, : 89 - 94
  • [23] Safety Processing Modeling of Train Location for High-Speed Maglev Operation Control System
    Chen, Yijun
    Xu, Zhongwei
    Zhao, Huahua
    Li, Zhangyang
    Chu, Pengzi
    CICTP 2021: ADVANCED TRANSPORTATION, ENHANCED CONNECTION, 2021, : 938 - 946
  • [24] TOWARDS MODELING AND EVALUATION OF AVAILABILITY OF COMMUNICATION BASED TRAIN CONTROL (CBTC) SYSTEM
    Zhao, Hongli
    Xu, Tianhua
    Tang, Tao
    PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS TECHNOLOGY AND APPLICATIONS, 2009, : 860 - 863
  • [25] Modeling the operation of climate control system in premises based on fuzzy controller
    Sansyzbay, L. Zh
    Orazbayev, B. B.
    INTERNATIONAL SCIENTIFIC CONFERENCE ON APPLIED PHYSICS, INFORMATION TECHNOLOGIES AND ENGINEERING (APITECH-2019), 2019, 1399
  • [26] Railway Switch Control Modeling in European Train Control System Level 3
    Flammini, Francesco
    Marrone, Stefano
    Nardone, Roberto
    Sanwal, Usman
    Seceleanu, Cristina
    Verde, Laura
    Vittorini, Valeria
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024, 2025, 15223 : 174 - 189
  • [27] Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System
    Zhang, Yong
    Wang, Haifeng
    Chai, Ming
    Cheng, Ruijun
    IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2021, 13 (03) : 45 - 57
  • [28] Frequency control in electrical system mathematical modeling and operation control problems
    Veprik, Yu. N.
    Ganus, O. A.
    ELECTRICAL ENGINEERING & ELECTROMECHANICS, 2014, (01) : 62 - 64
  • [29] Information modeling system for blast furnace control
    Spirin, N. A.
    Gileva, L. Y.
    Lavrov, V. V.
    XIX INTERNATIONAL SCIENTIFIC CONFERENCE ON METALLURGY: TECHNOLOGIES, INNOVATION, QUALITY (METALLURGY2015), 2016, 150
  • [30] Modeling and verification of cross-border temporary speed restriction for high speed railway train control system based on UPPAAL
    Zhou, Xiang (826791444@qq.com), 2017, (20):
12345