This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Scheduling Flexible Non-Preemptive Loads in Smart-Grid Networks

Nathan Dahlin and Rahul Jain Submitted November 5, 2020. This work was supported by NSF Awards ECCS-1611574 and ECCS-1810447.Nathan Dahlin and Rahul Jain are with the Department of Electrical and Computer Engineering, University of Southern California, 3740 McClintock Ave, Los Angeles, CA, 90089, USA (e-mail: [email protected], [email protected], phone: (213) 631 6101).Correspondence: 3740 McClintock Ave, Los Angeles, CA, 90089, USA
Abstract

A market consisting of a generator with thermal and renewable generation capability, a set of non-preemptive loads (i.e., loads which cannot be interrupted once started), and an independent system operator (ISO) is considered. Loads are characterized by durations, power demand rates and utility for receiving service, as well as disutility functions giving preferences for time slots in which service is preferred. Given this information, along with the generator’s thermal generation cost function and forecast renewable generation, the social planner solves a mixed integer program to determine a load activation schedule which maximizes social welfare. Assuming price taking behavior, we develop a competitive equilibrium concept based on a relaxed version of the social planner’s problem which includes prices for consumption and incentives for flexibility, and allows for probabilistic allocation of power to loads. Considering each load as representative of a population of identical loads with scaled characteristics, we demonstrate that the relaxed social planner’s problem gives an exact solution to the original mixed integer problem in the large population limit, and give a market mechanism for implementing the competitive equilibrium. Finally, we evaluate via case study the benefit of incorporating load flexibility information into power consumption and generation scheduling in terms of proportion of loads served and overall social welfare.

Index Terms:
Power systems economics, power system planning, electric vehicles

I Introduction

Over the roughly century long history of the electrical power grid, the situation facing both grid managers and end users has remained largely the same: electricity available on demand. In the case of the latter, operation of lightbulbs, television sets and other appliances has been just the flip of a switch away, while for the former, the set of available controls and actions was over supply, i.e., which generators to activate - how much to generate and when [21]? Managers have consistently succeeded in providing an adequate supply to meet the demand of end users from second to second largely due to the fact that over the past century, demand forecasting has reached day ahead accuracy within 5% [14].

Recently, circumstances have changed on both the supply and demand sides of the grid. Increased adoption of renewables means that the available power supply is becoming less controllable. Thus, even in the presence of relatively predictable aggregate load, forecasting errors in excess load can be significant. Meanwhile, the rise of networked appliances, homes and buildings is now facilitating synchronization and coordination of consumption to the extent that the demand side flexibility stands to become one of the most important assets available to grid operators [20]. Water heaters and electric vehicles (EV) typify loads characterized by such flexibility. A newly published report from the Brattle Group estimates that load flexibility could be expanded to satisfy nearly 20 percent of US peak demand, and avoid nearly $18 billion in annual generation capacity, energy, transmission and ancillary service costs [13].

Currently, aggregate flexibility is leveraged through demand response programs. Typically these programs are used to reduce peaks in demand, either by indirect load control via real-time pricing or direct control, where utilities have the ability to turn devices on or off. Moving forward, much of the additional benefit is expected to come from expanding the use of demand response to applications such as load shifting and building, e.g., to track a time varying supply of renewable energy, and services such as frequency regulation and voltage control [13].

This work considers a population of non-preemptive loads, i.e., loads which must be served continuously for a predetermined amount of time without interruption once service has started. Examples of such loads are household appliances like dishwashers, and EV charging with tight deadlines [10]. Users report their level of discomfort for being served at each time slot of a finite time horizon. The social planner is tasked with serving these loads has access to a thermal generator with convex generation cost, as well as a renewable generator with zero marginal cost. Given the users’ preferences, thermal generator’s cost function, and knowledge of the renewable generator’s output, the scheduler determines an efficient schedule for cost minimization. We seek to answer the following questions: How can these flexible loads be scheduled over the available time slots? Once a schedule has been determined, how should users be compensated for their flexibility? What is the “price of inflexibility” in this setting? In particular, the problem of monetizing flexibility has proven quite challenging thus far due to a lack of suitable optimization formulations [20].

While the problem of scheduling processor time for service of both preemptive and non-preemptive tasks has long been studied in the computer science literature [7], load scheduling in the context of demand response in energy systems has received considerable attention over the past several years. Model predictive control (MPC) [8], successive binary optimization [25] and greedy algorithms [19] have been applied to the particular objective of tracking a target aggregate load profile at minimum cost, without considering pricing.

Beyond costs associated directly with generation, several works incorporate exogenous energy pricing schemes as parameters of their respective formulations. Fixed uniform rates [24], tiered rates based upon given affine per unit pricing functions [9], and peak/off-peak pricing schemes [11] modeling programs implemented by utilities have been considered in concert with earliest deadline first (EDF), least laxity first (LLF) and MPC scheduling policies.

Of the works that derive flexibility pricing schemes endogenously alongside optimal schedules, relatively few consider non-preemptive loads. This is primarily due to the binary start time decision variables necessary when introducing non-preemptive loads, which precludes direct use of traditional convex optimization or marginal pricing based schemes [20]. Without explicit inclusion of non-preemptive consumption profiles, the scheduling and pricing of a continuum of deadline differentiated loads is studied in [2], wherein the longer a consumer is willing to defer, the lower their energy price.

Targeting non-preemptive loads with hard constraints on acceptable service windows, both [4] and [18] adopt a bilevel programming approach in which an energy provider optimizes a pricing schedule in the upper level, and consumers react by scheduling their loads in order to minimize costs and discomfort. Genetic algorithm [18], and evolutionary and particle-swarm [4] based scheduling heuristics are used to handle the non-preemptive related integer constraints.

More recently, [20] details a power exchange platform allowing for flexible suppliers, as well as consumers with non-preemptive consumption patterns. A fluid relaxation on demand profile shapes, along with a projection method for deriving a feasible schedule is given, and the resulting solution is shown to be asymptotically optimal in the infinite load limit. Marginal pricing, given a schedule of the flexible loads is shown to be inadmissable with respect to incoming offers.

Closest to this work, in [7], a setting similar to the one presented here in continuous time is examined. Prices for load consumption and inflexibility are derived as dual variables to the scheduler’s convex optimization problem, and a competitive equilibrium with respect to reported loads reported consumption level and duration is studied. Under time discretization, approximately optimal scheduling and pricing heuristics are developed. In contrast to this work, user disutility is not modeled, and flexibility incentives do not arise from the optimization formulation. Further, the optimality of the associated heuristics cannot be proven.

I-A Statement of Contributions

In this paper, we propose a tractable optimization formulation for scheduling and pricing non-preemptive load service. Inclusion of such loads necessitates specification of constraints and variables capturing their non-interruptible nature, and in general results in NP hard optimization problems [20]. In summary, the key steps and contributions of this paper are as follows.

  • We propose a novel specification of load flexibility and decentralized optimization formulation for the scheduling of non-preemptive loads.

  • We formulate a corresponding centralized welfare maximization problem, and prove the existence of a competitive equilibrium in the relaxed version of this setting with finitely many loads, i.e., we show that there exist prices for per unit energy consumption and inflexibility such that the thermal generator produces efficient levels at each time step, and a social planner schedules loads such that demand equals supply while respecting the loads’ flexibility preferences

  • We prove that the competitive equilibrium determined for the finite population setting is also a competitive equilibrium in the original mixed binary problem, when each load is interpreted as representing an infinite population of loads with appropriately scaled demand. Thus, the prices derived via convex relaxation are suitable for use in the binary constrained setting. Such a result is currently absent in the related literature.

  • We specify a market mechanism for implementing the competitive equilibrium.

  • We present a case study demonstrating the utility of our formulation, based on real world electric vehicle charging data drawn from the Adaptive Charging Network (ACN) project [15].

II Problem Formulation

The market consists of MM non-preemptive loads (or consumers) and a single thermal generator. Additionally, an ISO (independent system operator) ensures safe grid operation. Let 𝒯=[1,,T]\mathcal{T}=[1,\cdots,T] denote the discrete time horizon over which loads are scheduled and served. For simplicity, we assume a single bus network model. We assume throughout that all entities are price taking, i.e., their actions do not affect market prices.

II-A Market Entity Problems

II-A1 Loads

Each load ii is characterized by a tuple (τi,li,U¯i,uidS,uidE)(\tau_{i},l_{i},\overline{U}_{i},u^{dS}_{i\cdot},u^{dE}_{i\cdot}), where τi\tau_{i} gives the duration in time slots, lil_{i} gives the consumption level, and uidSu^{dS}_{i\cdot} and uidEu^{dE}_{i\cdot} give the disutility functions of consumer ii due to service starting prior to or after a desired service window, respectively. Consumer ii demands lil_{i} MW of electricity for τi\tau_{i} consecutive time slots, and derives utility U¯i\overline{U}_{i} as their load is fulfilled. Figure 1 plots an example pair of disutility functions vectors. If consumer ii is allowed to be served in time slot tt, it suffers disutility uitdS+uitdE0u^{dS}_{it}+u^{dE}_{it}\geq 0. For example, an EV commuter may prefer that their vehicle be charged for a five hour period at 5 kW/h between 9AM and 5PM - while they work - rather than arrive early or stay late in order to charge their vehicle. Thus, the consumer’s overall utility is a function of the flexibility that it allows for in the scheduling of its load.

Refer to caption
Fig. 1: Example disutility vectors.

Denote xiC:=(xi1C,,xiTC){0,1}Tx^{C}_{i}:=(x^{C}_{i1},\dots,x^{C}_{iT})\in\{0,1\}^{T}. We will similarly define vector and matrix valued quantities throughout. Given flexibility incentives piS+Tp^{S}_{i}\in\mathbb{R}^{T}_{+} and piE+Tp^{E}_{i}\in\mathbb{R}^{T}_{+}, consumer ii solves the following optimization problem:

(CONSi)minxiC{0,1}T,yiC0,ziC0\displaystyle(\text{CONS}_{i})\quad\min_{\begin{subarray}{c}x^{C}_{i}\in\{0,1\}^{T},\\ \,y^{C}_{i}\geq 0,\,z^{C}_{i}\geq 0\end{subarray}} tpitconxitCU¯it=1Tτi+1xitC+t((1yitC)(uitdSpitS)+(1zitC)(uitdEpitE))\displaystyle\quad\sum_{t}p^{\text{con}}_{it}x^{C}_{it}-\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}x^{C}_{it}+\sum_{t}\left((1-y^{C}_{it})(u^{dS}_{it}-p^{S}_{it})+(1-z^{C}_{it})\left(u^{dE}_{it}-p^{E}_{it}\right)\right)
s.t. s=1tr=max{1,sτi+1}sxirCτi(1yitC)t\displaystyle\quad\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}x^{C}_{ir}\leq\tau_{i}(1-y^{C}_{it})\,\,\forall\,t (1)
s=tTr=max{1,sτi+1}sxirCτi(1zitC)t.\displaystyle\quad\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}x^{C}_{ir}\leq\tau_{i}(1-z^{C}_{it})\,\,\forall\,t. (2)

In the context of EV charging, if xitC=1x^{C}_{it}=1, then consumer ii chooses to begin charging their vehicle at time slot tt and pay activation price pitconp^{\text{con}}_{it}. The inner sums on the left hand side in constraints (1) and (2) give the charging/idle status of load ii at each time slot ss. That is, the sums will be equal to 1 if consumer ii’s vehicle started charging in any time slot {max{1,sτi+1},,s}\{\max\{1,s-\tau_{i}+1\},\dots,s\} and 0 otherwise. The term (1yitC)=1(1-y^{C}_{it})=1 when consumer ii’s EV has started charging prior to or at time slot tt. In such a case, consumer ii incurs disutility uitdS0u^{dS}_{it}\geq 0 for having started by time tt, but is compensated at early start rate pitSp^{S}_{it}. Similarly, (1zitC)=1(1-z^{C}_{it})=1 indicates that consumer ii’s EV will be charging at or after time slot tt, with uitdEu^{dE}_{it} and late charge ending rate pitEp^{E}_{it} analogous to uitdSu^{dS}_{it} and pitSp^{S}_{it}.

II-A2 Thermal Generator

The generator is characterized by its thermal generation cost function c():++c(\cdot)\,:\,\mathbb{R}_{+}\to\mathbb{R}_{+}, which is assumed to be strictly convex, increasing and twice differentiable on +\mathbb{R}_{+}. In addition to the generator’s thermal plant, we assume that it also owns a renewable generator which produces energy at zero marginal cost. The output of the renewable generator, g:𝒯(0,)g\,:\,\mathcal{T}\to(0,\infty) is assumed to be known to all market participants at time t=0t=0. Given prices pgen+Tp^{\text{gen}}\in\mathbb{R}^{T}_{+}, the generator chooses generation levels qG+Tq^{G}\in\mathbb{R}^{T}_{+} to solve the following profit maximization problem

(GEN)maxqG0t(ptgen(qtG+gt)c(qtG)).(\text{GEN})\quad\max_{q^{G}\geq 0}\quad\sum_{t}\left(p^{\text{gen}}_{t}(q^{G}_{t}+g_{t})-c(q^{G}_{t})\right).

II-A3 ISO

Finally, the ISO collects all load profiles and determines the set of admissible load and generation schedules by solving

(ISO)minqI0xI{0,1}tptgen(qtI+gtilis=max{1,tτi+1}xisI)s.t.ilis=max{1,tτi+1}txisIgtqtIt.\begin{split}(\text{ISO})\min_{\begin{subarray}{c}q^{I}\geq 0\\ \,x^{I}\in\{0,1\}\end{subarray}}&\sum_{t}p^{\text{gen}}_{t}\bigg{(}q^{I}_{t}+g_{t}-\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}x^{I}_{is}\bigg{)}\\ \text{s.t.}\quad&\,\,\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I}_{is}-g_{t}\leq q^{I}_{t}\quad\forall\,t.\end{split}

where qI+Tq^{I}\in\mathbb{R}^{T}_{+}. Note that the ISO incurs positive cost at any time slot tt where thermal generation qtq_{t} exceeds residual demand (aggregate demand less renewable generation), and thus will find those schedules which balance thermal generation and residual demand optimal.

II-B The Social Planner’s Problem

In order to study the welfare properties of the competitive equilibrium given later, we introduce a social planning problem. The social planner is concerned with maximizing the combined welfare of all market participants, while ensuring safe operation of the power grid. Specifically, the social planner collects the profiles of each load ii, and schedules them so that each is served without interruption for their entire duration. In practice, either the ISO or equivalent market participant, or a government organization often assumes responsibility for these tasks [6]. Here we introduce the social planner as a distinct entity for clarity as we investigate properties of our market formulation. Let x^it{0,1}\hat{x}_{it}\in\{0,1\} denote the social planner’s decision as to whether load ii will begin service in time slot tt, where x^it=1\hat{x}_{it}=1 denotes that load ii will start at time slot tt. A schedule is then defined as x^{0,1}M×T\hat{x}\in\{0,1\}^{M\times T}. The social planner selects a schedule, auxiliary load status variables y^\hat{y} and z^\hat{z}, and corresponding generation levels q^:=(q^1,,q^t)\hat{q}:=(\hat{q}_{1},\dots,\hat{q}_{t}) in order to solve the following problem:

(SPP)minq^0x^{0,1}M×Ty^,z^y^,z^\displaystyle(\text{SPP})\min_{\begin{subarray}{c}\hat{q}\geq 0\hat{x}\in\{0,1\}^{M\times T}\\ \hat{y},\,\hat{z}\,\hat{y},\,\hat{z}\end{subarray}} tc(q^t)+ituitdS(1y^it)+ituitdE(1z^it)iU¯it=1Tτi+1x^it\displaystyle\sum_{t}c(\hat{q}_{t})+\sum_{i}\sum_{t}u^{dS}_{it}(1-\hat{y}_{it})+\sum_{i}\sum_{t}u^{dE}_{it}(1-\hat{z}_{it})-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it} (3)
s.t. ilis=max{1,tτi+1}tx^isgtq^tt\displaystyle\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}-g_{t}\leq\hat{q}_{t}\quad\forall\,t (4)
s=1tr=max{1,sτi+1}sx^irτi(1y^it)i,t\displaystyle\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}\leq\tau_{i}(1-\hat{y}_{it})\quad\forall\,i,\,t (5)
s=tTr=max{1,sτi+1}sx^irτi(1z^it)i,t.\displaystyle\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}\leq\tau_{i}(1-\hat{z}_{it})\quad\forall\,i,\,t. (6)

III Convex Relaxation and Pricing

In order to develop prices for electricity consumption and load inflexibility, as well as a competitive equilibrium concept, we relax the binary constraints on matrices x^\hat{x}, y^\hat{y} and z^\hat{z}, and consider the following problem:

(SPP-R)minq^,x^,y^,z^0\displaystyle(\text{SPP-R})\,\,\min_{\begin{subarray}{c}\hat{q},\hat{x},\hat{y},\hat{z}\geq 0\end{subarray}}\,\, tc(q^t)+ituitdS(1y^it)+ituitdE(1z^it)iU¯it=1Tτi+1x^it\displaystyle\sum_{t}c(\hat{q}_{t})+\sum_{i}\sum_{t}u^{dS}_{it}(1-\hat{y}_{it})+\sum_{i}\sum_{t}u^{dE}_{it}(1-\hat{z}_{it})-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it} (7)
s.t. λ^t:ilis=max{1,tτi+1}tx^isgtq^tt\displaystyle\hat{\lambda}_{t}\,:\,\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}-g_{t}\leq\hat{q}_{t}\quad\forall\,t (8)
ν^itS:s=1tr=max{1,sτi+1}sx^irτi(1y^it)i,t\displaystyle\hat{\nu}^{S}_{it}\,:\,\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}\leq\tau_{i}(1-\hat{y}_{it})\quad\forall\,i,\,t (9)
ν^itE:s=tTr=max{1,sτi+1}sx^irτi(1z^it)i,t,\displaystyle\hat{\nu}^{E}_{it}\,:\,\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}\leq\tau_{i}(1-\hat{z}_{it})\quad\forall\,i,\,t, (10)

where λ^t\hat{\lambda}_{t}, ν^itS\hat{\nu}^{S}_{it} and ν^itE\hat{\nu}^{E}_{it} denote the dual variables corresponding to constraints (8-10). It can be shown that constraints (9) and (10) ensure that all entries of x^\hat{x}, y^\hat{y} and z^\hat{z} are less than 1, and also that

t=1Tτi+1x^it1i,t.\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it}\leq 1\quad\forall\,i,\,t. (11)

Under the relaxation, since in addition to (11), each schedule decision variable x^it\hat{x}_{it} satisfies 0x^it10\leq\hat{x}_{it}\leq 1, x^\hat{x} may be interpreted as a matrix specifying the probability that a given load of type ii will be scheduled at time slot tt for all ii and tt. That is, for each ii, the planner will choose x^iT\hat{x}_{i\cdot}\in\mathbb{R}^{T} equal to ete_{t}, the ttth standard basis vector, with probability x^it\hat{x}_{it}. Therefore, x^\hat{x} in (SPP-R) gives a probabilistic schedule for the loads and if, for a given ii, (11) holds with equality, then load ii is certain to be activated at some time slot t𝒯t\in\mathcal{T}. Otherwise, the load only has a chance of ever being activated. Fixing a matrix of probabilities x^\hat{x}, (1y^it)(1-\hat{y}_{it}) and (1z^it)(1-\hat{z}_{it}) give probabilities that load ii has been activated up to time tt, and will be active from time slot tt onward, respectively, for all ii and tt. Consequently, the (SPP-R) objective may be viewed as the expectation of overall social welfare, and the constraints as being met in expectation. This interpretation is key to the competitive equilibrium definition and properties we detail in later sections.

Note that due to the nonnegativity of uitdSu^{dS}_{it} and uitdEu^{dE}_{it} for all i,ti,\,t, for any fixed x^\hat{x}, it is always optimal to choose each entry of matrices {𝟏y^}\{\bm{1}-\hat{y}\} and {𝟏z^}\{\bm{1}-\hat{z}\} as small as possible, where 𝟏\bm{1} denotes the matrix of size N×TN\times T with each entry equal to 1. Therefore, constraints (9) and (10) may be replaced with equalities, and matrices y^\hat{y} and z^\hat{z} are completely determined given a particular x^\hat{x}.

Having relaxed the binary constraints on matrices x^\hat{x}, y^\hat{y} and z^\hat{z}, we may employ Lagrangian analysis in order to arrive at a solution to (SPP-R). Problem (SPP-R)’s Lagrangian is given by

=tc(q^t)+ituitdS(1y^it)+ituitdE(1z^it)iU¯it=1Tτi+1x^it+tλ^t(ilis=max{1,tτi+1}tx^isgtq^t)\begin{split}\mathcal{L}=\sum_{t}c(\hat{q}_{t})&+\sum_{i}\sum_{t}u^{dS}_{it}(1-\hat{y}_{it})+\sum_{i}\sum_{t}u^{dE}_{it}(1-\hat{z}_{it})-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it}\\ &+\sum_{t}\hat{\lambda}_{t}\bigg{(}\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}-g_{t}-\hat{q}_{t}\bigg{)}\end{split}
+itν^itS(s=1tr=max{1,sτi+1}sx^irτi(1y^it))+itν^itE(s=tTr=max{1,sτi+1}sx^irτi(1z^it)).\begin{split}&+\sum_{i}\sum_{t}\hat{\nu}^{S}_{it}\bigg{(}\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}-\tau_{i}(1-\hat{y}_{it})\bigg{)}\\ &+\sum_{i}\sum_{t}\hat{\nu}^{E}_{it}\bigg{(}\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}-\tau_{i}(1-\hat{z}_{it})\bigg{)}.\end{split}

Let

pitλ^=lis=tmin{T,t+τi1}λ^s\begin{split}p^{\hat{\lambda}}_{it}&=l_{i}\sum_{s=t}^{\min\{T,t+\tau_{i}-1\}}\hat{\lambda}_{s}\end{split} (12)
pitν^=s=tTν^isSmin{st+1,τi}+s=1min{T,t+τ1}ν^isEmin{Tt+1,τi,τi(st)}.\begin{split}p^{\hat{\nu}}_{it}&=\sum_{s=t}^{T}\hat{\nu}^{S}_{is}\min\{s-t+1,\tau_{i}\}+\sum_{s=1}^{\min\{T,t+\tau-1\}}\hat{\nu}^{E}_{is}\min\{T-t+1,\tau_{i},\tau_{i}-(s-t)\}.\end{split} (13)

(See Appendix A for the derivation of pλ^p^{\hat{\lambda}} and pν^p^{\hat{\nu}}). Then, the (SPP-R) Lagrangian can be rearranged as

=t(c(q^t)λ^t(q^t+gt))+it(pitλ^+pitν^)x^itiU¯it=1Tτi+1x^it+it(1y^it)(uitdSν^itSτi)+it(1z^it)(uitdEν^itEτi),\begin{split}\mathcal{L}=\sum_{t}\bigg{(}c(\hat{q}_{t})-\hat{\lambda}_{t}(\hat{q}_{t}+g_{t})\bigg{)}&+\sum_{i}\sum_{t}\bigg{(}p^{\hat{\lambda}}_{it}+p^{\hat{\nu}}_{it}\bigg{)}\hat{x}_{it}-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it}+\sum_{i}\sum_{t}(1-\hat{y}_{it})(u^{dS}_{it}-\hat{\nu}^{S}_{it}\tau_{i})\\ &+\sum_{i}\sum_{t}(1-\hat{z}_{it})(u^{dE}_{it}-\hat{\nu}^{E}_{it}\tau_{i}),\end{split} (14)

and in addition to feasibility, the KKT optimality conditions for (SPP-R)(\text{SPP-R}) are

c(q^t)λ^t\displaystyle c^{\prime}(\hat{q}^{*}_{t})-\hat{\lambda}^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (15)
q^t(c(q^t)λ^t)\displaystyle\hat{q}^{*}_{t}\left(c^{\prime}(\hat{q}^{*}_{t})-\hat{\lambda}^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (16)
pitλ^+pitν^U¯i\displaystyle p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}^{*}}_{it}-\overline{U}_{i} 0i,tTτi+1\displaystyle\geq 0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (17)
x^it(pitλ^+pitν^U¯i)\displaystyle\hat{x}^{*}_{it}\left(p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}^{*}}_{it}-\overline{U}_{i}\right) =0i,tTτi+1\displaystyle=0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (18)
pitλ^+pitν^\displaystyle p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}^{*}}_{it} 0i,t>Tτi+1\displaystyle\geq 0\quad\forall\,i,\,t>T-\tau_{i}+1 (19)
x^it(pitλ^+pitν^)\displaystyle\hat{x}^{*}_{it}\left(p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}^{*}}_{it}\right) =0i,t>Tτi+1\displaystyle=0\quad\forall\,i,\,t>T-\tau_{i}+1 (20)
τiν^itSuitdS\displaystyle\tau_{i}\hat{\nu}^{S*}_{it}-u^{dS}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (21)
y^it(τiν^itSuitdS)\displaystyle\hat{y}^{*}_{it}\left(\tau_{i}\hat{\nu}^{S*}_{it}-u^{dS}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (22)
τiν^itEuitdE\displaystyle\tau_{i}\hat{\nu}^{E*}_{it}-u^{dE}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (23)
z^it(τiν^itEuitdE)\displaystyle\hat{z}^{*}_{it}\left(\tau_{i}\hat{\nu}^{E*}_{it}-u^{dE}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (24)
λ^t(ilis=max{1,tτi+1}tx^isgtq^t)\displaystyle\hat{\lambda}^{*}_{t}\big{(}\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{is}-g_{t}-\hat{q}^{*}_{t}\big{)} =0t\displaystyle=0\quad\forall\,t (25)
λ^t\displaystyle\hat{\lambda}^{*}_{t} 0i,t.\displaystyle\geq 0\,\quad\forall\,i,\,t. (26)

Note that due to condition (18), load ii may only be activated with nonzero probability during time slots when the sum pitλ^+pitν^p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}^{*}}_{it} is equal to the constant marginal utility term U¯i\overline{U}_{i}. Additionally, condition (16) implies that for time slots in which it is optimal to produce a positive quantity of electricity, we have that λ^t=c(q^t)>0\hat{\lambda}^{*}_{t}=c^{\prime}(\hat{q}^{*}_{t})>0, the marginal cost of production. In turn, condition (25) implies that generated quantities of electricity in such time slots will be equal to demand less forecast renewable generation.

In view of our interpretation of the (SPP-R) objective as the expected value of social welfare, and the constraints as being met in expectation, the solution to (SPP-R) yields a set of admissible load activation schedules which may be randomly selected by the social planner in a single shot of the original, binary constrained problem. We will further examine this correspondence in later sections. Fixing such an activation schedule and taking into account renewable generation output gtg_{t}, the optimal generation schedule follows from constraints (4) and (8), and condition (24).

III-A Consumer’s Problem

The second (SPP-R) Lagrangian expression (14) suggests the following decomposition of the relaxed social planner’s problem into relaxed versions of the individual entity problems presented above. See [5] for the optimality conditions corresponding to each of these problems. Starting with the consumer problems, we have

(CONS-Ri)minxiC,yiCziC0\displaystyle(\text{CONS-R}_{i})\,\,\min_{\begin{subarray}{c}x^{C}_{i},\,y^{C}_{i}\\ z^{C}_{i}\geq 0\end{subarray}} tpitconxitCU¯it=1Tτi+1xitC+t((uitdSpitS)(1yitC)+(uitdEpitE)(1zitC))\displaystyle\quad\sum_{t}p^{\text{con}}_{it}x^{C}_{it}-\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}x^{C}_{it}+\sum_{t}\left((u^{dS}_{it}-p^{S}_{it})(1-y^{C}_{it})+\left(u^{dE}_{it}-p^{E}_{it}\right)(1-z^{C}_{it})\right) (27)
s.t. θitS:s=1tr=max{1,sτi+1}sxirC=τi(1yitC)t\displaystyle\quad\theta^{S}_{it}\,:\,\,\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}x^{C}_{ir}=\tau_{i}(1-y^{C}_{it})\quad\forall\,t (28)
θitE:s=tTr=max{1,sτi+1}sxirC=τi(1zitC)t.\displaystyle\quad\,\theta^{E}_{it}\,:\,\,\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}x^{C}_{ir}=\tau_{i}(1-z^{C}_{it})\quad\forall\,t. (29)

Again, under the relaxation on the binary constraints on xiCx_{i}^{C}, yiCy^{C}_{i} and ziCz^{C}_{i}, we may interpret the consumer’s problem as selecting probabilities of activation for each time slot tt, in the interest of maximizing their expected net utility (here written in minimization form).

III-B Generator and ISO Problems

The generator’s problem remains the same as before

(GEN-R)maxqG0\displaystyle(\text{GEN-R})\quad\max_{q^{G}\geq 0} t(ptgen(qtG+gt)c(qtG)).\displaystyle\quad\sum_{t}\left(p^{\text{gen}}_{t}(q^{G}_{t}+g_{t})-c(q^{G}_{t})\right). (30)

Finally, the relaxed ISO problem is given by

(ISO-R)minqI0xI0\displaystyle(\text{ISO-R})\quad\min_{\begin{subarray}{c}q^{I}\geq 0\\ x^{I}\geq 0\end{subarray}}\quad tptgen(qtI+gtilis=max{1,tτi+1}txisI)\displaystyle\sum_{t}p^{\text{gen}}_{t}\bigg{(}q^{I}_{t}+g_{t}-\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x_{is}^{I}\bigg{)}
s.t. αt:ilis=max{1,tτi+1}txisIgtqtIt,\displaystyle\alpha_{t}\,:\,\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I}_{is}-g_{t}\leq q^{I}_{t}\quad\forall\,t,

See Appendix B for the optimality conditions for each of the individual entity optimization problems.

IV Competitive Equilibrium and Theorems of Welfare Economics

The competitive or Walrasian equilibrium is a standard reference point in economic analysis for assessing market outcomes. A competitive equilibrium is specified by an allocation of goods and prices, with the defining characteristic that taking the equilibrium prices as given, every market participant finds it optimal to select the corresponding equilibrium allocation [16]. At equilibrium prices, the quantity of goods demanded by consumers is equal to the quantity produced by suppliers., i.e., the market clears. Therefore, equilibrium prices provide a coordinating signal for markets to operate in a decentralized fashion.

Assuming that competitive equilibrium exists for a particular market setting, it is natural to compare the equilibrium allocation to allocations which directly maximize the aggregate welfare of all market participants. The latter allocations are called efficient, and in our setting are given by solutions to (SPP-R).

We now give the competitive equilibrium definition for our setting, and explore existence, as well as welfare properties of such an equilibrium. As related above, competitive equilibria are typically specified in two-sided settings involving consumers and producers maximizing their individual well being and profits, respectively. Similar to the analysis found in [22] and [26], we augment the standard definition to include a nonprofit entity, i.e., the ISO.

Definition 1

(Competitive Equilibrium). A tuple (q¯,x¯,y¯,z¯,p¯con,p¯S,p¯E,p¯gen)(\overline{q}^{*},\overline{x}^{*},\overline{y}^{*},\overline{z}^{*},\overline{p}^{\text{con}*},\overline{p}^{S*},\overline{p}^{E*},\overline{p}^{\text{gen}*}) with p¯gen0\overline{p}^{\text{gen}*}\geq 0 is said to be a competitive equilibrium if, given (p¯icon,p¯iS,p¯iE)(\overline{p}^{\text{con}*}_{i},\overline{p}^{S*}_{i},\overline{p}^{E*}_{i}), (x¯i,y¯i,z¯i)(\overline{x}^{*}_{i},\overline{y}^{*}_{i},\overline{z}^{*}_{i}) solves (CON-Ri)(\text{CON-R}_{i}) for each ii, q¯\overline{q}^{*} solves (GEN-R)(\text{GEN-R}), given p¯gen*\overline{p}^{\text{gen*}}, q¯\overline{q}^{*} solves (GEN-R)(\text{GEN-R}), and given p¯gen\overline{p}^{\text{gen}*}, (q¯,x¯)(\overline{q}^{*},\overline{x}^{*}) solves (ISO-R)(\text{ISO-R}).

As noted in the previous section since solutions to (CON-Ri)(\text{CON-R}_{i}) will, in general, give values of xitC[0,1]x^{C}_{it}\in[0,1], the quantities (x¯,y¯,z¯)(\overline{x}^{*},\overline{y}^{*},\overline{z}^{*}) in the competitive equilibrium in Definition 1 have probabilistic interpretations: consumers select probabilities xitCx^{C}_{it} of being scheduled at each time slot t𝒯t\in\mathcal{T}, in order to maximize their expected net utility.

Our first result addresses the existence of the competitive equilibrium defined above.

Theorem 1

There exists a competitive equilibrium, given by an optimal solution (q^,x^,y^,z^)(\hat{q}^{*},\hat{x}^{*},\hat{y}^{*},\hat{z}^{*}) to (SPP-R)(\text{SPP-R}), and the following prices derived from an optimal dual solution to (SPP-R)(\text{SPP-R})

p¯itcon=pitλ^+pitν^,p¯tgen=λ^t,p¯itS=τiν^itS,p¯itE=τiν^itE,\begin{split}\overline{p}^{\text{con}*}_{it}=p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it},\quad\overline{p}^{\text{gen}*}_{t}=\hat{\lambda}^{*}_{t},\quad\overline{p}^{S*}_{it}=\tau_{i}\hat{\nu}^{S*}_{it},\quad\overline{p}^{E*}_{it}=\tau_{i}\hat{\nu}^{E*}_{it},\quad\end{split} (31)

for all ii and tt.

Proof

See Appendix C.

The two fundamental theorems of welfare economics describe the relationship between competitive equilibria and efficient allocations. The first fundamental theorem states that competitive equilibria lead to, or support efficient allocations [16]. The second fundamental theorem states that the converse also holds, and in our settings corresponds to Theorem 1. We now state and prove the first fundamental theorem for our setting, given by Theorem 2. Whereas proofs of the efficiency of competitive equilibria often require that the balance of supply and demand be included in the definition of such equilibria, in our development this equality arises from the given formulation of the ISO’s problem (ISO-R). That is, facing equilibrium prices, the ISO will act to balance supply and demand as it optimizes (ISO-R).

Theorem 2

Any competitive equilibrium forms an optimal solution for (SPP-R)(\text{SPP-R}).

Proof

By definition, the competitive equilibrium (q¯,x¯,y¯,z¯,p¯con,p¯S,p¯E,p¯gen)(\overline{q}^{*},\overline{x}^{*},\overline{y}^{*},\overline{z}^{*},\overline{p}^{\text{con}*},\overline{p}^{S*},\overline{p}^{E*},\overline{p}^{\text{gen}*}) satisfies

c(q¯t)p¯tgen\displaystyle c^{\prime}(\overline{q}^{*}_{t})-\overline{p}^{\text{gen}*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (32)
q¯t(c(q¯t)p¯tgen)\displaystyle\overline{q}^{*}_{t}\left(c^{\prime}(\overline{q}^{*}_{t})-\overline{p}^{\text{gen}*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (33)
p¯itcon+pitθU¯i\displaystyle\overline{p}^{\text{con}*}_{it}+p^{\theta*}_{it}-\overline{U}_{i} 0i,tTτi+1\displaystyle\geq 0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (34)
x¯it(p¯itcon+pitθU¯i)\displaystyle\overline{x}^{*}_{it}\left(\overline{p}^{\text{con}*}_{it}+p^{\theta*}_{it}-\overline{U}_{i}\right) =0i,tTτi+1\displaystyle=0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (35)
p¯itcon+pitθ\displaystyle\overline{p}^{\text{con}*}_{it}+p^{\theta*}_{it} 0i,t>Tτi+1\displaystyle\geq 0\quad\forall\,i,\,t>T-\tau_{i}+1 (36)
x¯it(p¯itcon+pitθ)\displaystyle\overline{x}^{*}_{it}\left(\overline{p}^{\text{con}*}_{it}+p^{\theta*}_{it}\right) =0i,t>Tτi+1\displaystyle=0\quad\forall\,i,\,t>T-\tau_{i}+1 (37)
p¯itS+τiθitSuitdS\displaystyle\overline{p}^{S*}_{it}+\tau_{i}\theta^{S*}_{it}-u^{dS}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (38)
y¯it(p¯itS+τiθitSuitdS)\displaystyle\overline{y}^{*}_{it}\left(\overline{p}^{S*}_{it}+\tau_{i}\theta^{S*}_{it}-u^{dS}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (39)
p¯itE+τiθitEuitdE\displaystyle\overline{p}^{E*}_{it}+\tau_{i}\theta^{E*}_{it}-u^{dE}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (40)
z¯it(p¯itE+τiθitEuitdE)\displaystyle\overline{z}^{*}_{it}\left(\overline{p}^{E*}_{it}+\tau_{i}\theta^{E*}_{it}-u^{dE}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (41)
p¯tgenαt\displaystyle\overline{p}^{\text{gen}*}_{t}-\alpha^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (42)
q¯t(p¯tgenαt)\displaystyle\overline{q}^{*}_{t}\left(\overline{p}^{\text{gen}*}_{t}-\alpha^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (43)
pitp¯gen+pitα\displaystyle-p^{\overline{p}^{\text{gen}*}}_{it}+p^{\alpha^{*}}_{it} 0t\displaystyle\geq 0\quad\forall\,t (44)
x¯t(pitp¯gen+pitα)\displaystyle\overline{x}^{*}_{t}\left(-p^{\overline{p}^{\text{gen}*}}_{it}+p^{\alpha^{*}}_{it}\right) =0t\displaystyle=0\quad\forall\,t (45)
αt(ilis=max{1,tτi+1}tx¯isgtq¯t)\displaystyle\alpha^{*}_{t}\left(\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\overline{x}^{*}_{is}-g_{t}-\overline{q}^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (46)
αt\displaystyle\alpha^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (47)

for some θS\theta^{S*}, θE\theta^{E*} and α0\alpha^{*}\geq 0, as well as the feasibility conditions for each of the individual entity problems. Therefore, observing that for any p¯gen0\overline{p}^{\text{gen}*}\geq 0 the form of the objective in (ISO-R)(\text{ISO-R}) ensures that complementary slackness condition (25) will be satisfied at the competitive equilibrium, selecting (q^,x^,y^,z^)=(q¯,x¯,y¯,z¯)(\hat{q}^{*},\hat{x}^{*},\hat{y}^{*},\hat{z}^{*})=(\overline{q}^{*},\overline{x}^{*},\overline{y}^{*},\overline{z}^{*}) as the primal variables, and dual variables λ^=p¯gen=α\hat{\lambda}^{*}=\overline{p}^{\text{gen}*}=\alpha^{*} and (ν^itS,ν^itE)=(p¯S/τi+θitS,p¯E/τi+θitE)(\hat{\nu}^{S*}_{it},\hat{\nu}^{E*}_{it})=(\overline{p}^{S*}/\tau_{i}+\theta^{S*}_{it},\overline{p}^{E*}/\tau_{i}+\theta^{E*}_{it}) for all i,ti,\,t, forms optimal primal and dual solutions to (SPP-R)(\text{SPP-R}).

V Replicated and Large Economies

In general a competitive equilibrium is not guaranteed to exist when the social planner’s problem is a mixed integer programming problem. Nevertheless, our competitive equilibrium definition allows for probabilistic allocation to consumers, and thus the existence of a competitive equilibrium is related to the existence of a primal and dual solution to the (relaxed) (SPP-R) problem. In this section we justify the study of this relaxed problem by demonstrating its equivalence to the original, binary constrained (SPP) when each load ii is interpreted as representing an infinite population of identical loads, with scaled demand.

Thus far, our development has crucially relied on the assumption that market participants are price taking, i.e., presented with market prices, they make decisions in view of their own preferences and constraints, revealing their true demand without consideration of how their choices might influence these prices. But why should they act in this manner? In economic theory, the notion of large economies provides one justification for adoption of this assumption. The essence of the argument is as follows. As the number of market participants increases, any influence that an individual participant might have on market prices diminishes. When when that number grows to infinite, that influence vanishes entirely, and the price taking assumption becomes reasonable [1].

Following this intuitive argument, the question of how to add individuals to the market still remains. A special method, known as replication, is to introduce participants with preferences and constraints identical to existing types, in the same proportion as existing ones [12]. In the context of electric vehicle charging, this could mean scaling up the number of drivers with the same model vehicle and desired charging schedule, with demand scaled down so as to avoid infeasible aggregate demands as the population of each type grows. In general it can be shown that as participants are added in this way, those of the same type will receive the same allocation.

Suppose that each load ii is replicated NN times, and that the resulting loads have demand, utility and disutility scaled by NN. Indexing the replicas of each type ii with the index nn, the binary constrained SPP with NN replication is

(SPP(N))minx^{0,1}M×N×Tq^,y^,z^0\displaystyle(\text{SPP($N$)})\min_{\begin{subarray}{c}\hat{x}\in\{0,1\}^{M\times N\times T}\\ \hat{q},\,\hat{y},\,\hat{z}\geq 0\end{subarray}} tc(q^t)inU¯iNt=1Tτi+1x^int+intuitdSN(1y^int)+intuitdEN(1z^int)\displaystyle\sum_{t}c\left(\hat{q}_{t}\right)-\sum_{i}\sum_{n}\frac{\overline{U}_{i}}{N}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{int}+\sum_{i}\sum_{n}\sum_{t}\frac{u^{dS}_{it}}{N}(1-\hat{y}_{int})+\sum_{i}\sum_{n}\sum_{t}\frac{u^{dE}_{it}}{N}(1-\hat{z}_{int})
s.t. λ^t:inliNs=max{1,tτi+1}tx^insgtq^tt\displaystyle\hat{\lambda}_{t}\,:\,\sum_{i}\sum_{n}\frac{l_{i}}{N}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{ins}-g_{t}\leq\hat{q}_{t}\quad\forall\,t
ν^intS:s=1tr=max{1,sτi+1}sx^inr=τi(1y^int)i,n,t\displaystyle\hat{\nu}^{S}_{int}\,:\,\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{inr}=\tau_{i}(1-\hat{y}_{int})\quad\forall\,i,\,n,\,t (48)
ν^intE:s=tTr=max{1,sτi+1}sx^inr=τi(1z^int)i,n,t.\displaystyle\hat{\nu}^{E}_{int}\,:\,\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{inr}=\tau_{i}(1-\hat{z}_{int})\quad\forall\,i,\,n,\,t. (49)

We refer to the problem with NN replication which relaxes the binary constraint on x^\hat{x} as SPP(NN)-R (instead of SPP(1)-R, we will still refer to the original relaxed problem as SPP-R). When we wish to emphasize the dependence of decision variables on the replication factor NN, we will append (N)(N), e.g., x^int(N)\hat{x}_{int}(N).

Proposition 3

Let (q^,x^,y^,z^,λ^,ν^S,ν^E)(\hat{q}^{*},\hat{x}^{*},\hat{y}^{*},\hat{z}^{*},\hat{\lambda}^{*},\hat{\nu}^{S*},\hat{\nu}^{E*}) denote an optimal solution to SPP-R. Then for any NN, an optimal solution to SPP(NN)-R can be formed by setting x^int(N)=x^it\hat{x}^{*}_{int}(N)=\hat{x}^{*}_{it}, y^int(N)=y^it\hat{y}^{*}_{int}(N)=\hat{y}^{*}_{it}, z^int(N)=z^it\hat{z}^{*}_{int}(N)=\hat{z}^{*}_{it}, for all i,n,ti,\,n,\,t, λ^t(N)=λ^t\hat{\lambda}^{*}_{t}(N)=\hat{\lambda}^{*}_{t} for all tt, and ν^intS(N)=ν^itS/N\hat{\nu}^{S*}_{int}(N)=\hat{\nu}^{S*}_{it}/N and ν^intE(N)=ν^itE/N\hat{\nu}^{E*}_{int}(N)=\hat{\nu}^{E*}_{it}/N for all ii and tt.

Proof

SPP(NN)-R has the following KKT conditions. For all tt

c(q^t(N))λ^t(N)\displaystyle c^{\prime}(\hat{q}^{*}_{t}(N))-\hat{\lambda}^{*}_{t}(N) 0\displaystyle\geq 0 (50)
q^t(N)(c(q^t(N))λ^t(N))\displaystyle\hat{q}^{*}_{t}(N)\left(c^{\prime}(\hat{q}^{*}_{t}(N))-\hat{\lambda}^{*}_{t}(N)\right) =0,\displaystyle=0, (51)

for all ii, nn and TTτi+1T\leq T-\tau_{i}+1

pitλ^(N)N+pintν^(N)U¯iN\displaystyle\frac{p^{\hat{\lambda}*}_{it}(N)}{N}+p^{\hat{\nu}*}_{int}(N)-\frac{\overline{U}_{i}}{N} 0\displaystyle\geq 0 (52)
x^int(N)(pitλ^(N)N+pintν^(N)U¯iN)\displaystyle\hat{x}^{*}_{int}(N)\left(\frac{p^{\hat{\lambda}*}_{it}(N)}{N}+p^{\hat{\nu}*}_{int}(N)-\frac{\overline{U}_{i}}{N}\right) =0,\displaystyle=0, (53)

for all ii, nn, and T>Tτi+1T>T-\tau_{i}+1

pitλ^(N)N+pintν^(N)\displaystyle\frac{p^{\hat{\lambda}*}_{it}(N)}{N}+p^{\hat{\nu}*}_{int}(N) 0\displaystyle\geq 0 (54)
x^int(N)(pitλ^(N)N+pintν^(N))\displaystyle\hat{x}^{*}_{int}(N)\left(\frac{p^{\hat{\lambda}*}_{it}(N)}{N}+p^{\hat{\nu}*}_{int}(N)\right) =0,\displaystyle=0, (55)

for all ii, nn, and tt

τiν^intS(N)uitdSN\displaystyle\tau_{i}\hat{\nu}^{S*}_{int}(N)-\frac{u^{dS}_{it}}{N} 0\displaystyle\geq 0 (56)
y^int(N)(τiν^intS(N)uitdSN)\displaystyle\hat{y}^{*}_{int}(N)\left(\tau_{i}\hat{\nu}^{S*}_{int}(N)-\frac{u^{dS}_{it}}{N}\right) =0\displaystyle=0 (57)
τiν^intE(N)uitdEN\displaystyle\tau_{i}\hat{\nu}^{E*}_{int}(N)-\frac{u^{dE}_{it}}{N} 0\displaystyle\geq 0 (58)
z^int(N)(τiν^intE(N)uitdEN)\displaystyle\hat{z}^{*}_{int}(N)\left(\tau_{i}\hat{\nu}^{E*}_{int}(N)-\frac{u^{dE}_{it}}{N}\right) =0,\displaystyle=0, (59)

and for all tt

λ^t(N)(iliNns=max{1,tτi+1}tx^ins(N)gtq^t(N))\displaystyle\hat{\lambda}^{*}_{t}(N)\bigg{(}\sum_{i}\frac{l_{i}}{N}\sum_{n}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{ins}(N)-g_{t}-\hat{q}^{*}_{t}(N)\bigg{)} =0\displaystyle=0 (60)
λ^t(N)\displaystyle\hat{\lambda}^{*}_{t}(N) 0.\displaystyle\geq 0. (61)

The proof of the theorem follows from making the selections specified in the theorem statement, substituting into (50)-(61), and comparing with (15)-(26).

Proposition 3 states that an optimal probabilistic schedule x^(N)\hat{x}^{*}(N) in the problem with NN replication can be derived from an optimal probabilistic schedule x^\hat{x}^{*} for (SPP-R) and specifies how to do so. In the limit as NN\to\infty we can use x^\hat{x} to generate an optimal deterministic, binary constrained schedule if we interpret x^it\hat{x}^{*}_{it} as the proportion of the population of type ii to be activated at time tt. This is stated formally in the following theorem.

Theorem 4

An optimal solution to SPP(\infty) is given by activating proportion x^it\hat{x}^{*}_{it} of type ii population at time tt for each ii and tt, where x^\hat{x}^{*} is an optimal solution to SPP-R.

Proof

Note that constraints (48) and (49) may be rewritten

y^int=11τis=1tr=max{1,sτi+1}sx^inri,n,tz^int=11τis=tTr=max{1,sτi+1}sx^inri,n,t,\begin{split}\hat{y}_{int}&=1-\frac{1}{\tau_{i}}\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{inr}\quad\forall\,i,\,n,\,t\\ \hat{z}_{int}&=1-\frac{1}{\tau_{i}}\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{inr}\quad\forall\,i,\,n,\,t,\end{split} (62)

so that overall SPP(NN) can be written as

minq^0,x^{0,1}\displaystyle\min_{\begin{subarray}{c}\hat{q}\geq 0,\\ \hat{x}\in\{0,1\}\end{subarray}}\quad tc(q^t)iU¯it=1Tτi+11Nnx^int+ituitdS(1τis=1tr=max{1,sτi+1}s1Nnx^inr)\displaystyle\sum_{t}c\left(\hat{q}_{t}\right)-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\frac{1}{N}\sum_{n}\hat{x}_{int}+\sum_{i}\sum_{t}u^{dS}_{it}\bigg{(}\frac{1}{\tau_{i}}\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\frac{1}{N}\sum_{n}\hat{x}_{inr}\bigg{)}
+ituitdE(1τis=tTr=max{1,sτi+1}s1Nnx^inr)\displaystyle\hskip 158.99377pt+\sum_{i}\sum_{t}u^{dE}_{it}\bigg{(}\frac{1}{\tau_{i}}\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\frac{1}{N}\sum_{n}\hat{x}_{inr}\bigg{)}
s.t. λ^t:ilis=max{1,tτi+1}t1Nnx^insgtq^tt.\displaystyle\hat{\lambda}_{t}\,:\,\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\frac{1}{N}\sum_{n}\hat{x}_{ins}-g_{t}\leq\hat{q}_{t}\quad\forall\,t. (63)

Now, if x^int(N)\hat{x}_{int}(N) is considered as a Bernoulli random variable with P(x^int(N)=1)=x^itP(\hat{x}_{int}(N)=1)=\hat{x}^{*}_{it} and q^t(N)\hat{q}^{*}_{t}(N) is chosen as q^t(1)=q^t\hat{q}^{*}_{t}(1)=\hat{q}_{t} for all tt, then by the Law of Large Numbers, constraint (63) converges to

ilis=max{1,tτi+1}tx^isgtq^tt.\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{is}-g_{t}\leq\hat{q}^{*}_{t}\quad\forall\,t.

Similarly, the objective function converges to

tc(q^t)iU¯it=1Tτi+1x^it+ituitdS(1τis=1tr=max{1,sτi+1}sx^ir)+ituitdE(1τis=tTr=max{1,sτi+1}sx^ir).\begin{split}\sum_{t}c\left(\hat{q}^{*}_{t}\right)-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}^{*}_{it}&+\sum_{i}\sum_{t}u^{dS}_{it}\bigg{(}\frac{1}{\tau_{i}}\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}^{*}_{ir}\bigg{)}\\ &+\sum_{i}\sum_{t}u^{dE}_{it}\bigg{(}\frac{1}{\tau_{i}}\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}^{*}_{ir}\bigg{)}.\end{split}

Since the optimal objective of the relaxed problem provides a lower bound for the binary constrained problem, and the power balance constraint is satisfied in the limit as NN\to\infty, the solution produced by randomly activating loads according to x^\hat{x}^{*} converges to an optimal binary constrained solution as NN\to\infty.

VI Market Mechanism for Large Population Economy

Market mechanism design is an approach in economic theory which, rather than taking economic institutions as fixed and predicting the outcomes generated by such institutions, starts with an outcome identified as desirable and attempts to construct a mechanism by which it may be delivered [17]. In this section we consider the competitive equilibrium concept discussed in prior sections as the target outcome for our market, and specify a mechanism by which it can be achieved. Mechanism design plays a crucial role for market in which participants may misreport preferences, costs or other information when it is in their individual best interest to do so. Therefore, the mechanism presented in this section may be viewed as a starting point for future work in which market participants are allowed to behave strategically.

The competitive equilibrium definition given in the previous section allows for non-binary activation schedule x¯\overline{x}^{*}. As mentioned, since 0x¯it10\leq\overline{x}^{*}_{it}\leq 1, and tx¯it1\sum_{t}\overline{x}^{*}_{it}\leq 1, each x¯it\overline{x}^{*}_{it} may be interpreted as giving the portion of load ii activated at time tt under relaxation of the binary constraints on the activation schedule orthe probability that an individual load of type ii in the infinite replication setting is fully activated at time tt.

Let us explore the infinitely replicated setting from the perspective of an individual load nn of type ii. First, note that for finite NN, (SPP(NN)-R) has Lagrangian

=tc(q^t(N))λ^t(N)(q^t(N)+gt)+i,n,t(uitdSN(1y^int(N))+uitdEN(1z^int(N)))i,n,tν^intS(N)(1y^int(N))i,n,tτiν^intS(N)(1z^int(N))+i,n,t(pintλ^(N)N+pintν^(N))x^int(N)iU¯iNnt=1Tτi+1x^int(N)\begin{split}&\mathcal{L}=\sum_{t}c\left(\hat{q}_{t}(N)\right)-\hat{\lambda}_{t}(N)(\hat{q}_{t}(N)+g_{t})+\sum_{i,n,t}\left(\frac{u^{dS}_{it}}{N}(1-\hat{y}_{int}(N))+\frac{u^{dE}_{it}}{N}(1-\hat{z}_{int}(N))\right)\\ &\hskip 74.438pt-\sum_{i,n,t}\hat{\nu}^{S}_{int}(N)(1-\hat{y}_{int}(N))-\sum_{i,n,t}\tau_{i}\hat{\nu}^{S}_{int}(N)(1-\hat{z}_{int}(N))\\ &\hskip 74.438pt+\sum_{i,n,t}\left(\frac{p^{\hat{\lambda}}_{int}(N)}{N}+p^{\hat{\nu}}_{int}(N)\right)\hat{x}_{int}(N)-\sum_{i}\frac{\overline{U}_{i}}{N}\sum_{n}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{int}(N)\\ \end{split}

where pintλ^(N)p^{\hat{\lambda}}_{int}(N) and pintν^(N)p^{\hat{\nu}}_{int}(N) are defined analogously to (12) and (13).

Thus, under NN replication and relaxation, the optimization problem for consumer nn of type ii is given by

(CONSin(N)-R)minxinC,yinCzinC0\displaystyle(\text{CONS}_{in}(N)\text{-R})\quad\min_{\begin{subarray}{c}x_{in}^{C},y^{C}_{in}\\ \,z^{C}_{in}\geq 0\end{subarray}} tpintcon(N)xintCU¯iNt=1Tτi+1xintC+t(uitdSNpintS)(1yintC)\displaystyle\quad\sum_{t}p^{\text{con}}_{int}(N)x^{C}_{int}-\frac{\overline{U}_{i}}{N}\sum_{t=1}^{T-\tau_{i}+1}x^{C}_{int}+\sum_{t}\left(\frac{u^{dS}_{it}}{N}-p^{S}_{int}\right)(1-y^{C}_{int})
+t(uitdENpintE)(1zintC)\displaystyle\hskip 152.12804pt+\sum_{t}\left(\frac{u^{dE}_{it}}{N}-p^{E}_{int}\right)(1-z^{C}_{int})
s.t. θintS:s=1tr=max{1,sτi+1}sxinrC=τi(1yintC)t\displaystyle\quad\theta^{S}_{int}\,:\,\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}x^{C}_{inr}=\tau_{i}(1-y^{C}_{int})\quad\forall\,t (64)
θintE:s=tTr=max{1,sτi+1}sxinrC=τi(1zintC)t.\displaystyle\quad\theta^{E}_{int}\,:\,\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}x^{C}_{inr}=\tau_{i}(1-z^{C}_{int})\quad\forall\,t. (65)

Multiplying by NN, the (CONin(N)-R)(\text{CON}_{in}(N)\text{-R}) objective function can be written as

tNpintconxintC+t(uitdSNpintS)(1yintC)+t(uitdENpintE)(1zintC)U¯it=1Tτi+1xintC.\begin{split}&\sum_{t}Np^{\text{con}}_{int}x^{C}_{int}+\sum_{t}\left(u^{dS}_{it}-Np^{S}_{int}\right)(1-y^{C}_{int})+\sum_{t}\left(u^{dE}_{it}-Np^{E}_{int}\right)(1-z^{C}_{int})-\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}x^{C}_{int}.\end{split} (66)

As in Theorem 1, set

pintcon(N)=pintλ^(N)N+pintν^(N),ptgen(N)=λ^t(N)pintS(N)=τiν^intS(N),pintE(N)=τiν^intE(N),\begin{split}p^{\text{con}}_{int}(N)=\frac{p^{\hat{\lambda}*}_{int}(N)}{N}+p^{\hat{\nu}*}_{int}(N),\quad p^{\text{gen}*}_{t}(N)=\hat{\lambda}_{t}^{*}(N)\\ p^{S}_{int}(N)=\tau_{i}\hat{\nu}^{S*}_{int}(N),\quad p^{E}_{int}(N)=\tau_{i}\hat{\nu}^{E*}_{int}(N),\end{split}

and as in Proposition 3, choose

λ^t(N)=λ^t(1)=λ^t,ν^intS(N)=ν^itS/N,ν^intE(N)=ν^itE/N.\begin{split}&\hskip 28.90755pt\hat{\lambda}_{t}^{*}(N)=\hat{\lambda}_{t}^{*}(1)=\hat{\lambda}_{t}^{*},\quad\hat{\nu}^{S*}_{int}(N)=\hat{\nu}^{S*}_{it}/N,\quad\hat{\nu}^{E*}_{int}(N)=\hat{\nu}^{E*}_{it}/N.\end{split}

Then letting NN\to\infty gives

limNNτiν^intS(N)=τiν^itS,limNNτiν^intE(N)=τiν^itE.\begin{split}\lim_{N\to\infty}N\tau_{i}\hat{\nu}^{S*}_{int}(N)=\tau_{i}\hat{\nu}^{S*}_{it},\quad\lim_{N\to\infty}N\tau_{i}\hat{\nu}^{E*}_{int}(N)=\tau_{i}\hat{\nu}^{E*}_{it}.\end{split}

This implies that

limNNpintcon(N)=pitλ^+pitν^.\begin{split}\lim_{N\to\infty}Np^{\text{con}}_{int}(N)&=p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}.\end{split}

Therefore, posing the prices described in Proposition 3 in the limit as NN\to\infty, the objective functions for each (CONin)(\text{CON}_{in}) converge to

t(pitλ^+pitν^)xintCU¯it=1Tτi+1xintC+t((uitdSτiν^itS)(1yintC)+(uitdEτiν^itE)(1zintC)).\begin{split}&\sum_{t}\left(p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}^{*}}_{it}\right)x^{C}_{int}-\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}x^{C}_{int}+\sum_{t}\big{(}\left(u^{dS}_{it}-\tau_{i}\hat{\nu}^{S*}_{it}\right)(1-y^{C}_{int})+\left(u^{dE}_{it}-\tau_{i}\hat{\nu}^{E*}_{it}\right)(1-z^{C}_{int})\big{)}.\end{split}

Thus, the pricing facing each load of type ii is identical, and in fact the problem facing each is the same as the single load of type ii in the decomposition with relaxation but not replication. Further, each will select the same xinC=x^i+Tx^{C*}_{in\cdot}=\hat{x}^{*}_{i\cdot}\in\mathbb{R}^{T}_{+}, where xintC=x^itx^{C*}_{int}=\hat{x}^{*}_{it} gives the probability that the load will be scheduled at time tt. Therefore the equal allocation for individuals of the same type mentioned earlier holds in our setting.

The following mechanism (FLEX-SCHED(NN)) uses the probability values selected by the continuum of consumers to generate a binary constrained schedule in the setting with NN replication. Note that since the generator’s problem does not involve consumer utility and disutility functions, nor consumer scheduling variables, its problem is not affected by replication (or relaxation). Therefore (GEN(N))(\text{GEN}(N)) is the same as (GEN)(\text{GEN}) for all NN, including N=N=\infty .

  1. 1.

    Each consumer (i,n)(i,n) submits uidSu^{dS}_{i\cdot} and uidEu^{dE}_{i\cdot}, and the generator submits cc to the social planner (i.e. the entity taking on this role, such as the government or ISO).

  2. 2.

    The social planner solves (SPP-R), and announces (p¯con,p¯S,p¯E,p¯gen,p¯bal)(\overline{p}^{\text{con}*},\overline{p}^{S*},\overline{p}^{E*},\overline{p}^{\text{gen}*},\overline{p}^{\text{bal}*}) as specified in Theorem 1.

  3. 3.

    Each consumer ii solves (CON()-Rin)(\text{CON($\infty$)-R}_{in}), the generator solves (GEN())(\text{GEN}(\infty)), and (x¯i,y¯i,z¯i)(\overline{x}^{*}_{i},\overline{y}^{*}_{i},\overline{z}^{*}_{i}) for all ii, as well as q¯\overline{q}^{*} are submitted to the social planner.

  4. 4.

    The social planner randomly assigns proportion x¯i\overline{x}^{*}_{i} of loads of type ii to start at time tt, for each ii and tt. The generator produces q¯\overline{q}^{*} over the finite horizon. Combined with the renewable generation output gg, this generated power is allocated to the consumers according to x¯i\overline{x}_{i}^{*} and demands lil_{i} for each ii.

In the large population context, individual rationality is achieved if the optimal objective values to GEN(N)\text{GEN}(N), ISO(N)\text{ISO}(N) and (CONSin(N))(\text{CONS}_{in}(N)) for all ii and nn with N=N=\infty, i.e., the individual entity problems under infinite replication but without relaxation, are positive under the (FLEX-SCHED(\infty)) solutions are nonnegative. Budget balance is achieved if

tptgen(qtG+gt)+tinpintS(1yintC)+tinpintE(1zintC)=itnpintconxintC.\begin{split}\sum_{t}p^{\text{gen}}_{t}(q^{G}_{t}+g_{t})+\sum_{t}\sum_{i}\sum_{n}p^{S}_{int}(1-y^{C}_{int})+\sum_{t}\sum_{i}\sum_{n}p^{E}_{int}(1-z^{C}_{int})=\sum_{i}\sum_{t}\sum_{n}p^{\text{con}}_{int}x^{C}_{int}.\end{split} (67)

Given these definitions, the following result regarding (FLEX-SCHED(\infty)) holds.

Theorem 5

The mechanism (FLEX-SCHED(\infty)) is ex-post individually rational, budget balanced and efficient.

Proof

See Appendix D.

VII Multi-bus Extension

Thus far, we have set aside the network model in order to focus on the scheduling and pricing aspects of this problem. As posed above, our formulation above could be interpreted as modeling the cases where either a single network point (e.g., EV charging station or smart building) is equipped with renewable generation, such as a solar panel array, as well as a backup generator [23]. More broadly, our single bus model could represent the operation of a microgrid, with abstracted, aggregated renewable and backup generation, while neglecting distribution network features in serving the flexible loads.

While we leave generalization to a full distribution network setting to future work, as a first step in this direction, we here consider an extension to a two bus model, in which the renewable generation and flexible loads are co-located at one bus, and the conventional generator is located at the other.

We designate the bus where the loads and renewable generation are located as bus 1, and the bus where the conventional generator is located as bus 2. Selecting bus 1 as the slack bus, i.e., choosing from solutions with θ^1,t=0\hat{\theta}_{1,t}=0 for all tt gives the following relaxation of the two-bus, centralized social planner’s problem:

minq^,x^,y^,z^,θ^0\displaystyle\min_{\begin{subarray}{c}\hat{q},\hat{x},\hat{y},\hat{z},\hat{\theta}\geq 0\end{subarray}} tc(q^t)+ituitdS(1y^it)+ituitdE(1z^it)iU¯it=1Tτi+1x^it\displaystyle\quad\sum_{t}c(\hat{q}_{t})+\sum_{i}\sum_{t}u^{dS}_{it}(1-\hat{y}_{it})+\sum_{i}\sum_{t}u^{dE}_{it}(1-\hat{z}_{it})-\sum_{i}\overline{U}_{i}\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it}
s.t. λ^t:gtilis=max{1,tτi+1}tx^isBθ^2,tt\displaystyle\quad\hat{\lambda}_{t}\,:\,g_{t}-\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}\geq-B\hat{\theta}_{2,t}\quad\forall\,t (68)
μ^t:q^t=Bθ^2,tt\displaystyle\hat{\mu}_{t}\,:\,\hat{q}_{t}=B\hat{\theta}_{2,t}\quad\forall\,t (69)
ν^itS:s=1tr=max{1,sτi+1}sx^irτi(1y^it)i,t\displaystyle\quad\hat{\nu}^{S}_{it}\,:\,\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}\leq\tau_{i}(1-\hat{y}_{it})\quad\forall\,i,\,t
ν^itE:s=tTr=max{1,sτi+1}sx^irτi(1z^it)i,t\displaystyle\quad\hat{\nu}^{E}_{it}\,:\,\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}\leq\tau_{i}(1-\hat{z}_{it})\quad\forall\,i,\,t
γ^12,t:Bθ^2,tfmaxt\displaystyle\quad\hat{\gamma}_{12,t}\,:\,-B\hat{\theta}_{2,t}\leq f^{\max}\quad\forall\,t (70)
γ^21,t:Bθ^2,tfmaxt\displaystyle\quad\hat{\gamma}_{21,t}\,:\,B\hat{\theta}_{2,t}\leq f^{\max}\quad\forall\,t (71)

Note that given the slack bus choice, 0q^t=Bθ^2,t0\leq\hat{q}_{t}=B\hat{\theta}_{2,t}, so that Bθ^2,t<0-B\hat{\theta}_{2,t}<0 for all tt, i.e., constraint (70) is always loose and γ^12,t=0\hat{\gamma}^{*}_{12,t}=0. See Appendix E for the optimality conditions for this problem.

Employing the traditional locational marginal pricing scheme yields the following nodal prices:

p¯1,t=λ^t,p¯2,t=μ^t.\overline{p}^{*}_{1,t}=\hat{\lambda}^{*}_{t},\quad\overline{p}^{*}_{2,t}=\hat{\mu}^{*}_{t}.

It can be shown that at optimality, we have

μ^t=λ^tγ^21,tλ^t,\hat{\mu}^{*}_{t}=\hat{\lambda}^{*}_{t}-\hat{\gamma}^{*}_{21,t}\leq\hat{\lambda}^{*}_{t}, (72)

so that the per unit energy price at bus 2, i.e., the rate paid to the conventional generator, is upper bounded by the per unit energy price paid by the collection of flexible loads.

The two bus network model affects the individual entity problems only in terms of the generator and ISO objectives, as given below:

(GEN-R)maxqG0tp2,tqtGc(qtG)\text{(GEN-R)}\quad\max_{q^{G}\geq 0}\quad\sum_{t}p_{2,t}q^{G}_{t}-c(q^{G}_{t})
(ISO-R)maxqI0xI0,θI\displaystyle\text{(ISO-R)}\,\,\max_{\begin{subarray}{c}q^{I}\geq 0\\ x^{I}\geq 0,\,\theta^{I}\end{subarray}} tp1,t(ilis=max{1,tτi+1}txisIgt)tp2,tqtI\displaystyle\quad\sum_{t}p_{1,t}\left(\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I}_{is}-g_{t}\right)-\sum_{t}p_{2,t}q^{I}_{t}
s.t. αt:gtilis=max{1,tτi+1}txisIBθ2,tIt\displaystyle\quad\alpha_{t}\,:\,g_{t}-\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I}_{is}\geq-B\theta^{I}_{2,t}\quad\forall\,t
βt:qtI=Bθ2,tIt\displaystyle\quad\beta_{t}\,:\,q^{I}_{t}=B\theta^{I}_{2,t}\quad\forall\,t
ξ12,t:Bθ2,tIfmax,ξ21,t:Bθ2,tIfmaxt\displaystyle\quad\xi_{12,t}\,:\,-B\theta^{I}_{2,t}\leq f^{\max},\,\xi_{21,t}\,:\,B\theta^{I}_{2,t}\leq f^{\max}\quad\forall\,t

The consumer problem formulation does not change, as the energy consumption component of pitconp^{\text{con}}_{it} now includes a pλ^p^{\hat{\lambda}^{*}} term derived from the nodal price at bus 1, rather than the dual variables to the single power balance constraint from our initial formulation. See Appendix E for the aggregated individual entity problem optimality conditions.

The definition and proof of existence of a competitive equilibrium does not change in the two bus model, save for the addition of nodal prices, rather than the single per time slot energy consumption/production price taken as the dual variable to the power balance constraints over each time step. Nor do the proofs of the relationship between competitive equilibria from the original relaxed setting, and the relaxed settings featuring replication.

Given the shift from a single per time slot energy consumption/production price to a pair of prices, one for consumption at node 1, and one for production at node 2, the only remaining question is whether Theorem 5 continues to hold, in particular the budget balance component. Essentially due to inequality (72), instead of budget balance, we now have budget adequacy, i.e., under the proposed scheduling and pricing schemes, our market mechanism either is either budget balanced, or incurs a surplus in the form of congestion revenue.

To see this, the inequality which we would like to show is the following :

tptgenqtG+tin(pintS(1yintC)+pintE(1zintC))itnpintconxintC=it(pitλ^+pitν^)x^it.\begin{split}&\sum_{t}p^{\text{gen}}_{t}q^{G}_{t}+\sum_{t}\sum_{i}\sum_{n}\left(p^{S}_{int}(1-y^{C}_{int})+p^{E}_{int}(1-z^{C}_{int})\right)\geq\sum_{i}\sum_{t}\sum_{n}p^{\text{con}}_{int}x^{C}_{int}=\sum_{i}\sum_{t}\left(p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}\right)\hat{x}^{*}_{it}.\end{split}

Note that if for a time slot tt

gtilis=max{1,tτi+1}tx^is0,g_{t}-\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{is}\geq 0,

then we have that θ^2,t=q^t=λ^t=μ^t=γ^21,t=0\hat{\theta}^{*}_{2,t}=\hat{q}^{*}_{t}=\hat{\lambda}^{*}_{t}=\hat{\mu}^{*}_{t}=\hat{\gamma}^{*}_{21,t}=0, i.e., the generator is not dispatched at time tt. For all other time slots, due to the power flow constraints, we have that

q^t=ilis=max{1,tτi+1}tx^isgt.\hat{q}^{*}_{t}=\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{is}-g_{t}. (73)

However, again due to the two-node relaxed social planner’s problem KKT conditions,

μ^t=λ^tγ^21,tλ^tt.\hat{\mu}^{*}_{t}=\hat{\lambda}^{*}_{t}-\hat{\gamma}^{*}_{21,t}\leq\hat{\lambda}^{*}_{t}\quad\forall\,t. (74)

Together, (73) and (74) show that in problem instances where the line connecting the generator and load nodes becomes congested at any time slot, the summed load payments will in general exceed payments to the generator :

tμ^tq^tλ^t(ilis=max{1,tτi+1}tx^isgt).\sum_{t}\hat{\mu}^{*}_{t}\hat{q}^{*}_{t}\leq\hat{\lambda}^{*}_{t}\left(\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{is}-g_{t}\right).

In such cases the system operator will collect nonzero congestion revenue. Alternatively, this surplus could be interpreted as a penalty assigned to loads operating at the time of congestion. Therefore, the mechanism is either budget balanced or runs a surplus for the system operator. The congestion revenue may be handled via a separate market, e.g. a financial transmission rights market.

VIII Case Study: EV Charging

Electric vehicle charging constitutes one of the most important and challenging applications of load scheduling optimization currently facing power grid operators. Today, the transportation sector accounts for approximately 64% of global consumption of oil, a resource which has been linked to increasing CO2 emissions, and further is expected to expire in about 50 years. In contrast, transportation sector operations comprise just 1.5% of worldwide electricity usage [6]. Reliance on electricity is more amenable to a shift towards renewable sources of energy such as solar and wind, which in total are expected to make up approximately one third of all power generation by 2040. From a market perspective, demand for electric vehicles increase each year. According to the International Energy Agency, 740,000 vehicles were produced in total in 2014, and that figure is expected to reach 20 million by 2020 [6]. Charging process scheduling is now recognized as one of the key technologies for integration of electricity based mobility into existing power grids.

In order to demonstrate the utility of our flexible scheduling problem formulation, we simulated its performance on real world load and renewable generation data in the context of electric vehicle (EV) charging. The input load parameters (τi,li,uidS,uidE)(\tau_{i},l_{i},u^{dS}_{i},u^{dE}_{i}) are derived from data included in the ACN-Data dataset, a dynamic dataset of workplace EV charging [15]. In particular, we take as our base set of loads the recorded vehicle arrivals for May 28, 2018. For each vehicle charging session, the ACN dataset includes vehicle connection and disconnection times, as well as a charging completion time. In these simulations each time index represents a 15 minute period. We take τi\tau_{i} as the difference between charging completion time and the first time period where the EV drew a positive amount of current. We then divide the total kWh delivered to the vehicle by τi\tau_{i} to arrive at lil_{i}.

We design disutility functions for each load in the following manner. Let tCt_{C} denote the vehicle’s recorded connection time, and tDt_{D} denote its recorded disconnection time. Then for each load ii, we let

uitdS={α(tCt)20ttC10ttCanduitdE={0ttDα(tTE)2tE+1tT,\begin{split}u^{dS}_{it}&=\begin{cases}\alpha(t_{C}-t)^{2}&0\leq t\leq t_{C}-1\\ 0&t\geq t_{C}\end{cases}\quad\text{and}\quad u^{dE}_{it}=\begin{cases}0&t\leq t_{D}\\ \alpha(t-T_{E})^{2}&t_{E}+1\leq t\leq T\end{cases},\end{split} (75)

where α\alpha is a scaling parameter.Thus uitdS+uitdE=0u^{dS}_{it}+u^{dE}_{it}=0 for t[tC,tD]t\in[t_{C},t_{D}], and elsewhere increases quadratically away from this desired service window. The sample disutility curves pictured in Figure 1 are generated according to this quadratic form.

We set U¯i=U¯\overline{U}_{i}=\overline{U} for some nonnegative scalar U¯\overline{U}. We take our renewable generation profile gtg_{t} from data generated by NREL’s SAM tool [3]. Specifically, we draw on solar power generation time series estimated for downtown Los Angeles, also for May 28, 2018.

In our simulations we compare the performance of our flexible load scheduling approach to a schedule which naively begins charging loads as soon as they arrive. We implemented the latter approach by setting

uitdS={αmax{tC2,(TtC)2}0ttC10ttCanduitdE={0ttCαmax{tC2,(TtC)2}tC+1tT,\begin{split}u^{dS^{\prime}}_{it}=\begin{cases}\alpha\max\{t_{C}^{2},(T-t_{C})^{2}\}&0\leq t\leq t_{C}-1\\ 0&t\geq t_{C}\\ \end{cases}\quad\text{and}\quad u^{dE^{\prime}}_{it}=\begin{cases}0&t\leq t_{C}\\ \alpha\max\{t_{C}^{2},(T-t_{C})^{2}\}&t_{C}+1\leq t\leq T\\ \end{cases},\end{split}

i.e., loads are essentially inflexible, with 0 disutility at time tCt_{C} and the maximum disutility in (75) for all other time periods ttCt\neq t_{C}. We consider the social welfare objective value achieved, as well as the percentage of loads served.

We adjusted α\alpha, U¯\overline{U}, and a scale on the quadratic cost c(zt)c(z_{t}) in order to ensure that both scheduling approaches successfully scheduled all loads. In particular we let α=0.01\alpha=0.01, U¯=100\overline{U}=100 and scaled the cost by factor 0.50.5. As shown in Figures 2 and 3, when users report disutility functions, the scheduler shifts loads such that that overall demand moves towards the mid day period of high renewable generation, thus relying less on the generator and therefore incurring less cost and higher social welfare overall. For the base load case examined in Figure 4, the peak generation falls from 4.67 kW to 3.46 kW, a reduction of roughly 29%, while the peak demand falls from 7.23 kW to 5.46 kW, a reduction of roughly 24%.

Refer to caption
Fig. 2: Scheduled aggregate load with and without flexibility.
Refer to caption
Fig. 3: Scheduled generation (equal to aggregate load less renewable generation) with and without flexibility.

To demonstrate the robustness of the disutility function approach to a surge in demand, we randomly sample loads served during the other weekdays of May 2018 in order to increase overall power demand. Specifically, we study demand scaled up in increments of 25% of the base load up to a 100% increase in load in terms of overall demand. Loads are randomly added to the base until the total power demand exceeds the desired level of increase, and the same random sets of loads are added in the cases with and without flexibility. The performance of both approaches are shown in Figures 4 and 5. The flexibility enabled schedule which makes use of the disutility functions continues to offer increased social welfare over on demand scheduling. Additionally, while disutility based scheduling still includes all loads, the on demand based scheduler finds it optimal to exclude between 25% and 33% of loads as the number of loads increases to double the base.

Refer to caption
Fig. 4: Proportions of loads served with and without flexibility.
Refer to caption
Fig. 5: Social welfare achieved with and without flexibility.

IX Conclusion

In this work, we study how to schedule and price service for a population of flexible, but non-preemptive loads, in the presence of renewable generation, as well as a dispatchable thermal generator. Formulating a collection of mixed integer optimization programs for the consumers, and generator, we then study a centralized version of our setting with relaxed integer constraints, allowing for use of Lagrangian analysis and derivation of prices. A solution of this centralized problem yields a competitive equilibrium, and conversely a competitive equilibrium yields an efficient solution. Finally, we present a case study involving electric car charging data to demonstrate the efficacy of our approach.

There are several directions for future work in this area. First, in terms of the scheduling aspect, it is desirable to determine a method for deriving at least an approximately optimal solution to the original integer constrained setting, given an efficient solution to the relaxed social planner’s problem presented here. In terms of pricing, properties such as fairness should be examined. For example, assuming that the disutility functions of each user can be at least partially ordered from less to more restrictive, is the compensation offered to more flexible users more than to those which are not as flexible? It will also be of interest to explore other types of loads, such as those which may be interrupted, as well as those which might accept less than an upper bound of total energy delivered. Strategic behavior amongst market participants should also be taken into account, as well as more detailed network modeling and constraints.

References

  • [1] Robert J Aumann. Markets with a continuum of traders. Econometrica: Journal of the Econometric Society, pages 39–50, 1964.
  • [2] Eilyan Bitar and Yunjian Xu. Deadline differentiated pricing of deferrable electric loads. IEEE Transactions on Smart Grid, 8(1):13–25, 2016.
  • [3] Nate Blair, Aron P Dobos, Janine Freeman, Ty Neises, Michael Wagner, Tom Ferguson, Paul Gilman, and Steven Janzou. System advisor model, sam 2014.1. 14: General description. Technical report, National Renewable Energy Lab.(NREL), Golden, CO (United States), 2014.
  • [4] Pedro Carrasqueira, Maria João Alves, and Carlos Henggeler Antunes. Bi-level particle swarm optimization and evolutionary algorithm approaches for residential demand response with different user profiles. Information Sciences, 418:405–420, 2017.
  • [5] Nathan Dahlin and Rahul Jain. Scheduling of flexible non-preemptive loads. arXiv preprint arXiv:2003.13220, 2020.
  • [6] Claude Ziad El-Bayeh. A review on charging strategies of plug-in electric vehicles.
  • [7] Abhishek Gupta, Rahul Jain, and Ram Rajagopal. Scheduling, pricing, and efficiency of non-preemptive flexible loads under direct load control. In 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), pages 1008–1015. IEEE, 2015.
  • [8] Abdulelah H Habib, Jan Kleissl, and Raymond A de Callafon. Model predictive load scheduling using solar power forecasting. In 2016 American Control Conference (ACC), pages 3200–3205. IEEE, 2016.
  • [9] Jinil Han, Jongyoon Park, and Kyungsik Lee. Optimal scheduling for electric vehicle charging under variable maximum charging power. Energies, 10(7):933, 2017.
  • [10] Md Umar Hashmi. Load flexibility for price based demand response. 2018.
  • [11] Mohammed Hijjo and Georg Frey. Scheduling smart loads in modern buildings based on metaheuristic optimization. In ICINCO (1), pages 129–136, 2018.
  • [12] Werner Hildenbrand. On economies with many agents. Journal of economic theory, 2(2):161–188, 1970.
  • [13] Ryan Hledik, Ahmad Faruqui, Tony Lee, and John Higham. The National Potential for Load Flexibility. Technical report, The Brattle Group, 06 2019.
  • [14] Sarah Hoff. Electricity grid operators forecast load shapes to plan electricity supply, July 2016. [Online; posted 22-July-2016].
  • [15] Zachary J Lee, Tongxin Li, and Steven H Low. Acn-data: Analysis and applications of an open ev charging dataset. In Proceedings of the Tenth ACM International Conference on Future Energy Systems, pages 139–149, 2019.
  • [16] Andreu Mas-Colell, Michael Dennis Whinston, Jerry R Green, et al. Microeconomic theory, volume 1. Oxford university press New York, 1995.
  • [17] Eric Maskin. Introduction to mechanism design and implementation, 2019.
  • [18] Fan-Lin Meng and Xiao-Jun Zeng. An optimal real-time pricing for demand-side management: A stackelberg game and genetic algorithm approach. In 2014 International Joint Conference on Neural Networks (IJCNN), pages 1703–1710. IEEE, 2014.
  • [19] Gearóid O’Brien and Ram Rajagopal. Scheduling non-preemptive deferrable loads. IEEE Transactions on Power Systems, 31(2):835–845, 2015.
  • [20] Junjie Qin, Jonathan Mether, Jhi-Young Joo, Ram Rajagopal, Kameshwar Poolla, and Pravin Varaiya. Automatic power exchange for distributed energy resource networks: Flexibility scheduling and pricing. In 2018 IEEE Conference on Decision and Control (CDC), pages 1572–1579. IEEE, 2018.
  • [21] David Roberts. Using electricity at different times of day could save us billions of dollars, October 2019. [Online; posted 24-October-2019].
  • [22] Federico Rossi, Ramon Iglesias, Mahnoosh Alizadeh, and Marco Pavone. On the interaction between autonomous mobility-on-demand systems and the power network: Models and coordination algorithms. IEEE Transactions on Control of Network Systems, 7(1):384–397, 2019.
  • [23] Ken Silverstein. Solar-Powered Electric Vehicle Charging Stations Are Just Around The Corner, February 2020. [Online; posted 10-February-2020].
  • [24] Anand Subramanian, Manuel J Garcia, Duncan S Callaway, Kameshwar Poolla, and Pravin Varaiya. Real-time scheduling of distributed resources. IEEE Transactions on Smart Grid, 4(4):2122–2130, 2013.
  • [25] Bo Sun, Zhe Huang, Xiaoqi Tan, and Danny HK Tsang. Optimal scheduling for electric vehicle charging with discrete charging levels in distribution grid. IEEE Transactions on Smart Grid, 9(2):624–634, 2016.
  • [26] G. Wang, M. Negrete-Pincetic, A. Kowli, E. Shafieepoorfard, S. Meyn, and U. Shanbhag. Dynamic competitive equilibria in electricity markets. In A. Chakrabortty and M. Illic, editors, Control and Optimization Theory for Electric Smart Grids. Springer, 2011.

Appendix A pλ^p^{\hat{\lambda}} and pν^p^{\hat{\nu}} Derivation

Start with pλ^p^{\hat{\lambda}} and the double sum

t=1Tλ^ts=max{1,tτi+1}tx^is=t=1τiλ^ts=1tx^is+t=τi+1Tλ^ts=tτi+1tx^is.\begin{split}&\sum_{t=1}^{T}\hat{\lambda}_{t}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}=\sum_{t=1}^{\tau_{i}}\hat{\lambda}_{t}\sum_{s=1}^{t}\hat{x}_{is}+\sum_{t=\tau_{i}+1}^{T}\hat{\lambda}_{t}\sum_{s=t-\tau_{i}+1}^{t}\hat{x}_{is}.\end{split}

Rearranging the first double sum, and breaking the second double sum on the right into separate sums based upon whether the tt value appears in the upper and/or lower argument of the inner sum:

=t=1τix^its=tτiλ^s+t=2τix^its=τi+1t+τi1λ^s+t=τi+1Tτi+1x^its=tt+τi1λ^s+t=Tτi+2Tx^its=tTλ^s=t=1τix^its=tt+τi1λ^s+t=τi+1Tτi+1x^its=tt+τi1λ^s+t=Tτi+2Tx^its=tTλ^s=t=1Tτi+1x^its=tt+τi1λ^s+t=Tτi+2Tx^its=tTλ^s=t=1Tx^its=tmin{t+τi1,T}λ^s\begin{split}&=\sum_{t=1}^{\tau_{i}}\hat{x}_{it}\sum_{s=t}^{\tau_{i}}\hat{\lambda}_{s}+\sum_{t=2}^{\tau_{i}}\hat{x}_{it}\sum_{s=\tau_{i}+1}^{t+\tau_{i}-1}\hat{\lambda}_{s}+\sum_{t=\tau_{i}+1}^{T-\tau_{i}+1}\hat{x}_{it}\sum_{s=t}^{t+\tau_{i}-1}\hat{\lambda}_{s}+\sum_{t=T-\tau_{i}+2}^{T}\hat{x}_{it}\sum_{s=t}^{T}\hat{\lambda}_{s}\\ &=\sum_{t=1}^{\tau_{i}}\hat{x}_{it}\sum_{s=t}^{t+\tau_{i}-1}\hat{\lambda}_{s}+\sum_{t=\tau_{i}+1}^{T-\tau_{i}+1}\hat{x}_{it}\sum_{s=t}^{t+\tau_{i}-1}\hat{\lambda}_{s}+\sum_{t=T-\tau_{i}+2}^{T}\hat{x}_{it}\sum_{s=t}^{T}\hat{\lambda}_{s}\\ &=\sum_{t=1}^{T-\tau_{i}+1}\hat{x}_{it}\sum_{s=t}^{t+\tau_{i}-1}\hat{\lambda}_{s}+\sum_{t=T-\tau_{i}+2}^{T}\hat{x}_{it}\sum_{s=t}^{T}\hat{\lambda}_{s}\\ &=\sum_{t=1}^{T}\hat{x}_{it}\sum_{s=t}^{\min\{t+\tau_{i}-1,T\}}\hat{\lambda}_{s}\end{split}

Therefore, we define

pitλ^:=lis=tmin{t+τi1,T}λ^s.p^{\hat{\lambda}}_{it}:=l_{i}\sum_{s=t}^{\min\{t+\tau_{i}-1,T\}}\hat{\lambda}_{s}.

Now, we can rewrite the double sum

s=1tr=max{1,sτi+1}sx^ir=s=1tx^isr=smin{s+τi1,t}1=s=1tx^ismin{τi,ts+1}.\begin{split}\sum_{s=1}^{t}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}&=\sum_{s=1}^{t}\hat{x}_{is}\sum_{r=s}^{\min\{s+\tau_{i}-1,t\}}1=\sum_{s=1}^{t}\hat{x}_{is}\min\{\tau_{i},t-s+1\}.\end{split}

Then, to develop the definition of pν^p^{\hat{\nu}}, start with:

t=1Tν^itSs=1tx^ismin{τi,ts+1}=t=1Ts=1tν^itSx^ismin{τi,ts+1}=t=1Tx^its=tTν^isSmin{τi,st+1}.\begin{split}&\sum_{t=1}^{T}\hat{\nu}^{S}_{it}\sum_{s=1}^{t}\hat{x}_{is}\min\{\tau_{i},t-s+1\}=\sum_{t=1}^{T}\sum_{s=1}^{t}\hat{\nu}^{S}_{it}\hat{x}_{is}\min\{\tau_{i},t-s+1\}=\sum_{t=1}^{T}\hat{x}_{it}\sum_{s=t}^{T}\hat{\nu}^{S}_{is}\min\{\tau_{i},s-t+1\}.\end{split}

Therefore, each x^it\hat{x}_{it} has the additional coefficient

s=tTν^isSmin{τi,st+1}.\sum_{s=t}^{T}\hat{\nu}^{S}_{is}\min\{\tau_{i},s-t+1\}.

Finally, considering the double sum

s=tTr=max{1,sτi+1}sx^ir\displaystyle\sum_{s=t}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir} =s=1Tr=max{1,sτi+1}sx^irs=1t1r=max{1,sτi+1}sx^ir\displaystyle=\sum_{s=1}^{T}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}-\sum_{s=1}^{t-1}\sum_{r=\max\{1,s-\tau_{i}+1\}}^{s}\hat{x}_{ir}
=s=1Tx^ismin{τi,Ts+1}s=1t1x^ismin{τi,ts}\displaystyle=\sum_{s=1}^{T}\hat{x}_{is}\min\{\tau_{i},T-s+1\}-\sum_{s=1}^{t-1}\hat{x}_{is}\min\{\tau_{i},t-s\}
=s=1Tτi+1x^isτi+s=Tτi+2Tx^is(Ts+1)s=1tτix^isτis=max{1,tτi+1}tx^is(ts)\displaystyle=\sum_{s=1}^{T-\tau_{i}+1}\hat{x}_{is}\tau_{i}+\sum_{s=T-\tau_{i}+2}^{T}\hat{x}_{is}(T-s+1)-\sum_{s=1}^{t-\tau_{i}}\hat{x}_{is}\tau_{i}-\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}(t-s)
=s=max{1,tτi+1}Tτi+1x^isτi+s=Tτi+2Tx^is(Ts+1)s=max{1,tτi+1}tx^is(ts)\displaystyle=\sum_{s=\max\{1,t-\tau_{i}+1\}}^{T-\tau_{i}+1}\hat{x}_{is}\tau_{i}+\sum_{s=T-\tau_{i}+2}^{T}\hat{x}_{is}(T-s+1)-\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}(t-s)
=s=max{1,tτi+1}tx^is(τi(ts))+s=t+1Tτi+1x^isτi+s=Tτi+2Tx^is(Ts+1)\displaystyle=\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}(\tau_{i}-(t-s))+\sum_{s=t+1}^{T-\tau_{i}+1}\hat{x}_{is}\tau_{i}+\sum_{s=T-\tau_{i}+2}^{T}\hat{x}_{is}(T-s+1)
=s=max{1,tτi+1}Tx^ismin{τi(ts),τi,Ts+1}\displaystyle=\sum_{s=\max\{1,t-\tau_{i}+1\}}^{T}\hat{x}_{is}\min\{\tau_{i}-(t-s),\tau_{i},T-s+1\}

Then

t=1Tν^itEs=max{1,tτi+1}Tx^ismin{τi(ts),τi,Ts+1}=t=1Ts=max{1,tτi+1}Tν^itEx^ismin{τi(ts),τi,Ts+1}=t=1Tx^its=1min{t+τi1,T}ν^isEmin{τi(st),τi,Tt+1}.\begin{split}\sum_{t=1}^{T}\hat{\nu}^{E}_{it}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{T}\hat{x}_{is}\min\{\tau_{i}-(t-s),\tau_{i},T-s+1\}&=\sum_{t=1}^{T}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{T}\hat{\nu}^{E}_{it}\hat{x}_{is}\min\{\tau_{i}-(t-s),\tau_{i},T-s+1\}\\ &=\sum_{t=1}^{T}\hat{x}_{it}\sum_{s=1}^{\min\{t+\tau_{i}-1,T\}}\hat{\nu}^{E}_{is}\min\{\tau_{i}-(s-t),\tau_{i},T-t+1\}.\end{split}

Therefore, the coefficient for each x^it\hat{x}_{it} contains the term

s=1min{t+τi1,T}ν^isEmin{τi(st),τi,Tt+1},\sum_{s=1}^{\min\{t+\tau_{i}-1,T\}}\hat{\nu}^{E}_{is}\min\{\tau_{i}-(s-t),\tau_{i},T-t+1\},

and thus we define:

pitν^:=s=tTν^isSmin{st+1,τi}+s=1min{t+τi1,T}ν^isEmin{Tt+1,τi,τi(st),}.\begin{split}&p^{\hat{\nu}}_{it}:=\sum_{s=t}^{T}\hat{\nu}^{S}_{is}\min\{s-t+1,\tau_{i}\}+\sum_{s=1}^{\min\{t+\tau_{i}-1,T\}}\hat{\nu}^{E}_{is}\min\{T-t+1,\tau_{i},\tau_{i}-(s-t),\}.\end{split}

Appendix B Individual Entity Relaxed Problem Optimality Conditions

The optimality conditions for (CONS-Ri)(\text{CONS-R}_{i}) are

pitconU¯i+pitθ\displaystyle p^{\text{con}}_{it}-\overline{U}_{i}+p^{\theta^{*}}_{it} 0i,tTτi+1\displaystyle\geq 0\quad\forall\,i,\,t\leq T-\tau_{i}+1
xitC(pitconU¯i+pitθ)\displaystyle x^{C*}_{it}\left(p^{\text{con}}_{it}-\overline{U}_{i}+p^{\theta^{*}}_{it}\right) =0i,tTτi+1\displaystyle=0\quad\forall\,i,\,t\leq T-\tau_{i}+1
pitcon+pitθ\displaystyle p^{\text{con}}_{it}+p^{\theta^{*}}_{it} 0i,t>Tτi+1\displaystyle\geq 0\quad\forall\,i,\,t>T-\tau_{i}+1
xitC(pitcon+pitθ)\displaystyle x^{C*}_{it}\left(p^{\text{con}}_{it}+p^{\theta^{*}}_{it}\right) =0i,t>Tτi+1\displaystyle=0\quad\forall\,i,\,t>T-\tau_{i}+1
pitSuitdS+τiθitS\displaystyle p^{S}_{it}-u^{dS}_{it}+\tau_{i}\theta^{S*}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t
yitC(pitSuitdS+τiθitS)\displaystyle y^{C*}_{it}\left(p^{S}_{it}-u^{dS}_{it}+\tau_{i}\theta^{S*}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t
pitEuitdE+τiθitE\displaystyle p^{E}_{it}-u^{dE}_{it}+\tau_{i}\theta^{E*}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t
zitC(pitEuitdE+τiθitE)\displaystyle z^{C*}_{it}\left(p^{E}_{it}-u^{dE}_{it}+\tau_{i}\theta^{E*}_{it}\right) =0i,t,\displaystyle=0\quad\forall\,i,\,t,

where pitθp^{\theta^{*}}_{it} is defined analogously to pitν^p^{\hat{\nu}}_{it} in (12). The optimality conditions for (GEN-R) are

c(qtG)ptgen\displaystyle c^{\prime}(q^{G*}_{t})-p^{\text{gen}}_{t} 0t\displaystyle\geq 0\quad\forall\,t
qtG(c(qtG)ptgen)\displaystyle q^{G*}_{t}\left(c^{\prime}(q^{G*}_{t})-p^{\text{gen}}_{t}\right) =0t.\displaystyle=0\quad\forall\,t.

The optimality conditions for (ISO-R) are

ptgenαt\displaystyle p^{\text{gen}}_{t}-\alpha^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (76)
qtI(ptgenαt)\displaystyle q^{I*}_{t}\left(p^{\text{gen}}_{t}-\alpha^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (77)
pitpgen+pitα\displaystyle-p^{p^{\text{gen}}}_{it}+p^{\alpha^{*}}_{it} 0t\displaystyle\geq 0\quad\forall\,t (78)
xtI(pitpgen+pitα)\displaystyle x^{I*}_{t}\left(-p^{p^{\text{gen}}}_{it}+p^{\alpha^{*}}_{it}\right) =0t,\displaystyle=0\quad\forall\,t, (79)
αt(ilis=max{1,tτi+1}txisIgtqtI)\displaystyle\alpha^{*}_{t}\left(\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I*}_{is}-g_{t}-q^{I*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (80)
αt\displaystyle\alpha^{*}_{t} 0t,\displaystyle\geq 0\quad\forall\,t, (81)

where pitpgenp^{p^{\text{gen}}}_{it} and pitαp^{\alpha^{*}}_{it} are defined analogously to pitλ^p^{\hat{\lambda}}_{it} in (12). Note that (76)-(79) can always be satisfied by choosing αt=ptgen\alpha^{*}_{t}=p^{\text{gen}}_{t} for all tt. Therefore, only constraints (80) and (81), along with feasibility need be considered assuming αt=ptgen\alpha^{*}_{t}=p^{\text{gen}}_{t} for all tt.

Appendix C Proof of Theorem 1

Proof

Given price selections according to (31), and selecting qG=qI=q^q^{G}=q^{I}=\hat{q}^{*}, xiC=xiI=x^ix^{C}_{i}=x^{I}_{i}=\hat{x}^{*}_{i} for all ii, yiC=y^iy^{C}_{i}=\hat{y}_{i}^{*} and ziC=z^iz_{i}^{C}=\hat{z}_{i}^{*} for all ii makes the collected optimality conditions (aside from feasibility) for (CON-Ri)(\text{CON-R}_{i}) for each ii, (GEN-R) and (ISO-R)

c(q^t)λ^t\displaystyle c^{\prime}(\hat{q}^{*}_{t})-\hat{\lambda}^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (82)
q^t(c(q^t)λ^t)\displaystyle\hat{q}^{*}_{t}\left(c^{\prime}(\hat{q}^{*}_{t})-\hat{\lambda}^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (83)
pitλ^+pitν^U¯i+pitθ\displaystyle p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}-\overline{U}_{i}+p^{\theta*}_{it} 0i,tTτi+1\displaystyle\geq 0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (84)
x^it(pitλ^+pitν^U¯i+pitθ)\displaystyle\hat{x}^{*}_{it}\left(p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}-\overline{U}_{i}+p^{\theta*}_{it}\right) =0i,tTτi+1\displaystyle=0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (85)
pitλ^+pitν^+pitθ\displaystyle p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}+p^{\theta*}_{it} 0i,t>Tτi+1\displaystyle\geq 0\quad\forall\,i,\,t>T-\tau_{i}+1 (86)
x^it(pitλ^+pitν^+pitθ)\displaystyle\hat{x}^{*}_{it}\left(p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}+p^{\theta*}_{it}\right) =0i,t>Tτi+1\displaystyle=0\quad\forall\,i,\,t>T-\tau_{i}+1 (87)
ν^itSτiuitdS+θitSτi\displaystyle\hat{\nu}^{S*}_{it}\tau_{i}-u^{dS}_{it}+\theta^{S*}_{it}\tau_{i} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (88)
y^it(ν^itSτiuitdS+θitSτi)\displaystyle\hat{y}^{*}_{it}\left(\hat{\nu}^{S*}_{it}\tau_{i}-u^{dS}_{it}+\theta^{S*}_{it}\tau_{i}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (89)
ν^itEτiuitdE+θitEτi\displaystyle\hat{\nu}^{E*}_{it}\tau_{i}-u^{dE}_{it}+\theta^{E*}_{it}\tau_{i} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (90)
z^it(ν^itEτiuitdE+θitEτi)\displaystyle\hat{z}^{*}_{it}\left(\hat{\nu}^{E*}_{it}\tau_{i}-u^{dE}_{it}+\theta^{E*}_{it}\tau_{i}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (91)
λ^t(ilis=max{1,tτi+1}txisIgtqtI)\displaystyle\hat{\lambda}^{*}_{t}\left(\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I*}_{is}-g_{t}-q^{I*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (92)
λ^t0\displaystyle\hat{\lambda}^{*}_{t}\geq 0 t.\displaystyle\quad\forall\,t. (93)

Further selecting θitS=θitE=0\theta^{S*}_{it}=\theta^{E*}_{it}=0 for all ii and tt gives

c(q^t)λ^t\displaystyle c^{\prime}(\hat{q}^{*}_{t})-\hat{\lambda}^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (94)
q^t(c(q^t)λ^t)\displaystyle\hat{q}^{*}_{t}\left(c^{\prime}(\hat{q}^{*}_{t})-\hat{\lambda}^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (95)
pitλ^+pitν^U¯i\displaystyle p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}-\overline{U}_{i} 0i,tTτi+1\displaystyle\geq 0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (96)
x^it(pitλ^+pitν^U¯i)\displaystyle\hat{x}^{*}_{it}\left(p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}-\overline{U}_{i}\right) =0i,tTτi+1\displaystyle=0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (97)
pitλ^+pitν^\displaystyle p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it} 0i,t>Tτi+1\displaystyle\geq 0\quad\forall\,i,\,t>T-\tau_{i}+1 (98)
x^it(pitλ^+pitν^)\displaystyle\hat{x}^{*}_{it}\left(p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}\right) =0i,t>Tτi+1\displaystyle=0\quad\forall\,i,\,t>T-\tau_{i}+1 (99)
ν^itSτiuitdS\displaystyle\hat{\nu}^{S*}_{it}\tau_{i}-u^{dS}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (100)
y^it(ν^itSτiuitdS)\displaystyle\hat{y}^{*}_{it}\left(\hat{\nu}^{S*}_{it}\tau_{i}-u^{dS}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (101)
ν^itEτiuitdE\displaystyle\hat{\nu}^{E*}_{it}\tau_{i}-u^{dE}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (102)
z^it(ν^itEτiuitdE)\displaystyle\hat{z}^{*}_{it}\left(\hat{\nu}^{E*}_{it}\tau_{i}-u^{dE}_{it}\right) =0i,t\displaystyle=0\quad\forall\,i,\,t (103)
λ^t(ilis=max{1,tτi+1}txisIgtqtI)\displaystyle\hat{\lambda}^{*}_{t}\left(\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}x^{I*}_{is}-g_{t}-q^{I*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (104)
λ^t\displaystyle\hat{\lambda}^{*}_{t} 0t.\displaystyle\geq 0\quad\forall\,t. (105)

These expressions are identical to the (SPP-R) KKT conditions, and therefore satisfied by optimal solutions to (SPP-R). As a primal solution to (SPP-R), (x^,y^,z^)(\hat{x}^{*},\hat{y}^{*},\hat{z}^{*}) also satisfies the collected constraints from (CON-Ri)(\text{CON-R}_{i}) for each ii, (GEN-R) and (ISO-R).

Appendix D Proof of Theorem 5

Proof

Let us denote realizations of the randomized scheduled specified by x¯\overline{x}^{*} as x~\tilde{x}, and similarly for other variables.

Starting with ex-post individual rationality, suppose that for some ii we have that tx¯it<1\sum_{t}\overline{x}^{*}_{it}<1, so that a portion of population ii will not be activated. Then x~int=0\tilde{x}_{int}=0 for all tt, and y~int=z~int=1\tilde{y}_{int}=\tilde{z}_{int}=1 for all tt, so that the objective of (CON()-Rin)(\text{CON($\infty$)-R}_{in}), i.e., the realized net utility of load nn of type ii is equal to 0.

In all other cases, load nn of type ii is scheduled, so that for some t~in\tilde{t}_{in} where (SPP-R) KKT conditions (17) and (18) are satisfied, x~int=1\tilde{x}_{int}=1. Due to constraints (64) and (65), in (CON()-Rin)(\text{CON($\infty$)-R}_{in}), we have that

y~int={1tt~in11tt~in+1τit~intt~in+τi20tt~in+τi1z~int={0tt~intt~inτit~in+1tt~in+τi11tt~in+τi.\begin{split}\tilde{y}_{int}=\begin{cases}1&t\leq\tilde{t}_{in}-1\\ 1-\frac{t-\tilde{t}_{in}+1}{\tau_{i}}&\tilde{t}_{in}\leq t\leq\tilde{t}_{in}+\tau_{i}-2\\ 0&t\geq\tilde{t}_{in}+\tau_{i}-1\end{cases}\\ \tilde{z}_{int}=\begin{cases}0&t\leq\tilde{t}_{in}\\ \frac{t-\tilde{t}_{in}}{\tau_{i}}&\tilde{t}_{in}+1\leq t\leq\tilde{t}_{in}+\tau_{i}-1\\ 1&t\geq\tilde{t}_{in}+\tau_{i}\end{cases}.\end{split} (106)

Substituting x~\tilde{x}, y~\tilde{y} and z~\tilde{z} and the equilibrium prices from step 2 of (FLEX-SCHED) into expression (66) gives

pit~inλ^+pit~inν^U¯i+t=t~in+1t~in+τi1tt~inτi(uitdEτiν^itE)+t=t~in+τi1T(uitdSτiν^itS)+t=1t~in(uitdEτiν^itE)+t=t~int~in+τi2(1tt~in+1τi)(uitdSτiν^itS)\begin{split}p^{\hat{\lambda}*}_{i\tilde{t}_{in}}&+p^{\hat{\nu}*}_{i\tilde{t}_{in}}-\overline{U}_{i}+\sum_{t=\tilde{t}_{in}+1}^{\tilde{t}_{in}+\tau_{i}-1}\frac{t-\tilde{t}_{in}}{\tau_{i}}(u^{dE}_{it}-\tau_{i}\hat{\nu}^{E*}_{it})\\ &+\sum_{t=\tilde{t}_{in}+\tau_{i}-1}^{T}(u^{dS}_{it}-\tau_{i}\hat{\nu}^{S*}_{it})+\sum_{t=1}^{\tilde{t}_{in}}(u^{dE}_{it}-\tau_{i}\hat{\nu}^{E*}_{it})\\ &+\sum_{t=\tilde{t}_{in}}^{\tilde{t}_{in}+\tau_{i}-2}\left(1-\frac{t-\tilde{t}_{in}+1}{\tau_{i}}\right)(u^{dS}_{it}-\tau_{i}\hat{\nu}^{S*}_{it})\end{split} (107)

The term pit~inλ^+pit~inν^U¯ip^{\hat{\lambda}*}_{i\tilde{t}_{in}}+p^{\hat{\nu}*}_{i\tilde{t}_{in}}-\overline{U}_{i} is equal to 0 due to (SPP-R) KKT conditions (17) and (18) and the fact that t~\tilde{t} is a time index where x^it~>0\hat{x}_{i\tilde{t}}>0. The terms in the sums are nonpositive due to (SPP-R) KKT conditions (21) and (23). Thus, each user will incur nonnegative net utility when participating in the mechanism, regardless of whether or not they are scheduled.

Selecting xintC=x¯it=x^it=x^{C}_{int}=\overline{x}^{*}_{it}=\hat{x}^{*}_{it}= for all nn, and

pintcon=p¯itcon=pitλ^+pitν^N,p^{\text{con}}_{int}=\overline{p}^{\text{con}*}_{it}=\frac{p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}}{N}, (108)

the right hand side of (67) is equal to

itpitλ^x^it+itpitν^x^it.\begin{split}\sum_{i}\sum_{t}p^{\hat{\lambda}*}_{it}\hat{x}^{*}_{it}+\sum_{i}\sum_{t}p^{\hat{\nu}*}_{it}\hat{x}^{*}_{it}.\end{split} (109)

From the definition of pitλ^p^{\hat{\lambda}^{*}}_{it} and the power balance constraint (8) in (SPP-R), the left term in (109) is equal to

tλ^tilis=max{1,tτi+1}tx^is=tλ^t(q^t+gt)=tp¯tgen(q¯t+gt).\begin{split}&\sum_{t}\hat{\lambda}^{*}_{t}\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}^{*}_{is}=\sum_{t}\hat{\lambda}^{*}_{t}(\hat{q}^{*}_{t}+g_{t})=\sum_{t}\overline{p}^{\text{gen}*}_{t}(\overline{q}^{*}_{t}+g_{t}).\end{split} (110)

From the definition of pitν^p^{\hat{\nu}^{*}}_{it} and the flexibility constraints (9) and (10), the right term in (109) is equal to

itν^itSs=1tr=max{1,tτi+1}sx^ir+itν^itEs=tTr=max{1,tτi+1}sx^ir=itτiν^itS(1y^it)+itτiν^itE(1z^it)=itp¯itS(1y¯it)+itp¯itE(1z¯it).\begin{split}&\sum_{i}\sum_{t}\hat{\nu}^{S*}_{it}\sum_{s=1}^{t}\sum_{r=\max\{1,t-\tau_{i}+1\}}^{s}\hat{x}^{*}_{ir}+\sum_{i}\sum_{t}\hat{\nu}^{E*}_{it}\sum_{s=t}^{T}\sum_{r=\max\{1,t-\tau_{i}+1\}}^{s}\hat{x}^{*}_{ir}\\ &\hskip 36.135pt=\sum_{i}\sum_{t}\tau_{i}\hat{\nu}^{S*}_{it}(1-\hat{y}^{*}_{it})+\sum_{i}\sum_{t}\tau_{i}\hat{\nu}^{E*}_{it}(1-\hat{z}^{*}_{it})\\ &\hskip 36.135pt=\sum_{i}\sum_{t}\overline{p}^{S*}_{it}(1-\overline{y}^{*}_{it})+\sum_{i}\sum_{t}\overline{p}^{E*}_{it}(1-\overline{z}^{*}_{it}).\end{split} (111)

Summing the last expressions in (LABEL:budget_bal_proof2) and (111) gives the left hand side of (67), showing that budget balance holds at the competitive equilibrium. Finally, the mechanism is efficient by Theorem 4, as it randomly activates loads of type ii according to x^it\hat{x}^{*}_{it}.

Appendix E Two-Bus Model Optimality Conditions

In addition to feasibility, the KKT conditions for the two-bus, centralized social planner’s problem are

c(q^t)μ^t\displaystyle c^{\prime}(\hat{q}^{*}_{t})-\hat{\mu}^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (112)
q^t(c(q^t)μ^t)\displaystyle\hat{q}^{*}_{t}(c^{\prime}(\hat{q}^{*}_{t})-\hat{\mu}^{*}_{t}) =0t\displaystyle=0\quad\forall\,t (113)
U¯i+pitλ^+pitν^\displaystyle-\overline{U}_{i}+p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it} 0i,tTτi+1\displaystyle\geq 0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (114)
x^it(U¯i+pitλ^+pitν^)\displaystyle\hat{x}^{*}_{it}(-\overline{U}_{i}+p^{\hat{\lambda}*}_{it}+p^{\hat{\nu}*}_{it}) =0i,tTτi+1\displaystyle=0\quad\forall\,i,\,t\leq T-\tau_{i}+1 (115)
pitλ^+pitν^\displaystyle p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}*}_{it} 0i,t>Tτi+1\displaystyle\geq 0\quad\forall i,\,t>T-\tau_{i}+1 (116)
x^it(pitλ^+pitν^)\displaystyle\hat{x}^{*}_{it}(p^{\hat{\lambda}^{*}}_{it}+p^{\hat{\nu}*}_{it}) =0i,t>Tτi+1\displaystyle=0\quad\forall i,\,t>T-\tau_{i}+1 (117)
τiν^itSuitdS\displaystyle\tau_{i}\hat{\nu}^{S*}_{it}-u^{dS}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (118)
y^it(τiν^itSuitdS)\displaystyle\hat{y}^{*}_{it}(\tau_{i}\hat{\nu}^{S*}_{it}-u^{dS}_{it}) =0i,t\displaystyle=0\quad\forall\,i,\,t (119)
τiν^itEuitdE\displaystyle\tau_{i}\hat{\nu}^{E*}_{it}-u^{dE}_{it} 0i,t\displaystyle\geq 0\quad\forall\,i,\,t (120)
z^it(τiν^itEuitdE)\displaystyle\hat{z}^{*}_{it}(\tau_{i}\hat{\nu}^{E*}_{it}-u^{dE}_{it}) =0i,t\displaystyle=0\quad\forall\,i,\,t (121)
μ^tλ^t+γ^21,t\displaystyle\hat{\mu}^{*}_{t}-\hat{\lambda}^{*}_{t}+\hat{\gamma}^{*}_{21,t} =0t\displaystyle=0\quad\forall\,t (122)
λ^t(Bθ^2,tgt+ilis=max{1,tτi+1}tx^is)\displaystyle\hat{\lambda}^{*}_{t}\left(-B\hat{\theta}^{*}_{2,t}-g_{t}+\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}^{t}\hat{x}_{is}\right) =0t\displaystyle=0\quad\forall\,t (123)
λ^t\displaystyle\hat{\lambda}^{*}_{t} 0t.\displaystyle\geq 0\quad\forall\,t. (124)

The aggregated constraints from all individual problems can now be written as :

c(qtG)P2,t\displaystyle c^{\prime}(q^{G*}_{t})-P_{2,t} 0t\displaystyle\geq 0\quad\forall\,t (125)
qtG(c(qtG)P2,t)\displaystyle q^{G*}_{t}\left(c^{\prime}(q^{G*}_{t})-P_{2,t}\right) =0t\displaystyle=0\quad\forall\,t (126)
U¯i+Pitcon+Pitζ\displaystyle-\overline{U}_{i}+P^{\text{con}}_{it}+P^{\zeta^{*}}_{it} 0tTτi+1\displaystyle\geq 0\quad\forall\,t\leq T-\tau_{i}+1 (127)
xitC(U¯i+Pitcon+Pitζ)\displaystyle x^{C*}_{it}(-\overline{U}_{i}+P^{\text{con}}_{it}+P^{\zeta^{*}}_{it}) =0tTτi+1\displaystyle=0\quad\forall\,t\leq T-\tau_{i}+1 (128)
Pitcon+Pitζ\displaystyle P^{\text{con}}_{it}+P^{\zeta^{*}}_{it} 0t>Tτi+1\displaystyle\geq 0\quad\forall\,t>T-\tau_{i}+1 (129)
xitC(Pitcon+Pitζ)\displaystyle x^{C^{*}}_{it}\left(P^{\text{con}}_{it}+P^{\zeta^{*}}_{it}\right) =0t>Tτi+1\displaystyle=0\quad\forall\,t>T-\tau_{i}+1 (130)
PitSuitdS+τiζitS\displaystyle P^{S}_{it}-u^{dS}_{it}+\tau_{i}\zeta^{S*}_{it} 0t\displaystyle\geq 0\quad\forall\,t (131)
yitC(PitSuitdS+τiζitS)\displaystyle y^{C*}_{it}\left(P^{S}_{it}-u^{dS}_{it}+\tau_{i}\zeta^{S*}_{it}\right) =0t\displaystyle=0\quad\forall\,t (132)
PitEuitdE+τiζitE\displaystyle P^{E}_{it}-u^{dE}_{it}+\tau_{i}\zeta^{E*}_{it} 0t\displaystyle\geq 0\quad\forall\,t (133)
zitC(PitEuitdE+τiζitE)\displaystyle z^{C*}_{it}\left(P^{E}_{it}-u^{dE}_{it}+\tau_{i}\zeta^{E*}_{it}\right) =0t\displaystyle=0\quad\forall\,t (134)
P2,tβt\displaystyle P_{2,t}-\beta^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (135)
qtI(P2,tβt)\displaystyle q^{I*}_{t}\left(P_{2,t}-\beta^{*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (136)
p1,tP1+ptα\displaystyle-p^{P_{1}}_{1,t}+p^{\alpha*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (137)
xitI(p1,tP1+ptα)\displaystyle x^{I*}_{it}\left(-p^{P_{1}}_{1,t}+p^{\alpha*}_{t}\right) =0t\displaystyle=0\quad\forall\,t (138)
αt+βtξ12,t+ξ21,t\displaystyle-\alpha^{*}_{t}+\beta^{*}_{t}-\xi^{*}_{12,t}+\xi^{*}_{21,t} =0t\displaystyle=0\quad\forall\,t (139)
αt(Bθ2,tIgt+ilis=max{1,tτi+1}xitI)\displaystyle\alpha^{*}_{t}\left(-B\theta^{I*}_{2,t}-g_{t}+\sum_{i}l_{i}\sum_{s=\max\{1,t-\tau_{i}+1\}}x^{I*}_{it}\right) =0t\displaystyle=0\quad\forall\,t (140)
αt\displaystyle\alpha^{*}_{t} 0t\displaystyle\geq 0\quad\forall\,t (141)

Comparison of these optimality conditions yields adapted versions of the proofs for Theorems 1 and 2.