Modeling and Formal Verification of Vehicle Platooning System

Abstract

Vehicle platooning, which involves operating a group of vehicles at close distances, reduces aerodynamic drag and hence decreases fuel consumption and greenhouse gas emissions. However, implementing such a system in the real world requires careful attention to safety. In this project, we aim to analyze, simulate, and formally verify a vehicle platooning system for the follower vehicle that can maintain a safe distance from the lead vehicle while taking into account control decisions and communication delays between the two vehicles.