Optimal Charging of Electric Vehicles for Load Shaping: A Dual-Splitting Framework With Explicit Convergence Bounds | IEEE Journals & Magazine | IEEE Xplore