Optimal scheduling of integrated energy systems with a ladder-type carbon trading mechanism and demand response | Synapse