---
title: Temporally Split Benders Decomposition (TSBD)
url: https://www.emergentmind.com/topics/temporally-split-benders-decomposition-tsbd
type: topic
---

# Temporally Split Benders Decomposition (TSBD)

Temporally Split Benders Decomposition (TSBD) is a class of Benders-based decomposition methods for large-scale energy system capacity expansion planning in which long-horizon operational decisions are split into multiple temporally indexed subproblems while long-term investment decisions remain in a master problem. In the literature represented by "A computationally efficient Benders decomposition for energy systems planning problems with detailed operations and time-coupling constraints" [2302.10037], "Accelerating Stochastic Energy System Optimization Models: Temporally Split Benders Decomposition" [2508.10789], and "Clustering-enhanced adaptive Benders decomposition for energy systems planning optimization" [2606.00388], TSBD is used to preserve chronological operational detail while improving tractability through temporal decomposition, parallel subproblem solution, and master-level handling of complicating intertemporal couplings such as policy budgets or storage boundary states.

## 1. Historical emergence and problem setting

TSBD emerged from the computational difficulty of solving high-resolution energy system capacity expansion models with detailed chronology, storage, transmission, and policy constraints. These models are typically formulated as LPs or MILPs, with first-stage investment decisions and second-stage operational decisions over hourly or sub-hourly time grids. The underlying challenge is that monolithic formulations can become extremely large: the stochastic German power system instances in [2508.10789] reach up to 87 million constraints and variables, while the macro-energy planning models in [2302.10037] are reported at up to \(9.7\times 10^9\) variables and \(3.04\times 10^{10}\) constraints.

Classical Benders decomposition separates investments from operations, but it does not necessarily address the fact that the operational recourse itself may be chronologically large. In stochastic settings, standard L-shaped decomposition splits by scenario only, which is insufficient when the temporal cardinality \(|T|\) is much larger than the scenario cardinality \(|\Omega|\) [2508.10789]. In deterministic macro-energy planning, a full-year operational subproblem may remain too large even when investments are isolated in the master [2302.10037].

The defining feature of TSBD is therefore temporal subdivision of the recourse. In [2302.10037], the year is decomposed into weekly subperiods, and global policy couplings are replaced by master-level budgeting variables. In [2508.10789], the recourse is partitioned into time blocks within each stochastic scenario, and storage continuity is preserved by additional linking variables for end-of-block storage states. In [2606.00388], the same temporally split structure is treated as a baseline and then extended with clustering-based cut aggregation and representative-subproblem scheduling.

| Paper | TSBD role | Key coupling mechanism |
|---|---|---|
| [2302.10037] | Core temporally split Benders idea | Budgeting variables \(\bm{q}_w\) |
| [2508.10789] | Explicit TSBD formulation for stochastic CEP | Linking variables \(\ell_{b,r,s,\omega}\) |
| [2606.00388] | Clustering-enhanced TSBD variants | Budgets \(q_s\), grouped cuts, representative SPs |

A plausible implication is that TSBD is best understood not as a single fixed formulation, but as a decomposition pattern: temporal disaggregation of operational recourse combined with master-level variables that restore exactness for otherwise time-coupled structures.

## 2. Core decomposition architecture

Across the cited works, TSBD retains the standard Benders separation between a master problem (MP) and operational subproblems (SPs), but refines the recourse partition so that subproblems are indexed by time segments rather than only by scenario or by the entire year.

In the electricity-sector capacity expansion model of [2606.00388], the full-space MILP is written as
\[
\begin{aligned}
\min_{y, \{q_s\}, \{x_{s,t}\} } \quad & c_I^\top y + \sum_{s \in \mathcal{S}} \sum_{t \in \mathcal{T}_s} c_{s,t}^\top x_{s,t} \\
\text{s.t.} \quad & A_s x_s + B_s y \le d_s \quad && \forall s \in \mathcal{S} \\
& \sum_{t \in \mathcal{T}_s} e_{s,t}^\top x_{s,t} \le q_s \quad && \forall s \in \mathcal{S} \\
& \sum_{s \in \mathcal{S}} q_s = \bar{Q} \quad && \text{(annual CO}_2\text{ cap, if present)} \\
& R y \le r \\
& x_{s,t} \ge 0,\quad q_s \ge 0,\quad y \ge 0,\quad y_j \in \mathbb{Z}\;\; \forall j \in \mathcal{I}.
\end{aligned}
\]
The MP chooses investments \(y\) and, when a global annual CO\(_2\) cap is present, budgeting variables \(q_s\). Each subproblem \(SP_s\) then optimizes operations for a time segment \(s\) conditional on the current MP decisions [2606.00388].

The operational subproblem at iteration \(i\) is
\[
\begin{aligned}
f_s^{(i)} = \min_{x_s} \quad & \sum_{t\in\mathcal{T}_s} c_{s,t}^\top x_{s,t} \\
\text{s.t.} \quad & A_s x_s + B_s y \le d_s \\
& \sum_{t\in\mathcal{T}_s} e_{s,t}^\top x_{s,t} \le q_s \\
& y = y^{(i)} \; :\lambda_s^{(i)} \\
& q_s = q_s^{(i)} \; :\pi_s^{(i)} \\
& x_{s,t} \ge 0 \;\; \forall t \in \mathcal{T}_s .
\end{aligned}
\]

The corresponding classical multi-cut master approximation is
\[
\begin{aligned}
\min_{y, \{q_s\}, \{\theta_s\}} \quad & c_I^\top y + \sum_{s \in \mathcal{S}} \theta_s \\
\text{s.t.} \quad &
\theta_s \ge f_s^{(k)} + (\lambda_s^{(k)})^\top (y - y^{(k)}) + \pi_s^{(k)} (q_s - q_s^{(k)})
\quad \forall s \in \mathcal{S}, \; \forall k \le i \\
& \sum_{s \in \mathcal{S}} q_s = \bar{Q} \quad \text{(if cap)} \\
& R y \le r,\;\; y \ge 0,\;\; y_j \in \mathbb{Z},\;\; q_s \ge 0,\;\; \theta_s \ge 0 .
\end{aligned}
\]
This is the benchmark regularized multi-cut formulation in [2606.00388].

The same architectural pattern appears in [2302.10037], where the subproblems are weekly, and in [2508.10789], where they are indexed jointly by scenario and time block \((\omega,b)\). The principal difference lies in how temporal couplings are represented in the MP: budgeting variables in one line of work, storage linking variables in the other.

## 3. Budgeting-variable TSBD for deterministic planning

The deterministic formulation in [2302.10037] addresses planning problems with time-coupling policy constraints such as Renewable Portfolio Standard (RPS) requirements and annual CO\(_2\) caps. The monolithic compact MILP is
\[
\begin{aligned}
\text{minimize}\quad & \bm{c}_I^\top \bm{y} + \sum_{w\in W}\bm{c}_w^\top \bm{x}_w\\
\text{subject to}\quad & \bm{A}_w \bm{x}_w + \bm{B}_w \bm{y} \le \bm{b}_w, && \forall w\in W,\\
& \sum_{w\in W} \bm{Q}_w \bm{x}_w \le \bm{e},\\
& \bm{R}\bm{y}\le \bm{r},\ \bm{x}_w\ge 0,\ \bm{y}\ge 0,\ \bm{y}\in\mathbb{Z}^m.
\end{aligned}
\]

The central device is the replacement of the global policy coupling
\[
\sum_{w\in W}\bm{Q}_w \bm{x}_w \le \bm{e}
\]
with weekly budgets \(\bm{q}_w\) satisfying
\[
\bm{Q}_w \bm{x}_w \le \bm{q}_w,\quad \sum_{w\in W}\bm{q}_w = \bm{e}.
\]
The paper proves the equivalence
\[
\sum_{i=1}^{n_W}\bm{Q}_i\bm{x}_i \le \bm{e}
\iff
\exists\ \bm{q}_1,\ldots,\bm{q}_{n_W}:\ \sum_{i=1}^{n_W}\bm{q}_i=\bm{e},\ \bm{Q}_i\bm{x}_i\le \bm{q}_i\ \forall i
\]
[2302.10037]. This equivalence is the mathematical basis for temporally splitting the operational problem while preserving exact enforcement of the annual policy constraint.

The resulting multi-cut TSBD master is
\[
\begin{aligned}
\text{minimize}\quad & \bm{c}_I^\top \bm{y} + \sum_{w\in W}\theta_w\\
\text{subject to}\quad &
\theta_w \ge f_w^{j} + (\bm{\pi}^{j})^\top(\bm{y}-\bm{y}^{j}) + (\bm{\lambda}_w^{j})^\top (\bm{q}_w - \bm{q}_w^{j}),
\quad \forall j=0,\ldots,k-1,\ \forall w\in W,\\
& \sum_{w\in W}\bm{q}_w = \bm{e},\\
& \bm{R}\bm{y}\le \bm{r},\ \bm{y}\ge 0,\ \bm{y}\in \mathbb{Z}^m.
\end{aligned}
\]
Each weekly subproblem is an LP:
\[
\begin{aligned}
\text{minimize}\quad & \bm{c}_w^\top \bm{x}_w\\
\text{subject to}\quad &
\bm{A}_w \bm{x}_w + \bm{B}_w \bm{y} \le \bm{b}_w,\\
& \bm{Q}_w \bm{x}_w \le \bm{q}_w,\\
& \bm{x}_w \ge 0,\\
& \bm{y} = \bm{y}^k\ \ (\text{dual multipliers } \bm{\pi}),\\
& \bm{q}_w = \bm{q}_w^k\ \ (\text{dual multipliers } \bm{\lambda}) .
\end{aligned}
\]

This formulation is designed for planning models with detailed operations and time-coupling constraints, including storage dynamics, ramping, transmission, and aggregated unit commitment within each week [2302.10037]. The key point is that the policy coupling across weeks is moved into the MP, while intraweek chronology remains fully represented in each SP. The paper states that the method “decouples operational timesteps using budgeting variables in the master model,” and that this device permits modeling “relevant constraints coupling decisions across time periods (e.g. policy constraints) within a decomposed framework” [2302.10037].

A common misconception is that temporal splitting necessarily destroys exactness for year-level policy constraints. In this formulation, that is not the case: exactness follows from the equivalence theorem above [2302.10037]. Another potential misconception is that all intertemporal structures can be handled equally well by such budgets. The same source explicitly limits the exact result to couplings of the form \(\sum_w \bm{Q}_w\bm{x}_w \le \bm{e}\), while noting that extension to other constraints “should be extensible” rather than established in the reported experiments [2302.10037].

## 4. Linking-variable TSBD for stochastic models with storage

The stochastic formulation in [2508.10789] generalizes temporal splitting to two-stage stochastic capacity expansion planning with hourly resolution and storage. Here, classical scenario decomposition is insufficient because each scenario subproblem remains large, and storage links all hours within a year. TSBD resolves this by partitioning time into blocks and introducing additional master variables \(\ell_{b,r,s,\omega}\) to represent storage energy at block boundaries.

The base two-stage stochastic program is
\[
\min_{x} \; \sum_{r,i}\big(c^{inv}_{r,i} + c^{fix}_{r,i}\big)\,x^{conv}_{r,i}
+ \sum_{r,s}\big(c^{inv}_{r,s} + c^{fix}_{r,s}\big)\,x^{stor}_{r,s}
+ \sum_{g}\big(c^{inv}_{g} + c^{fix}_{g}\big)\,x^{trans}_{g}
+ \sum_{\omega\in\Omega} p_\omega\, Q(x,\omega)
\]
with scenario recourse \(Q(x,\omega)\) defined over hourly operations, transmission, unserved demand, and storage [2508.10789].

Time is partitioned into blocks \(B=\{1,\ldots,|B|\}\), and the MP is augmented with storage boundary variables
\[
\ell_{b,r,s,\omega} \in [0,\; x^{stor}_{r,s}] .
\]
Within each block, storage obeys the same intertemporal law, but block boundaries are enforced through
\[
s_{\text{start}(b),r,s,\omega} = \ell_{b-1,r,s,\omega},\qquad
s_{\text{end}(b),r,s,\omega} = \ell_{b,r,s,\omega}.
\]
If periodic operation is desired, then \(\ell_{0,r,s,\omega} = \ell_{|B|,r,s,\omega}\) [2508.10789].

For each \((\omega,b)\), the LP subproblem produces block-level subgradients with respect to investment capacities and boundary storage values. The TSBD master is
\[
\begin{aligned}
\min_{x,\ell,\{\theta_{\omega,b}\}} \quad &
\sum_{r,i}\big(c^{inv}_{r,i} + c^{fix}_{r,i}\big)\,x^{conv}_{r,i}
+ \sum_{r,s}\big(c^{inv}_{r,s} + c^{fix}_{r,s}\big)\,x^{stor}_{r,s}
+ \sum_{g}\big(c^{inv}_{g} + c^{fix}_{g}\big)\,x^{trans}_{g}
+ \sum_{\omega\in\Omega}\sum_{b\in B} p_\omega\, \theta_{\omega,b}
\end{aligned}
\]
subject to capacity bounds, \(\ell_{b,r,s,\omega} \in [0, x^{stor}_{r,s}]\), and block-scenario cuts
\[
\theta_{\omega,b} \ge \alpha_{\omega,b}
+ \sum_{r,i} \beta^{conv}_{b,r,i,\omega}\, x^{conv}_{r,i}
+ \sum_{r,s}\beta^{stor}_{b,r,s,\omega}\, x^{stor}_{r,s}
+ \sum_{g}\beta^{trans}_{b,g,\omega}\, x^{trans}_{g}
+ \sum_{r,s}\Big(\nu^{end}_{b,r,s,\omega}\, \ell_{b,r,s,\omega}
+ \nu^{start}_{b,r,s,\omega}\, \ell_{b-1,r,s,\omega}\Big)
\]
[2508.10789].

This formulation is exact for the storage coupling considered. The source explicitly states that the original two-stage recourse with storage dynamics over \(T\) is equivalent to a block-based program if end-of-block storage states are elevated to first-stage linking variables \(\ell\) and enforced at block boundaries [2508.10789]. That distinguishes TSBD from naive time decomposition, which would typically break storage feasibility.

Feasibility is maintained by storage slack variables \(L^{+}_{t,r,s,\omega}, L^{-}_{t,r,s,\omega}\ge 0\), penalized in the recourse and inserted into the storage balance equation. As a result, only optimality cuts are needed [2508.10789]. The paper further combines TSBD with a level bundle stabilization method and inactive-cut deactivation, stating that these do not affect optimality because the unstabilized MP provides the true lower bound and inactive cuts can be regenerated later [2508.10789].

## 5. Cut generation, stabilization, and clustering-enhanced variants

The standard TSBD cut is a supporting hyperplane to a convex recourse function. In deterministic week-indexed form this appears as
\[
\theta_w \ge f^{j}_w + (\bm{\pi}^j)^\top(\bm{y}-\bm{y}^j) + (\bm{\lambda}_w^j)^\top(\bm{q}_w - \bm{q}_w^j)
\]
[2302.10037]. In stochastic block-scenario form it appears as
\[
\theta_{\omega,b} \ge \alpha_{\omega,b} + \beta_{\omega,b}^\top
\begin{bmatrix}
x\\ \ell
\end{bmatrix}
\]
[2508.10789]. In the electricity-sector TSBD benchmark of [2606.00388], the per-segment cut is
\[
\theta_s \ge f_s^{(k)} + (\lambda_s^{(k)})^\top (y - y^{(k)}) + \pi_s^{(k)} (q_s - q_s^{(k)}).
\]

The 2026 paper [2606.00388] focuses on a specific TSBD weakness: temporal splitting increases the number of subproblems and thus the number of cuts added to the MP. The resulting cut accumulation can make the MP the computational bottleneck. To mitigate this, the paper develops clustering-enhanced grouped cuts and representative-subproblem scheduling.

For grouped cuts, the generic cluster-level form is
\[
\theta_C \ge \alpha_C^{(k)} + \beta_{C,y}^{(k)\top}(y - y^{(k)}) + \beta_{C,q}^{(k)\top}(q_C - q_C^{(k)}),
\]
where
\[
\alpha_C^{(k)} = \sum_{s\in C} f_s^{(k)},\qquad
\beta_{C,y}^{(k)} = \sum_{s\in C} \lambda_s^{(k)},
\]
and the coefficients on \(q_s\) are stacked from the corresponding \(\pi_s^{(k)}\) [2606.00388].

Three grouped-cut variants are distinguished.

First, **fixed-grouping shared-recourse (fix-G-S)** clusters SPs prior to the Benders iterations using exogenous time-series features such as normalized hourly load and wind/solar profiles, with Euclidean similarity in feature space and k-means clustering [2606.00388].

Second, **adaptive shared-recourse (adapt-G-S)** clusters SPs using the current dual vectors \((\lambda_s^{(i)},\pi_s^{(i)})\), typically at regrouping iterations. Historical grouped cuts are then reconstructed under the new grouping by re-aggregating stored per-SP coefficients \((f_s^{(k)},\lambda_s^{(k)},\pi_s^{(k)})\) for all \(k\le i\). The paper states that this guarantees mathematical validity of historical cuts after regrouping [2606.00388].

Third, **adaptive individual-recourse (adapt-G-I)** retains \(\theta_s\) per subproblem but constrains grouped sums:
\[
\sum_{s \in \mathcal{S}_g^{(k)}} \theta_s \ge
\sum_{s \in \mathcal{S}_g^{(k)}} \left[
f_s^{(k)} + (\lambda_s^{(k)})^\top (y - y^{(k)}) + \pi_s^{(k)}(q_s - q_s^{(k)})
\right].
\]
Because \(\theta_s\) remains indexed to SPs, historical grouped cuts remain valid without reconstruction [2606.00388].

The same paper also uses regularization via an interior-point level-set method after each MP solve if not converged. The level-set MP is
\[
\begin{aligned}
\min_{y,\{q_s\},\{\theta_s\}} \quad & \Phi(y,q) \\
\text{s.t.} \quad &
c_I^\top y + \sum_{s} \theta_s \le LB^{(i)} + \alpha \left( UB^{(i)} - LB^{(i)} \right) \\
& \theta_s \ge f_s^{(k)} + (\lambda_s^{(k)})^\top (y - y^{(k)}) + \pi_s^{(k)} (q_s - q_s^{(k)}) \quad \forall s, \forall k \le i \\
& \sum_{s} q_s = \bar{Q} \text{ (if cap)}, \; R y \le r, \; y \ge 0, \; y_j \in \mathbb{Z}, \; q_s \ge 0, \; \theta_s \ge 0,
\end{aligned}
\]
with \(\alpha \in (0,1)\) and \(\Phi=0\) in the LP phase [2606.00388].

These enhancements do not redefine TSBD; rather, they alter how much information is passed from temporally split SPs to the MP and how often all SPs must be solved.

## 6. Representative subproblems, computational behavior, and design rules

When the SP side dominates runtime because the number of temporal segments exceeds available CPUs, [2606.00388] introduces a representative-subproblem strategy. The method alternates between full-SP iterations and representative-SP iterations. After a warm start with all SPs solved for \(L_{\text{warm}}\) iterations, the algorithm clusters SPs by dual vectors, selects one representative \(s^\ast\) per group as the SP whose dual vector is nearest to the cluster centroid, and then solves only those representatives between regroupings [2606.00388]. On representative iterations, the lower bound is updated but the upper bound is held at the most recent full-SP value; if the gap falls below tolerance, a full-SP iteration is triggered to certify convergence [2606.00388].

The computational behavior of TSBD depends strongly on whether runtime is concentrated in the MP or in the SPs, on the strength of inter-SP coupling, and on the available parallelization.

In [2302.10037], runtime grows linearly with the number of weeks, and TSBD consistently outperforms monolithic solves on MILPs with more than 2 weeks. The paper reports that 29 out of 70 monolithic MILP cases were intractable, while TSBD solved all within the time limit. In a 6-zone LP CO\(_2\) case with 22 weeks, TSBD converges in 132 iterations at approximately 12 s per iteration, whereas full-operation Benders requires 630 iterations at approximately 241 s per iteration and becomes intractable at higher resolutions [2302.10037].

In [2508.10789], temporal splitting into 8 blocks delivered up to approximately 60% total runtime reduction versus Benders without time splitting. With distributed memory via MPI, persistent subproblem instances through GAMS model instances (GMI), and TSBD, the total computing time reduction exceeded 80% relative to the baseline. The paper also reports reduced memory requirements and notes that too many blocks, such as 12, can make the stabilized MP dominant due to a surge in cuts, while 8 blocks was often best [2508.10789].

In [2606.00388], the computational picture is more conditional because the goal is not simply to validate TSBD but to choose among TSBD variants. The paper evaluates 11-, 20-, and 26-zone Eastern U.S. systems over a 52-week horizon using 48-hour SPs with \(|S|=182\) and 168-hour SPs with \(|S|=52\), under no CO\(_2\) policy, a CO\(_2\) price of \(€300/\text{tCO}_2\), and a hard annual cap. For the 48-hour setup, the MP share of runtime in the multi-cut benchmark grows from 21.3% in the 11-zone case to 36.8% in the 20-zone case and 54.8% in the 26-zone case, motivating MP cut reduction [2606.00388].

Under weak coupling with no CO\(_2\) policy, adaptive grouped cuts outperform fixed grouping. For 48-hour SPs, runtime falls from 277 s to 192 s in the 11-zone case, from 1322 s to 753 s in the 20-zone case, and from 4006 s to 1891 s in the 26-zone case, corresponding to 31%, 43%, and 53% speedups for adapt-G-S with 32 groups [2606.00388]. For the 20-zone, 48-hour setup, adapt-G-I with 64 groups reduces average MP time from 9.9 s to 1.9 s, while the number of iterations drops from 49 to 43; however, very coarse grouping at 16 groups markedly increases iterations and renders some cases intractable [2606.00388].

Under stronger coupling, the advantage of cut aggregation declines. With a CO\(_2\) price, adaptive grouped cuts generally do not outperform multi-cut, apart from an 11-zone 48-hour case with 12% improvement. Under a hard annual CO\(_2\) cap, runtimes increase substantially across all methods, adaptive grouped cuts show no advantage, and many low-group-count cases become intractable; in the 26-zone cap cases, all methods, including multi-cut, are intractable within the time limit [2606.00388].

The representative-SP method is strongest when SP solution time dominates and CPUs are scarce. In a single-weather-year 20-zone 48-hour study, limiting cores to 61, 16, and 8 corresponds to SPs-to-CPU ratios of approximately 3, 11, and 23, and representative SPs increasingly outperform multi-cut as the ratio rises [2606.00388]. In the stochastic 3-weather-year case with 546 SPs and only 8 CPUs feasible due to memory, the best configurations use 16 to 32 representative SPs, and representative SPs remain feasible under CO\(_2\) cap cases where adapt-G-I becomes intractable [2606.00388].

The practical guidance given across the three papers is internally consistent. Moderate temporal partitioning is preferred: 4 to 8 blocks in [2508.10789], and intermediate cluster counts such as 32 to 64 groups for 48-hour SPs in [2606.00388]. Adaptive grouping based on normalized dual vectors is preferred over fixed input-based grouping when grouped cuts are used [2606.00388]. Multi-cut TSBD is especially effective when rich cut information per iteration offsets MP growth, but if temporal splitting creates too many cuts, MP management becomes decisive [2508.10789; 2606.00388]. A plausible implication is that TSBD design should be driven by a bottleneck diagnosis: whether the main limitation is recourse size, MP cut accumulation, or insufficient parallelism.

## 7. Theoretical properties, scope, and relation to adjacent methods

The theoretical status of TSBD in the cited literature is exact for the modeled couplings and convex recourse structures considered. In [2302.10037], exactness follows from the theorem showing equivalence between the original aggregated policy constraint and the budgeting-variable reformulation. In [2508.10789], exactness follows from the compact reformulation that elevates end-of-block storage states to master-level linking variables, producing a convex LP recourse function in \((x,\ell)\) whose cuts are valid supporting hyperplanes. In [2606.00388], grouped cuts are proved to remain valid outer approximations, and adaptive regrouping preserves validity either through cut reconstruction or through historical group constraints with fixed \(\theta_s\) indexing.

All three works rely on LP subproblems for the cleanest convergence properties. In [2508.10789], TSBD inherits Benders’ convergence guarantees with convex LP subproblems and exact optimality cuts. In [2302.10037], the master may contain integer investments while subproblems remain LPs, so the method follows standard Benders for MILPs with LP subproblems. In [2606.00388], the empirical finding is that adaptive grouped cuts converge to the same optimal objective as multi-cut in tractable cases, while representative-SP iterations only approximate the full iteration and require a full-SP iteration to certify convergence [2606.00388].

TSBD is distinct from several adjacent decomposition paradigms. Relative to standard Benders or the classical L-shaped method, its novelty is temporal recourse splitting rather than scenario-only decomposition [2302.10037; 2508.10789]. Relative to Lagrangian temporal decomposition, TSBD retains exact primal feasibility through master-level coupling variables rather than relying on dualized linking constraints and subgradient coordination [2508.10789]. Relative to progressive hedging, it is cut-based rather than penalty-based and is presented as exact for the convex two-stage structures under study [2508.10789]. Relative to SDDP, it targets two-stage invest/operate models with long hourly resolution rather than multistage state-transition formulations [2508.10789].

A recurrent misconception is that temporal decomposition in planning models is necessarily heuristic, comparable to rolling-horizon methods. The sources reject that characterization for the modeled structures: TSBD preserves exactness for annual policy couplings through budgets [2302.10037] and for long-term storage operation through linking variables \(\ell\) [2508.10789]. Another misconception is that finer temporal splitting is always beneficial. The later papers show the opposite once the MP becomes the bottleneck: excessive block counts or overly coarse grouped cuts can degrade performance or cause intractability [2508.10789; 2606.00388].

Taken together, these works position TSBD as a family of exact decomposition formulations for large-scale energy planning models in which chronology is retained rather than aggregated away. The method’s significance lies in enabling higher temporal fidelity, richer policy modeling, and large stochastic expansions within feasible runtime and memory budgets, while leaving open a clear systems-level trade-off: temporal splitting increases parallelism and recourse granularity, but it also increases the number of cuts and the burden on the master problem [2302.10037; 2508.10789; 2606.00388].

Source: https://www.emergentmind.com/topics/temporally-split-benders-decomposition-tsbd