[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Gruteser et al., 2023 - Google Patents

A formal model of train control with AI-based obstacle detection

Gruteser et al., 2023

View PDF
Document ID
18264542578111128042
Author
Gruteser J
Geleßus D
Leuschel M
Roßbach J
Vu F
Publication year
Publication venue
International Conference on Reliability, Safety, and Security of Railway Systems

External Links

Snippet

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 …
Continue reading at rssr2023.ebuef.de (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06K—RECOGNITION OF DATA; PRESENTATION OF DATA; RECORD CARRIERS; HANDLING RECORD CARRIERS
    • G06K9/00—Methods or arrangements for reading or recognising printed or written characters or for recognising patterns, e.g. fingerprints

Similar Documents

Publication Publication Date Title
Hoss et al. A review of testing object-based environment perception for safe automated driving
Gruteser et al. A formal model of train control with AI-based obstacle detection
Sippl et al. From simulation data to test cases for fully automated driving and ADAS
Jha et al. Model-centered assurance for autonomous systems
Comptier et al. Safety analysis of a CBTC system: a rigorous approach with Event-B
Song et al. Critical scenario identification for realistic testing of autonomous driving systems
Johnson et al. Experimental Evaluation and Formal Analysis of High‐Level Tasks with Dynamic Obstacle Anticipation on a Full‐Sized Autonomous Vehicle
Philipp et al. Simulation-based elicitation of accuracy requirements for the environmental perception of autonomous vehicles
Tahir et al. Intersection focused situation coverage-based verification and validation framework for autonomous vehicles implemented in Carla
Gilpin et al. Explaining multimodal errors in autonomous vehicles
Wagner et al. Virtual assessment of automated driving: Methodology, challenges, and lessons learned
Song et al. Industry Practices for Challenging Autonomous Driving Systems with Critical Scenarios
Seshia Introspective environment modeling
Llorca et al. Testing autonomous vehicles and AI: perspectives and challenges from cybersecurity, transparency, robustness and fairness
Iliasov et al. Practical verification of railway signalling programs
Buerkle et al. Towards online environment model verification
Fantechi et al. Future train control systems: challenges for dependability assessment
Osman et al. Run-time safety monitoring framework for AI-based systems: Automated driving cases
Souflas et al. Virtual Verification of Decision Making and Motion Planning Functionalities for Automated Vehicles in Urban Edge Case Scenarios
Wagner et al. The Open Autonomy Safety Case Framework
Leuschel et al. Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System
Helsch et al. Qualitative monitors based on the connected dependability cage approach
Brat Are we ready for the first EASA guidance on the use of ML in Aviation?
Guissouma et al. Continuous Safety Assessment of Updated Supervised Learning Models in Shadow Mode
Esen et al. Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components