Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
Karan Mukhi, Alessandro Abate
TL;DR
The paper addresses aggregating the flexible demand of heterogeneous TCL populations with dissipative dynamics by extending generalized polymatroid methods. It introduces a base polytope $\mathcal{B}_i(\underline{y},\overline{y})$ that is itself a g-polymatroid and computes maximal inner approximations $\mathcal{B}(\underline{y}^*,\overline{y}^*)$ to each device's flexibility, enabling tractable aggregation via $\mathcal{Q}(p_\mathcal{N}^*,b_\mathcal{N}^*)$ with $p_\mathcal{N}^* = \sum_i p_i^T$ and $b_\mathcal{N}^* = \sum_i b_i^T$. The authors derive recursive expressions for $p_i^t(A)$ and $b_i^t(A)$ to construct the aggregate g-polymatroid and prove containment $\mathcal{Q}(p_\mathcal{N}^*,b_\mathcal{N}^*) \subseteq \mathcal{F}_\mathcal{N}$, with numerical results showing tighter approximations and improved generation-signal tracking over baselines. This yields a scalable, near-exact framework for representing and exploiting TCL flexibility in hierarchical grid operation for heterogeneous, dissipative devices.
Abstract
Leveraging populations of thermostatically controlled loads could provide vast storage capacity to the grid. To realize this potential, their flexibility must be accurately aggregated and represented to the system operator as a single, controllable virtual device. Mathematically this is computed by calculating the Minkowski sum of the individual flexibility of each of the devices. Previous work showed how to exactly characterize the flexibility of lossless storage devices as generalized polymatroids-a family of polytope that enable an efficient computation of the Minkowski sum. In this paper we build on these results to encompass devices with dissipative storage dynamics. In doing so we are able to provide tractable methods of accurately characterizing the flexibility in populations consisting of a variety of heterogeneous devices. Numerical results demonstrate that the proposed characterizations are tight.
