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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Provably Correct Safety Protocol for Cooperative Platooning


    Contributors:


    Publication date :

    2024-06-02


    Size :

    1505933 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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

    Free access

    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