Smart EV Battery Scheduling in a Virtual Power Plant: A Stochastic Receding-Horizon Convex Optimization Approach | IEEE Conference Publication | IEEE Xplore