Panja, PromitBhavandlapelli, Rakesh Kumar2024-08-192024-08-192023-05-15https://hdl.handle.net/10919/120956Vehicle 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.application/pdfenCreative Commons Attribution 4.0 InternationalFormal VerificationLogicHybrid Dynamical SystemsProof TheoryReportPanja, Promit [0009-0004-5340-4663]