A Formal Model of Train Control with AI-Based Obstacle Detection

被引：1
|
作者：
Gruteser, Jan [1 ]
Gelessus, David [1 ]
Leuschel, Michael [1 ]
Rossbach, Jan [1 ]
Vu, Fabian [1 ]
机构：
[1] Univ Dusseldorf, Inst Informat, Univ Str 1, D-40225 Dusseldorf, Germany
来源：
RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS, RSSRAIL 2023 | 2023年 / 14198卷
关键词：
Railway System; AI; B method; Validation; Verification;
D O I：
10.1007/978-3-031-43366-5_8
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
The research project KI-LOK aims to develop a certification methodology for incorporating AI components into rail vehicles. In this work, we study how to safely incorporate an AI for obstacle detection into an ATO (automatic train operation) system for shunting movements. To analyse the safety of our system we present a formal B model comprising the steering and AI perceptions subsystems as well as the shunting yard environment. Classical model checking is applied to ensure that the complete system is safe under certain assumptions. We use SIMB to simulate various scenarios and estimate the likelihood of certain errors when the AI makes mistakes.
引用
收藏
页码：128 / 145
页数：18
相关论文
共 50 条
  • [41] AI-Based Control for Edge Cloud Optical Networks
    Zhu, Shengxiang
    Yu, Jiakai
    Adams, Tasha
    Kilper, Daniel C.
    2019 ASIA COMMUNICATIONS AND PHOTONICS CONFERENCE (ACP), 2019,
  • [42] AI-based rainfall prediction model for debris flows
    Zhao, Yan
    Meng, Xingmin
    Qi, Tianjun
    Li, Yajun
    Chen, Guan
    Yue, Dongxia
    Qing, Feng
    Engineering Geology, 2022, 296
  • [43] A novel AI-based diagnostic model for pertussis pneumonia
    Cai, Yihong
    Fu, Hong
    Yin, Jun
    Ding, Yang
    Hu, Yanghong
    He, Hong
    Huang, Jing
    MEDICINE, 2024, 103 (34)
  • [44] AI-Based EMT Dynamic Model of PV Systems
    Debnath, Suman
    Marthi, Phani R. V.
    Xia, Qianxue
    2023 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES LATIN AMERICA, ISGT-LA, 2023, : 430 - 434
  • [45] AI-Based Sales Forecasting Model for Digital Marketing
    Biswas, Biswajit
    Sanyal, Manas Kumar
    Mukherjee, Tuhin
    INTERNATIONAL JOURNAL OF E-BUSINESS RESEARCH, 2023, 19 (01)
  • [46] An Explainable AI-Based Fault Diagnosis Model for Bearings
    Hasan, Md Junayed
    Sohaib, Muhammad
    Kim, Jong-Myon
    SENSORS, 2021, 21 (12)
  • [47] AI-For-Mobility-A New Research Platform for AI-Based Control Methods
    Ruggaber, Julian
    Ahmic, Kenan
    Brembeck, Jonathan
    Baumgartner, Daniel
    Tobolar, Jakub
    APPLIED SCIENCES-BASEL, 2023, 13 (05):
  • [48] AI-based rainfall prediction model for debris flows
    Zhao, Yan
    Meng, Xingmin
    Qi, Tianjun
    Li, Yajun
    Chen, Guan
    Yue, Dongxia
    Qing, Feng
    ENGINEERING GEOLOGY, 2022, 296
  • [49] A Mathematical AI-Based Diet Analysis and Transformation Model
    Gautam, L. K.
    Ladhake, S. A.
    SYSTEM AND ARCHITECTURE, CSI 2015, 2018, 732 : 1 - 7
  • [50] Automatic Obstacle Detection Method for the Train Based on Deep Learning
    Zhang, Qiang
    Yan, Fei
    Song, Weina
    Wang, Rui
    Li, Gen
    SUSTAINABILITY, 2023, 15 (02)
12345