In this paper, we introduce a temporal logic-based safety filter for Autonomous Intersection Management (AIM), an emerging infrastructure technology for connected vehicles to coordinate traffic flow through intersections. Despite substantial work on AIM systems, the balance between intersection safety and efficiency persists as a significant challenge. Building on recent developments in formal methods that now have become computationally feasible for AIM applications, we introduce an approach that starts with a temporal logic specification for the intersection and then uses reachability analysis to compute safe time-state corridors for the connected vehicles that pass through the intersection. By analyzing these corridors, in contrast to single trajectories, we can make explicit design decisions regarding safety-efficiency trade-offs while taking each vehicle's decision uncertainty into account. Additionally, we compute safe driving limits to ensure that vehicles remain within their designated safe corridors. Combining these elements, we develop a service that provides safety filters for AIM coordination of connected vehicles. We evaluate the practical feasibility of our safety framework using a simulated 4-way intersection, showing that our approach performs in real-time for multiple scenarios.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination


    Beteiligte:


    Erscheinungsdatum :

    24.09.2024


    Format / Umfang :

    1565265 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Safe trajectory planning for autonomous intersection management by using vehicle to infrastructure communication

    Wuthishuwong, C. / Traechtler, A. / Bruns, T. | Fraunhofer Publica | 2015

    Freier Zugriff

    Consensus coordination in the network of Autonomous Intersection Management

    Wuthishuwong, Chairit / Traechtler, Ansgar | IEEE | 2014


    Autonomous Intersection Management

    K. M. Dresner | NTIS | 2009



    Auction-based autonomous intersection management

    Carlino, Dustin / Boyles, Stephen D. / Stone, Peter | IEEE | 2013