A Safe Economic Dispatch for Microgrid with Ladder-Type Carbon Trading | IEEE Conference Publication | IEEE Xplore