Energy-Optimal Speed Control for Electric Vehicles on Signalized Arterials | Synapse