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

DOI10.1016/J.AUTOMATICA.2022.110692MaRDI QIDQ6160737zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)