Integrated energy system scheduling considering carbon trading price demand response | IEEE Conference Publication | IEEE Xplore