Formal Verification of Autonomous Vehicle Platooning

02/04/2016
by   Maryam Kamali, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/16/2020

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles

The use of autonomous vehicles in real-world applications is often precl...
research
04/18/2018

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

The spread of autonomous systems into safety-critical areas has increase...
research
03/18/2022

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

We present two behavioral models of an autonomous vehicle and its intera...
research
09/28/2022

Generating Safe Autonomous Decision-Making in ROS

The Robot Operating System (ROS) is a widely used framework for building...
research
09/08/2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

The development and deployment of Autonomous Vehicles (AVs) on our roads...
research
07/20/2020

Heterogeneous Verification of an Autonomous Curiosity Rover

The Curiosity rover is one of the most complex systems successfully depl...
research
11/28/2020

Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles

The ability to guarantee safety and progress for all vehicles is vital t...

Please sign up or login with your details

Forgot password? Click here to reset