Browsing by Author "Bhavandlapelli, Rakesh Kumar"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Modeling and Formal Verification of Vehicle Platooning System
    Panja, Promit; Bhavandlapelli, Rakesh Kumar (2023-05-15)
    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.