Energy Efficient Speed Planning of Electric Vehicles for Vehicle-Following Scenarios Using Data-driven Koopman Model | IEEE Conference Publication | IEEE Xplore