Vehicle Speed Profile Optimization for Fuel Efficient Eco-Driving via Koopman Linear Predictor and Model Predictive Control | IEEE Conference Publication | IEEE Xplore