Optimization Models for Distributed Energy Systems Under CO2 Constraints: Sizing, Operating, and Regulating Power Provision | Synapse