Operation Optimization of Regional Integrated Energy Systems with Hydrogen by Considering Demand Response and Green Certificate–Carbon Emission Trading Mechanisms | Synapse