Modeling and Formal Verification of Vehicle Platooning System
| dc.contributor.author | Panja, Promit | en |
| dc.contributor.author | Bhavandlapelli, Rakesh Kumar | en |
| dc.date.accessioned | 2024-08-19T14:35:29Z | en |
| dc.date.available | 2024-08-19T14:35:29Z | en |
| dc.date.issued | 2023-05-15 | en |
| dc.description.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. | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.orcid | Panja, Promit [0009-0004-5340-4663] | en |
| dc.identifier.uri | https://hdl.handle.net/10919/120956 | en |
| dc.language.iso | en | en |
| dc.rights | Creative Commons Attribution 4.0 International | en |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | en |
| dc.subject | Formal Verification | en |
| dc.subject | Logic | en |
| dc.subject | Hybrid Dynamical Systems | en |
| dc.subject | Proof Theory | en |
| dc.title | Modeling and Formal Verification of Vehicle Platooning System | en |
| dc.type | Report | en |
| dc.type.dcmitype | Text | en |
| pubs.organisational-group | /Virginia Tech | en |
| pubs.organisational-group | /Virginia Tech/Engineering | en |
| pubs.organisational-group | /Virginia Tech/Engineering/Electrical and Computer Engineering | en |
| pubs.organisational-group | /Virginia Tech/Graduate students | en |
| pubs.organisational-group | /Virginia Tech/Graduate students/Masters students | en |