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 条
  • [31] Modeling and simulation for train control system using cellular automata
    LI KePing
    Science in China(Series E:Technological Sciences), 2007, (06) : 765 - 773
  • [32] Modeling and simulation for train control system using cellular automata
    KePing, Li
    Ziyou, Gao
    LiXing, Yang
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2007, 50 (06): : 765 - 773
  • [33] Modeling and simulation for train control system using cellular automata
    KePing Li
    ZiYou Gao
    LiXing Yang
    Science in China Series E: Technological Sciences, 2007, 50 : 765 - 773
  • [34] Modeling and Simulation for Safety Redundant Architecture in Train Control System
    Liu, Hongjie
    Ning, Bing
    Tang, Tao
    Mu, Yu
    PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015), 2016, 47 : 1521 - 1524
  • [35] System construction and modeling of command and control system index based on information superiority
    Li L.
    Lu Y.
    Zhang Z.
    He H.
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2018, 40 (03): : 577 - 582
  • [36] Information System for Learning Control in Teaching Russian Sign Language: Process and Data Modeling
    Logachev, Maxim
    Chernova, Vera
    Laamarti, Yuliya
    Makhamatov, Tair
    Ivlev, Vitaliy
    Giulodori, Lucio
    Tutkova, Irina
    INTERNATIONAL JOURNAL OF INSTRUCTION, 2022, 15 (03) : 153 - 170
  • [37] Stability Optimization and Verification Based on SPTG of Constant Distance Control Strategy in Train-Train Communication Train Control System
    Lu, Wanli
    Lv, Jidong
    Dong, Haixia
    Liu, Hongjie
    Chai, Ming
    Su, Shuai
    Guo, Xiwang
    PROCEEDINGS OF THE 33RD CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2021), 2021, : 287 - 292
  • [38] Modeling and Control of DFIG Based Wind Turbine/Storage System in Is landed Operation
    Liu, Haihua
    Ma, Hongzhong
    Chen, Lin
    Li, Guanghe
    Liu, Tongkuang
    Zhao, Feng
    2009 INTERNATIONAL CONFERENCE ON SUSTAINABLE POWER GENERATION AND SUPPLY, VOLS 1-4, 2009, : 1118 - +
  • [39] Modeling and verification of radio block center of CTCS-3 train control system for dedicated passengers lines
    Lü J.-D.
    Tang T.
    Jia H.
    Tiedao Xuebao/Journal of the China Railway Society, 2010, 32 (06): : 34 - 42
  • [40] SPARDL: A Requirement Modeling Language for Periodic Control System
    Wang, Zheng
    Li, Jianwen
    Zhao, Yongxin
    Qi, Yanxia
    Pu, Geguang
    He, Jifeng
    Gu, Bin
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 594 - +
12345