Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges

DOI10.1016/J.AUTOMATICA.2022.110692zbMATH Open1519.93159OpenAlexW4360868502MaRDI QIDQ6160737FDOQ6160737

Authors: Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Calin Belta 

Publication date: 26 June 2023

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://mediatum.ub.tum.de/doc/1720092/document.pdf

Recommendations

• Overview of formal methods
• A formally verified motion planner for autonomous vehicles
• Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
• Reaching out towards fully verified autonomous systems
• Task level specification and formal verification of robotics control systems: State of the art and case study

zbMATH Keywords

machine learningformal methodstemporal logicformal verificationmonitoringfalsificationformal synthesisautonomous driving

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Synthesis problems (93B50) Automated systems (robots, etc.) in control theory (93C85) Temporal logic (03B44)

Cites Work

• Monotone control systems
• Verification and Control of Hybrid Systems
• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Safe autonomy under perception uncertainty using chance-constrained temporal logic
• Avoidance trajectories using reachable sets and parametric sensitivity analysis
• Model checking of safety properties
• Verified hybrid controllers for automated vehicles
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• Formal methods for discrete-time dynamical systems
• FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
• Safety analysis of automotive control systems using multi-modal port-Hamiltonian systems
• Proof theory of a multi-lane spatial logic
• A formally verified motion planner for autonomous vehicles
• Robust Motion Planning for Uncertain Systems With Disturbances Using the Invariant-Set Motion Planner

Cited In (3)

• A formally verified motion planner for autonomous vehicles
• Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
• Specification and validation of autonomous driving systems: a multilevel semantic framework

This page was built for publication: Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160737)