The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be certified. An appropriate representation for vehicle platooning is as a multi-agent system in which each agent captures the "autonomous decisions" carried out by each vehicle. In order to ensure that these autonomous decision-making agents in vehicle platoons never violate safety requirements, we use formal verification. However, as the formal verification technique used to verify the agent code does not scale to the full system and as the global verification technique does not capture the essential verification of autonomous behavior, we use a combination of the two approaches. This mixed strategy allows us to verify safety requirements not only of a model of the system, but of the actual agent code used to program the autonomous vehicles.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of Autonomous Vehicle Platooning


    Beteiligte:
    Kamali, Maryam (Autor:in) / Dennis, Louise A. (Autor:in) / McAree, Owen (Autor:in) / Fisher, Michael (Autor:in) / Veres, Sandor M. (Autor:in)

    Erscheinungsdatum :

    2016


    Medientyp :

    Preprint


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    PLATOONING AUTONOMOUS VEHICLE NAVIGATION SENSORY EXCHANGE

    DUDAR AED M | Europäisches Patentamt | 2018

    Freier Zugriff

    Platooning autonomous vehicle navigation sensory exchange

    AED M DUDAR | Europäisches Patentamt | 2018

    Freier Zugriff

    Autonomous Vehicle Platooning and Motion Control

    M’Sirdi, Nacer K. | Springer Verlag | 2020


    AUTONOMOUS VEHICLE PLATOONING SYSTEM AND METHOD

    HADI ROD / GOLIN MICHAEL A | Europäisches Patentamt | 2020

    Freier Zugriff

    Platooning autonomous vehicle navigation sensory exchange

    DUDAR AED M | Europäisches Patentamt | 2018

    Freier Zugriff