Low-Carbon Scheduling Model of Electricity-Gas-Heat Integrated Energy System Considering Ladder-Type Carbon Trading Mechanism, Vehicles Charging, and Multimode Utilization of Hydrogen | IEEE Journals & Magazine | IEEE Xplore