Longitudinal Platoon Control of Connected Vehicles: Analysis and Verification | Synapse