Cooperative platooning is a promising method for improving energy efficiency and traffic throughput on interstates. Ensuring collision avoidance is particularly difficult in platooning due to the small desired inter-vehicle spacing. We propose a safety protocol that can be applied to arbitrary controllers in platooning to prevent collisions in a provably correct manner while still realizing a small distance to the preceding vehicle. Our protocol intervenes as rarely and smoothly as possible, and its safety is ensured even if communication fails. In addition, we propose a safety protocol for consensus techniques where the vehicles of the platoon successively agree on a common braking limit. Our safety protocols are evaluated on various scenarios using the CommonRoad benchmark suite.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Provably Correct Safety Protocol for Cooperative Platooning


    Beteiligte:


    Erscheinungsdatum :

    02.06.2024


    Format / Umfang :

    1505933 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Provably-Correct Compositional Synthesis of Vehicle Safety Systems

    Nilsson, Petter / Ozay, Necmiye | Springer Verlag | 2018


    Driver Safety Reward with Cooperative Platooning using Blockchain

    Rachamalla, Sruthi / Hexmoor, Henry | ArXiv | 2023

    Freier Zugriff

    Safe and Efficient Cooperative Platooning

    Thormann, Sebastian / Schirrer, Alexander / Jakubek, Stefan | IEEE | 2022



    Provably-Correct and Comfortable Adaptive Cruise Control

    Althoff, Matthias / Maierhofer, Sebastian / Pek, Christian | IEEE | 2021