Vehicle Modelling and Control for Automated Highway Systems | Synapse