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

被引：2
|
作者：
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 Detection on Low-Dose CT: A Focus on Augmenting Model Performance
    Ham, S. -Y.
    Lee, Y.
    Lee, H.
    Kang, D.
    JOURNAL OF THORACIC ONCOLOGY, 2023, 18 (11) : S458 - S458
  • [42] AI-based speed transducerless control of electromechanical drives
    MacConnell, P
    Stronach, F
    Vas, P
    APPLICATIONS AND INNOVATIONS IN INTELLIGENT SYSTEMS VII, 2000, : 323 - 345
  • [43] AI-Based Child Care Parental Control System
    Jayasekara, Udara
    Maniyangama, Hansindu
    Vithana, Kalhan
    Weerasinghe, Tharana
    Wijekoon, Janaka
    Panchendrarajan, Rrubaa
    4th International Conference on Advancements in Computing, ICAC 2022 - Proceeding, 2022, : 120 - 125
  • [44] Linde AI-based and fully automated Control System
    不详
    FLEISCHWIRTSCHAFT, 2023, 103 (06): : 55 - 55
  • [45] An Efficient Heuristic for AI-based Urban Traffic Control
    Percassi, Francesco
    Bhatnagar, Saumya
    Guo, Rongge
    McCabe, Keith
    McCluskey, Thomas L.
    Vallati, Mauro
    2023 8TH INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS, MT-ITS, 2023,
  • [46] 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,
  • [47] 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)
  • [48] AI-Based Model Order Reduction Techniques: A Survey
    Mallick, Swaroop
    Mittal, Monika
    ARCHIVES OF COMPUTATIONAL METHODS IN ENGINEERING, 2025,
  • [49] 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
  • [50] 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)
12345