Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Abstract

Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information about other cars. To this end, we introduce the concept of a multi-view and propose crossing controllers using broadcast communication with data constraints for turning manoeuvres at intersections.

In Proceedings FVAV 2017, arXiv:1709.02126

Cited by in corpus (3)

• Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
• Monitoring of Traffic Manoeuvres with Imprecise Information
• Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl