Optimal Scheduling of Regional Integrated Energy System Based on Carbon Trading and Comfort Demand Response | IEEE Conference Publication | IEEE Xplore