Optimal Operation of DIES Considering Demand Response under Ladder-type Carbon Trading Mechanism | IEEE Conference Publication | IEEE Xplore