An abstract model for proving safety of autonomous urban traffic

DOI10.1016/J.TCS.2018.05.028MaRDI QIDQ1786569zbMATHOpenAlexWikidataFDO

Authors Maike Schwammberger

Publication date 24 September 2018

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2018.05.028

zbMATH Keywords

timed automataautonomous carsurban trafficcollision freedommulti-dimensional spatial logicvirtual lanes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Traffic problems in operations research (90B20) Logic in computer science (03B70)

Recommendations

• An abstract model for proving safety of autonomous urban traffic
• Proving safety of traffic manoeuvres on country roads
• Proof theory of a multi-lane spatial logic
• Proof theory of a multi-lane spatial logic
• No need knowing numerous neighbours. Towards a realizable interpretation of MLSL

Cites work

• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• A calculus of durations
• A theory of timed automata
• An abstract model for proving safety of autonomous urban traffic
• Component based design of hybrid systems: a case study on concurrency and coupling
• Efficient algorithms for collision avoidance at intersections
• Formal Methods for the Design of Real-Time Systems
• Formalising a hazard warning communication protocol with timed automata
• Isabelle/HOL. A proof assistant for higher-order logic
• Model checking duration calculus: a practical approach
• No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
• Proof theory of a multi-lane spatial logic
• Proving safety of traffic manoeuvres on country roads
• Requirements Validation for Hybrid Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Undecidability results for multi-lane spatial logic
• Verification of cooperating traffic agents
• Verified hybrid controllers for automated vehicles

Cited in

(10)

• Proof theory of a multi-lane spatial logic
• Proof theory of a multi-lane spatial logic
• No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
• Undecidability results for multi-lane spatial logic
• Safe and optimal adaptive cruise control
• Formalising a hazard warning communication protocol with timed automata
• An abstract model for proving safety of autonomous urban traffic
• Proving safety of traffic manoeuvres on country roads
• Autonomous vessels: state of the art and potential opportunities in logistics
• Spatio-temporal model-checking of cyber-physical systems using graph queries

Describes a project that uses

Uses Software

• Isabelle/HOL
• Uppaal
• Z

This page was built for publication: An abstract model for proving safety of autonomous urban traffic

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