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 条
  • [31] AI-based preeclampsia detection and prediction with electrocardiogram data
    Butler, Liam
    Gunturkun, Fatma
    Chinthala, Lokesh
    Karabayir, Ibrahim
    Tootooni, Mohammad S.
    Bakir-Batu, Berna
    Celik, Turgay
    Akbilgic, Oguz
    Davis, Robert L.
    FRONTIERS IN CARDIOVASCULAR MEDICINE, 2024, 11
  • [32] AI-based fruit identification and quality detection system
    Kashish Goyal
    Parteek Kumar
    Karun Verma
    Multimedia Tools and Applications, 2023, 82 : 24573 - 24604
  • [33] AI-based Detection of DNS Misuse for Network Security
    Chiscop, Irina
    Soro, Francesca
    Smith, Paul
    PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON NATIVE NETWORK INTELLIGENCE, NATIVENI 2022, 2022, : 27 - 32
  • [34] Development of AI-based Diagnosis Model for On-line Fault Detection for Washing Machines
    Lee, Seunghwan
    Kong, Yeseul
    Nam, Hyeonwoo
    Moon, Hoyeon
    Jeon, Junyoung
    An, Jonggil
    Baek, Gyujeong
    Gwak, Yongseok
    Park, Gyuhae
    JOURNAL OF THE KOREAN SOCIETY FOR NONDESTRUCTIVE TESTING, 2023, 43 (03) : 185 - 194
  • [35] Hybrid AI-based Anomaly Detection Model using Phasor Measurement Unit Data
    Regev, Yuval Abraham
    Vassdal, Henrik
    Halden, Ugur
    Catak, Ferhat Ozgur
    Cali, Umit
    2022 IEEE 1ST GLOBAL EMERGING TECHNOLOGY BLOCKCHAIN FORUM: BLOCKCHAIN & BEYOND, IGETBLOCKCHAIN, 2022,
  • [36] 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
  • [37] AI-based speed transducerless control of electromechanical drives
    MacConnell, P
    Stronach, F
    Vas, P
    APPLICATIONS AND INNOVATIONS IN INTELLIGENT SYSTEMS VII, 2000, : 323 - 345
  • [38] 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,
  • [39] Linde AI-based and fully automated Control System
    不详
    FLEISCHWIRTSCHAFT, 2023, 103 (06): : 55 - 55
  • [40] 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
12345