Zonal Math Formulation#
This page documents the zonal SDOM formulation used when:
Network = AreaTransportationModelNetwork
It extends the base formulation in SDOM Formulation.
Sets#
\(\mathcal{A}\): areas (
model.A)\(\mathcal{L}\): interconnections (
model.L)\(\mathcal{H}\): hours (
model.h)
For each area \(a \in \mathcal{A}\):
\(\mathcal{L}_{in}(a)\): lines ending in \(a\) (
model.L_in[a])\(\mathcal{L}_{out}(a)\): lines starting in \(a\) (
model.L_out[a])
Parameters#
\(\overline{F}^{FT}_{l,h}\): capacity in
from -> todirection (model.LineCap_FT[l,h])\(\overline{F}^{TF}_{l,h}\): capacity in
to -> fromdirection (model.LineCap_TF[l,h])
Variables#
\(f_{l,h} \in \mathbb{R}\): signed line flow (
model.f[l,h])
Reporting expressions:
\(f^{FT}_{l,h} = f_{l,h}\) (
model.f_FT[l,h])\(f^{TF}_{l,h} = -f_{l,h}\) (
model.f_TF[l,h])
In reports, SDOM clips directional values to non-negative values.
Network Constraints#
Directional capacity limits are modeled as two explicit constraint blocks:
These correspond to model.f_upper[l,h] and model.f_lower[l,h].
Per-Area Supply Balance#
For each area and hour, SDOM enforces:
Implemented as model.area[a].SupplyBalance[h].
Sign convention:
Positive \(f_{l,h}\) means flow in
from -> todirection.Net inflow to area \(a\) is subtracted from the left-hand side in the implementation.
Objective#
Zonal objective is the sum of area costs plus a transmission placeholder:
Current implementation uses:
Transmission investment is intentionally deferred.