We assume that the SEN is well-sized and that 𝑃𝑔,𝑡Pg,t is always within the allowed export and import power limits. Let 𝜋𝑡πt and 𝜆𝑡λt be the export and import grid prices at time t, respectively. As grid electricity is the major source of carbon emissions, the ...