Dynamic Modeling and Control of High-Speed Automated Vehicles for Lane Change Maneuver | Synapse