Abstract
We study an ensemble of diverse (inhomogeneous) thermostatically controlled loads aggregated to provide the demand response (DR) services in a districtlevel energy system. Each load in the ensemble is assumed to be equipped with a random number generator switching heating/cooling on or off with a Poisson rate, r, when the load leaves the comfort zone. Ensemble diversity is modeled through inhomogeneity/disorder in the deterministic dynamics of loads. Approached from the standpoint of statistical physics, the ensemble represents a nonequilibrium system driven away from its natural steady state by the DR. The ability of the ensemble to recover by mixing faster to the steady state after its DR’s use is advantageous. The tradeoff between the level of the aggregator’s control, commanding the devices to lower the rate r, and the phasespaceoscillatory deterministic dynamics is analyzed. Then, we study the effect of the load diversity, investigating four different disorder probability distributions (DPDs) ranging from the case of the Gaussian DPD to the case of the uniform with finite support DPD. We show that stronger regularity of the DPD results in faster mixing, which is similar to the Landau damping in plasma physics. Our theoretical analysis is supported by extensive numerical validation.
Introduction
Demand response (DR) is a popular modern way to balance power systems^{1}. It can also be used more broadly to improve control of large engineered systems, such as natural gas systems, district heating systems, water systems, traffic systems, and so forth. Many of the infrastructure systems were originally devised assuming a clear separation of roles between, for example, loads and generators in a power system—loads consume the electric power as they need it without much coordination with generators, while the generators balance the system as fast and accurately as possible to keep the system balanced and running. However, this traditional paradigm is challenged by many modern additions to power systems, such as wind and solar renewable generation, which involve much more uncertainty and fluctuations than the system experienced in the past, thus making the system less reliable and stable. The essence of DR is fixing this problem by breaking the traditional split of roles between generators and loads by involving the loads in the system control and coordination. In spite of its relatively short history, DR has now become widely discussed and implemented, mainly through control of large flexible loads (see, e.g., review^{2} and references therein).
In this manuscript, we focus on a type of DR that is less developed—coordination of many small flexible loads to provide DR services to the grid. However, and as has been mentioned in the early papers on the subject^{3,4,5,6}, the main difficulty in involving small flexible loads in DR is related to the coordination overhead. Indeed, the benefit of involving a small individual load, say an air conditioner in your apartment, in the DR is too small to make it economically sound. A viable solution is to consider the small loads in aggregation, as an ensemble, thus introducing a new entity—the aggregator—whose task is to resolve the DR challenge for many (up to tens of thousands) small loads collectively^{7}. Obviously, the aggregation is economically viable only for a sufficiently large ensemble when the profit from the DR services exceeds expenditures related to communication overhead between the aggregator and the loads and when the resulting load manipulations are not too disruptive to the load’s main tasks. In its extreme version, the idea is to rely only on oneway communication between the aggregator and its many consumers/loads via a broadcast so that the communications are minimal and each load receives the same information in real time. The information would typically contain a command sent to all the devices to switch on or off.
Another complication associated with the collective functioning of many loads, noticed already in^{3,4,5}, is the socalled cold load pickup, which occurs at the conclusion of the DR service interruption. In this case, sufficiently long involvement of loads in the DR services leads to load synchronization—many thermostatically controlled loads, typically subject to the bangbang control switching the loads on/off when they reach the endpoints of the comfort zone, are moving along their path in the phase space together, thus resulting in long undesirable oscillations of the ensemble cumulative consumption.
Stochastic effects, associated with uncontrolled and shortcorrelated temporal fluctuations of loads as well as inhomogeneity of loads within the ensemble, destroy the synchronization eventually and the system mixes into a statistically steady state. However, natural stochasticity and inhomogeneity are typically weak, thus resulting in unacceptably slow mixing. (The slow mixing translates into a delay constraint on the next use of the ensemble in the DR).
As argued in^{8,9}, acceleration of mixing can be achieved by adding a controlled random component to the load dynamics. This “randomize for better mixing” idea was brought into the context of the aggregator model in^{10}, where it was suggested to allow the loads to deviate from the bangbang control. When the loads leave the comfort zone, their state (on or off) is not changed instantaneously but instead with a delay generated independently by each load according to a Poisson distribution with rate r. The rate r is the only parameter that is broadcast to the loads by the aggregator.
The methodology of^{10}, utilizing the Fokker–Planck (FP) formalism of statistical physics brought into the DR literature in^{6,11}, was limited to a homogeneous ensemble and to a dynamical load model that was too complex to allow analytic analysis of the mixing conditions. In this manuscript, we correct for these limitations, thus extending and improving the approach of^{10}. We pay a special attention to extracting, confirming in simulations and explaining special features of the disorder, and also effects observed (but not elaborated on) in^{10}.
Results
We study the effects of the load inhomogeneity (which we also call disorder, following the statistical physics jargon) on operations of the ensemble, specifically in terms of the ensemble’s ability to recover fast from a perturbation after its use by the aggregator for the DR. The ensemble is assumed to be controlled by an aggregator in a communicationminimal way by sending the same signal switching off/on rate to all the consumers simultaneously. We are mainly interested in the regime where both the control and the ensemble variability are weak. The two main messages of the paper (put here in a colloquial format and then quantified formally later) are as follows:

(1)
There exists an optimal switching rate corresponding to the fastest recovery. Any deviation (increase or decrease) of the rate leads to a slower recovery.

(2)
Increase of the ensemble variability is advantageous for faster recovery/mixing.
Because temporal evolution of the ensemble is at the core of this manuscript analysis, let us define relevant timescales and then restate our main results in a more technical way. We assume that by default (without aggregator), each customer follows a standard bangbang operation—switching on (off) the cooling device when the temperature exceeds (becomes less than) a preset threshold. We assume that the outside temperature is significantly higher than the switchon threshold, thus resulting in cycling of the device with its natural timescale \(\tau \). The aggregator changes this natural cycling by requesting the consumers to switch on/off with a random delay distributed according to a Poisson distribution with rate r. (Each device is assumed equipped with a random number generator). By default, i.e., without aggregator control, \(r=+\,\infty \). Weak aggregator control means that \(r\tau \gg 1\). To account for variability within the ensemble, one assumes that devices may have slightly different \(\tau \). Formally, one considers \(\tau \) as the disorder (variability) parameter distributed according the disorder probability distribution (DPD), \(g(\tau )\), characterized in terms of its typical value (mean), \({\tau }_{0}\), and the distribution width, \({\rm{\Delta }}\). In the following we define and consider four different forms of \(g(\tau )\)—Gaussian, Lorentzian, Laplace, and finitesupport uniform—parameterized by \({\tau }_{0}\) and \({\rm{\Delta }}\), however always assuming (analyzing the disorder case) that the typical control is weak, i.e., \(r{\tau }_{0}\gg 1\), and that the disorder is also weak, i.e., \({\rm{\Delta }}\ll {\tau }_{0}\).
With the timescales and two small dimensionless parameters, \({(r{\tau }_{0})}^{1}\) and \({\rm{\Delta }}\)/\({\tau }_{0}\), defined, we are ready to provide the following more technical, still qualitative but intuitive, explanations for our main results.

(1)
When \(r=\infty \), the system does not decay and temporal evolution of the probability distribution function (PDF) of a device temperature, x, averaged over the ensemble shows a periodic behavior in time, ~\(\exp (\,\pm \,i{\lambda }_{I}t)\), with the period \(1/{\lambda }_{I}=\tau /(2\pi )\). Decrease of r leads to decrease of λ_{I} and simultaneous increase (from zero at \(r=\infty \)) of the decay rate, λ_{R}. In this oscillatory with a decay regime, temporal behavior of the correction to the stationary probability distribution becomes ~\(\exp (\,\,\lambda t)\), \(\lambda ={\lambda }_{R}\pm i{\lambda }_{I}\) \({\lambda }_{I}\ne 0\) and \({\lambda }_{R} > 0\), where ± reflects emergence of two complexconjugated solutions. At a certain critical value, \(r={r}_{c}\), λ_{I} becomes zero, i.e., the two complexconjugated solutions merge into one (degenerate) solution such that close to the merging point \(\lambda ={\lambda }_{c}(1\pm c\sqrt{1r/{r}_{c}}+O(1r/{r}_{c}))\), where \(c=O(1)\) and λ_{c} is the critical value of λ_{R} achieved at \(r={r}_{c}\). The main conclusion of this straightforward qualitative estimate is that the lowest of the two eigenvalues (corresponding to ±1 \(\to \) −1 and thus to the slowest asymptotic decay) achieves its maximum as a function of r at r_{c}.

(2)
In the default regime (no aggregator control), a set of devices with exactly the same \(\tau \), i.e., when we set \({\rm{\Delta }}\) to zero, would not mix at all, i.e., correction to the stationary probability distribution oscillates and does not decay. Introduction of a small but finite \({\rm{\Delta }}\) results in a decay that is largely controlled by \(g(\tau )\) in the vicinity of its maximum, i.e., at \(\tau \approx {\tau }_{0}\). Specifically, decay of the temperature probability to its stationary value in time is controlled by the shifted Fourier transform of the DPD, \(\int \,d\tau g(\tau )\,\exp (\,\pm \,2\pi it/\tau )\approx \exp (\,\pm \,2\pi it/{\tau }_{0})\) \(\int \,d\varsigma g({\tau }_{0}+\varsigma )\,\exp (\,\mp \,2\pi i\varsigma t/{\tau }_{0}^{2})\). Obviously, details of the decay depend on the shape of the DPD. Of the four model DPDs considered in this manuscript, the Gaussian DPD results in the fastest decay (shifted Gaussian in time), the Lorentzian DPD is a bit slower (exponential in time), and the Laplacian DPD and uniform finitesupport DPD are the slowest, with asymptotic 1/t^{2} and 1/t decays, respectively. This hierarchy, illustrated in Fig. 1, and the Fouriertransform interpretation suggest that the speed of decay is linked to the regularity of the DPD around its central part. (This phenomenon is reminiscent of the mathematically similar analysis of the Landau damping in plasma physics described by the Vlasov equation [see^{12,13} and references therein]. Specifically, we refer here to the fact that the regularity of the initial velocity distribution influences the Landau mixing/damping speed).
These main focal points are detailed and extended in the remainder of the manuscript. Models of the statistical ensemble and of the ensemble inhomogeneity are formulated in “Formulation” section. The basic model of the homogeneous ensemble is analyzed in “Basic Homogeneous Model” section. Effects of the disorder/inhomogeneity are studied in “Disorder” section, where we also compare analytic and numerical results. “Discussions” section is reserved for conclusions and discussion of the path forward.
Formulation of the problem
One characterizes a load by the continuous parameter, x, standing for the temperature, and by the discrete/binary parameter, \(\sigma =\uparrow \,,\downarrow \), indicating whether the air conditioning system/device of the load (one considers cooling for concreteness) is switched on, \(\sigma =\uparrow \), or off, \(\sigma =\downarrow \). Conditioned to σ, the dynamics of x follow the deterministic rule
where \(v(x\sigma )\) describes the rate of temperature change as a function of the current temperature, x, conditioned to the state of the load’s air conditioning device (later in the text referred to simply as “device”). Our basic model is
where u is a positive constant. The model is a simplification of a bit richer popular model, e.g., used in^{10}, where u is not a constant as in Eq. (2) but a linear function of x. σ in Eqs (1) and (2) is modeled as the following Markovian binary (twolevel) stochastic process:
where dt is the time step (of the properly discretized continuous time limit), r is the rate of exponential (Poisson) switching, and \({x}_{\uparrow }\), \({x}_{\downarrow }\) marks the size of the temperature band within which no switching occurs, \({x}_{\downarrow } < {x}_{\uparrow }\).
As set above, the basic model has two timescales: one describing deterministic evolution, \(\tau =2({x}_{\uparrow }{x}_{\downarrow })/u\), which is the time it takes for a device to make a full cycle through the combined \((x,\sigma )\) phase space illustrated in Fig. 2, and 1/r, the typical time of a stochastic jump from \(\sigma =\uparrow \) to \(\sigma =\downarrow \) or vice versa.
Notice that the selection of the model in Eq. (2) as the basis for this manuscript analysis is dictated not only by its realism but also by considerations of simplicity and our ability to derive analytic results. Specifically, for the case of the asymptotic uniform ensemble consisting of the infinite number of devices with the same characteristics (the same u) and following the same switching protocol (the same r), we are interested in computing and analyzing the evolution in time of the PDFs governed by the system of coupled FP equations following directly from the model definition, given by Eqs (1), (2) and (3):
where θ(y) is unity if \(y > 0\) and zero otherwise. We are seeking a properly normalized solution of Eq. (4):
where \({N}_{\uparrow ,\downarrow }(t,\tau ,r)\) counts proportions of devices that are switched on and off, respectively.
As shown in the section “Basic Homogeneous Model”, solution of the system of the FP Eq. (6) can be presented explicitly as the spectral expansion in terms of the LambertW functions for any initial \(t=0\) distributions. This analytic expression will allow us to analyze the temporal evolution of the basic homogeneous ensemble in much more detail than^{10} for a more complex model, with \(v(x\sigma )\) in Eq. (1) dependent linearly on x.
However, devices contributing realistic ensembles are not necessarily the same in terms of their cooling/heating strength. To model the ensemble diversity, i.e., nonuniform ensemble, one introduces disorder in \(\tau \). We assume that \(\tau \) characterizing a device is drawn independently from one of the following four model DPDs: Gaussian, Lorentzian, Laplace, and uniform (finite support)
representing different extremes (e.g., in terms of the asymptotics). We parameterize these DPDs via their mean/max, \({\tau }_{0}\), and variance, \({\rm{\Delta }}\), in a similar way to facilitate comparisons. In general, we will assume that \({\rm{\Delta }}\le {\tau }_{0}\), and in terms of the asymptotic analysis, we will be interested most in the regime of weak disorder, \({\rm{\Delta }}\ll {\tau }_{0}\). (Notice that the negative values of \(\tau \), \(\tau < 0\), are not physical. Therefore, when performing asymptotic analysis for the disorder distributions with formally defined infinite support, described by Eqs (7), (8) and (9), one needs to make sure that the fictitious \(\tau < 0\) regime does not contribute the asymptotic results). Then, the following average d over the DPDs
will be the focus of our analysis of the inhomogeneous ensembles represented by Eqs (7), (8), (9) and (10). Equation (12) defines the total number of devices observed at the moment of time t in the state \(\uparrow \) or \(\downarrow \) (for all \(\tau \)), Eq. (11) defines similar, however more detailed, object which also differentiate, in addition, between the current temperature, x, of the system.
In this manuscript, we pose and answer the following two related questions:

Qualitative Question about the Inhomogeneous Ensemble: Does the disorder accelerate or slow down mixing, i.e., relaxation of the ensemble probability distribution to its steady state?

Quantitative Question about the Inhomogeneous Ensemble: How does the relaxation look depending on the system parameters and the parameters characterizing the PDF of the disorder?
Our choice of the basic model in Eq. (2), resulting in analytic expression for \(P(xt,\tau ,r)\) stated in terms of the explicit spectral series in the section “Basic Homogeneous Model”, allows us in the section “Disorder” to answer the quantitative question explicitly and then to use the analytic solution to reach qualitative conclusions.
Analytic Solution for the Basic Homogeneous Model
The solution of Eq. (4) can be written in terms of the following explicit spectral expansion:
where Eq. (15) solves the spectral equation \(r2{\lambda }_{k;\pm }=\pm \,(r{e}^{{\lambda }_{k;\pm }\tau /2})\), and W_{k}(z) with \(z\in {\mathbb{C}}\) and \(k\in {\mathbb{Z}}\) denote all the analytic in z solutions of the LambertW transcendental equation, \({W}_{k}(z){e}^{{W}_{k}(z)}=z\). (The LambertW function is called \(\mathrm{ProductLog}\,[k,z]\) in Mathematica^{14}. See^{15} for details of the LambertW function analysis, including asymptotics).
To complete description of the spectral decomposition, one also needs to define adjoint eigenvalues of \( {\mathcal L} \)
where \({ {\mathcal L} }^{\dagger }\), the adjoint of \( {\mathcal L} \), and the standard L_{2} scalar product between two vectors P and G are defined according to
It is straightforward to check that the eigenvectors, defined by Eqs (16) and (18), are normalized and orthogonal, i.e., \(\langle {\xi }_{{k}_{1};{\varsigma }_{1}}^{\dagger },{\xi }_{{k}_{2};{\varsigma }_{2}}\rangle ={\delta }_{{k}_{1},{k}_{2}}{\delta }_{{\varsigma }_{1},{\varsigma }_{2}}\). Now closing the loop in Eq. (13) and linking the a coefficients there to the initial condition, \({P}_{0}(x)\dot{=}P(0;x)\), one derives
Substituting Eq. (13) into Eq. (6), one discovers that \({N}_{\uparrow ,\downarrow }(t,\tau ,r)\), i.e., the total density/proportion of devices that are switched on/off, is represented by the spectral series with only “−” modes contributing (coefficients of the “+” modes are exactly zero, i.e., \(\int \,dx{\xi }_{\uparrow ,\downarrow ;+}=0\)).
We discuss consequences of the analysis on special features of the spectral problem, long time analysis (of the gap), and sensitivity of the asymptotic solution to the parameters in the following three subsections.
Features of the Spectral Problem
We find it useful to identify a number of significant features of the spectral problem defined by Eqs (13–21):

(1)
\({\lambda }_{0;+}=0\) and all other eigenvalues have a positive real part that grows with k, i.e., the spectrum is discrete, positive, and ordered.

(2)
At \(r\tau > C=4{W}_{0}({e}^{1})\simeq 1.11386\), no real eigenvalues exist except the zero one, i.e., in the “high switching rate” regime, the solution shows oscillatory decay with time increase.

(3)
At \(r\tau \le C\), there are only two other real eigenvalues besides zero, λ_{0;−} and λ_{−1;−}, where \({\lambda }_{0;}\le {\lambda }_{1;}\). All other eigenvalues (with a nonzero imaginary part) have a real part that is larger than λ_{−1;−}. Therefore, in the “low switching rate” regime, the solution decays with time (no oscillations).

(4)
When one of the two parameters, \(\tau \) or r, is fixed, one finds that the largest value of λ_{0;−} is achieved at the bifurcation point, where \(\beta \dot{=}r\tau /4\) reaches \({\beta }_{c}=C/4\), i.e., given fixed r and changing τ, or fixed τ and changing r, mixing is the fastest at τ = C/r.

(5)
Moreover, given r is fixed, dRe(λ_{0;−1})/dτ, i.e., the rate of change with τ of the real part of the leading eigenvalue is positive/negative when rτ is smaller/larger than C.

(6)
When r is fixed and \(\beta =r\tau /4\) is sent to zero, one finds that \({\lambda }_{0;}\to r\). Indeed, in this regime, all devices that are in the allowed range, \(x\in [{x}_{\downarrow },{x}_{\uparrow }]\), move fast to their respective boundaries; thus, at small τ, PDF decay is controlled primarily by the Poisson jumps/switchings.

(7)
When r is fixed and \(\beta =r\tau /4\) is sent to \(\infty \) (or alternatively when τ is fixed and β is sent to \(\infty \)), one arrives at the following asymptotic: \({\lambda }_{k;\pm }\) ~ \((1(\mathrm{ln}(\,\pm \,\beta {e}^{\beta })+2\pi ik\) − \(\mathrm{ln}(\mathrm{ln}(\,\pm \,\beta {e}^{\beta })+2\pi ik))/\beta )r/2\), which means, in particular, that \({\lambda }_{k,}\to {0}^{+}2i\pi (2k+1)/\tau \) and \({\lambda }_{k,+}\to {0}^{+}4i\pi k/\tau \). One concludes that in the asymptotic regime of the “highest switching rate”, the temporal evolution of the PDF becomes oscillatory and relaxation to the steady state slows down asymptotically to zero.
Evolution of the (four) leading nonzero eigenvalues (containing the smallest real part) with the dimensionless parameter \(\beta =r\tau /4\) and fixed τ is illustrated in Fig. 3. It is worth noting that the behavior of our system described by Eqs (1–6) is qualitatively similar to what would be observed in a damped harmonic oscillator with the natural frequency and damping coefficient scaling respectively as τ and 1/\(({\tau }^{2}r)\).
Long Time Asymptotic Analysis: Gap Condition
Let us now clarify the conditions under which one can limit analysis of the PDF mixing to the leading \(k=0\), “−” mode and complex conjugate, thus approximating
where \({N}_{\uparrow }^{{\rm{st}}}(\tau ,r)\dot{=}{\mathrm{lim}}_{t\to \infty }\,{N}_{\uparrow }(t,\tau ,r)=1/2\) is the stationary solution achieved at \(t\to \infty \). The approximation is valid when \({\rm{Re}}\,({\lambda }_{1;+}(\tau ,r){\lambda }_{0;}(\tau ,r))\,t\gg 1\), i.e., when the relaxation time is larger than the inverse gap between real parts of the two leading eigenvalues.
a_{0;−}, and thus \(\phi \), depend on initial condition. For \({P}_{0}=(\delta (x{x}_{\downarrow }),0)\), corresponding to the “worst case” (least mixed) initial condition, one derives
where here and below \(\lambda =\lambda (\tau ,r)\) is a shortcut notation for λ_{0;−}.
Asymptotic Sensitivity
Analytic solution, discussed above in the main body of this section, allows us to analyze the sensitivity of \({\lambda }_{0;}(\tau ,r)\) and \(\phi (x,\tau ,r)\), defined in Eqs (24) and (25), to changes in the parameter τ. (The analysis can also be extended to study sensitivity to changes of r. We focus on the τ sensitivity because τ is userdependent and thus uncertain, whereas r is aggregatordefined and thus well controlled and certain). Specifically, we are interested in analyzing the coefficient of Taylor expansion at \({\beta }_{0}\dot{=}r{\tau }_{0}/4 > {\beta }_{c}\) for the dynamic characteristics of interest about (the typical) τ_{0}:
where \(\phi ,\phi ^{\prime} ,\lambda ,\lambda ^{\prime} \) are the shortcut notations for \(\phi (x,\tau ,r)\), \(\tau {\partial }_{\tau }\phi (x,\tau ,r)\), \(\lambda (x,\tau ,r)\), and \(\tau {\partial }_{\tau }{\lambda }_{0;}(\tau ,r)\), respectively, evaluated at \(\tau ={\tau }_{0}\). The coefficients of interest show the following asymptotics at small \(\varepsilon \dot{=}1/(r{\tau }_{0})\):
Basic Model with Disorder
Averaging over the disorder according to Eq. (11) with only the leading \(k=0\), “−” term in Eq. (13) is justified when the spectral gap condition (see the section “Long Time Asymptotic Analysis: Gap Condition”) is verified. Furthermore, we assume \({\rm{\Delta }}/{\tau }_{0}\ll 1\) so that the integral Eq. (11) is concentrated for τ located around τ_{0} so that \(\tau {\tau }_{0}\ll {\tau }_{0}\). Then, taking into account the large time asymptotic (Eq. (22)) and assuming that the Taylor series expansion (Eqs (26) and (27) is legitimate (when \(r{\tau }_{0} > C\)), one arrives at
Versions of Eq. (32) for the four example probability distributions of the disorder (Eqs (7–10)) computed for small disorder \({\rm{\Delta }}/{\tau }_{0}\ll 1\) are
The expressions are justified in their respective asymptotic limits. In particular, the Gaussian DPD, Eq. (33), derived via a saddlepoint analysis, is valid at \(t\ll {\tau }_{0}^{3}/{{\rm{\Delta }}}^{2}\). For Laplacian and uniform DPDs, we used the Laplace method to derive Eqs (37) and (39), which are valid at small disorder. In the case of the Lorenzian DPD, we used the Cauchy integral and integration around the pole at \(\tau ={\tau }_{0}i{\rm{\Delta }}\) of Eq. (8) to compute Eq. (35), again valid at small disorder. Note that in this case the slow decay of the tails in Eq. (8) makes the truncation at negative τ in Eq. (32) relevant only at \(t\ll {\tau }_{0}^{2}/{\rm{\Delta }}\). Later in time, after the \({\tau }_{0}^{2}/{\rm{\Delta }}\) threshold is reached, Eq. (32) transitions to an asymptotic, 1/t, decay originating from the DPD discontinuity.
Particle Simulations and Comparison with the Theory
To test our analytic results, we performed particle simulations of the dynamics of Eqs (1), (2) and (3). One first associates with each of N devices its own relaxation time, τ, drawn i.i.d. from one of the DPDs defined by Eqs (7), (8), (9) and (10). (Negative values of τ are rejected). Initially, at \(t=0\), all devices are set to \(x={x}_{\downarrow }\) and \(\sigma =+\,1\), corresponding to the “worst case”, i.e., least mixed, initial distribution. Then the dynamics, advanced discretely and independently for each device, are implemented according to the following rules. At the beginning of each time interval, t, the state of each of the N devices, characterized by σ and x, is advanced in time according to the firstorder (in time) version of Eqs (1) and (3). At each t, we monitor \({N}_{\uparrow }(t)\), which is the total number of the devices in the state +1, also corresponding to the instantaneous energy consumption of the ensemble (under the model assumption that each device, when switched on, consumes the same amount of energy).
The results of the straightforward particle simulations are illustrated in Fig. 4 for four different DPDs. To facilitate comparison, we juxtapose the results of the simulations with the corresponding analytic predictions given by Eqs (33), (35), (37) and (39). We observe very good agreement between the theory and the simulations at short and intermediate times. The conclusion is reached based on comparison of the amplitude and the frequency of the oscillations and the relaxation rate of \({N}_{\uparrow }(t)\). Note that the theory results are derived in the asymptotic, weak disorder regime described by Eq. (32) and its complexconjugated expression corresponding to the same (worst case) initial condition as in the simulations; hence, there are no fitting parameters. We also observe that at sufficiently large t, controlled by the finite (not infinite) size of the ensemble, the theory and the simulations start to deviate. Indeed, when \({N}_{\uparrow }(t)1/2\) becomes of the order of 1/\(\sqrt{N}\), fluctuations associated with the finiteness of the ensemble start to dominate results of the simulations. In the simulations with \(N={10}^{5}\), this threshold is reached at \({N}_{\uparrow }(t)1/2=O({10}^{3})\).
Comparing the four subfigures in Fig. 4 with each other is useful because it illustrates dependence of the ensemble mixing on different types of disorder.
Discussions
The main conclusion of the manuscript is that both types of randomizations, smoothing out the bangbang control via Poissondelayed switching and introducing diversity of loads in the ensemble, result in acceleration of the mixing/recovery following a heavy DR use of the ensemble. Specifically, we have shown via rigorous analysis and numerical simulations that (a) increasing the level of control (decreasing the switching rate) is advantageous only at sufficiently large rates, \(r > {r}_{c}\); and (b) diversity of the devices’ natural timescale (speed of cooling/heating), which is more “regular” (e.g., distributed according to the Gaussian DPD), is advantageous in leading to a faster mixing (more efficient recovery). In this paper we study quantitatively effect of the load diversity on the speed of the ensemble restoration to normal (steady distribution) following a significant DR perturbation. To the best of our knowledge, this is the first systematic analysis showing and explaining that disorder does provide a significant acceleration. It is also worth mentioning that similar analysis and effects (acceleration of relaxation to the steady state due to disorder) is expected in other applications where ensemble of particles follow the same stochastic signal. This expectation is consistent with numerical observations made in the context of signal tracking in^{16}, where it was reported that diversity of loads results in a faster tracking. Moreover, many models of population dynamics^{17,18} and more generally of nonequilibrium statistical mechanics^{19}, has mathematical structure resembling one analyzed in the manuscript thus suggesting that there should be a wide range of possible applications where disorder in the model parameters results in faster mixing.
Encouraged by the reported results, we plan to extend the study in the following directions:

Complex Modeling. We envision considering more complex models of both the individual device dynamics and the ensemble compilation. For the former, different switching rates (for switching on and off) and more general dependence of the relaxation speed u on x are two practical complications that can be included in the analysis. For the latter (richer disorder), most significant generalization corresponds to adding disorder/inhomogeneity in other model parameters, such as switching on/off temperatures. Our working hypothesis is that these modifications/generalizations will lead to (possibly significant) quantitative but not qualitative changes in the predictions.

MeanField, Nonlinear Control. Switching rate, r, communicated by the aggregator to consumers, was constant in the model discussed above. It is interesting to experiment with changing the rate, in particular allowing it to depend on the current state of the ensemble, i.e., on the instantaneous probability distribution in the (x, σ) space. This MeanField control improves greatly the relaxation time, as shown by the team in^{20}. This intricate scenario is related to developing and extending the study to the socalled meanfield games and control^{21}.

Optimal Control. This manuscript has focused primarily on analysis of the stochastic ensemble with a control. However, the control in this setting was not optimal but rather preset. The natural evolution of this analysis (which would also complicate it) consists of a twolevel formulation where solution of the problem analyzed here is also optimized. For example, one minimizes a cumulative cost including DR tasks (such as tracking timeevolving consumption signal from the system operator) and the mixing/recovery characteristics of the ensemble investigated above.

Discrete Phase Space. Given practical constraints in the device resolution, it is natural to reduce the hybrid (continuousdiscrete) state space of the analyzed model to a purely discrete space simply by binning the temperature. Moreover, following the logic of^{22,23}, it is practically appropriate to also consider the resulting Markov Process (MP) model in discrete time. In fact, this MP formulation is also practically advantageous for analysis of the aforementioned optimal control, where the problem becomes of the Markov decision process (MDP) type, as in^{9,24,25}. We would argue that the MP and MDP approaches are naturally appropriate and algorithmically attractive to account for the randomization effects analyzed in the manuscript.

DataDriven Control. Individual devices included in the aggregation may change their behavior, which then should be accounted for through datadriven identification of a device and ensemble parameters^{26}. To track changes in real time and then account for them in the control, one would naturally resort to the datadriven approaches of the reinforcement learning type^{27}, combining learning and control and aimed at developing online algorithms for optimal control.
References
 1.
Demand response, https://en.wikipedia.org/wiki/Demand_response.
 2.
Lampropoulos, I., Kling, W. L., Ribeiro, P. F. & van den Berg, J. History of demand side management and classification of demand response control schemes. In 2013 IEEE Power Energy Society General Meeting, 1–5, https://doi.org/10.1109/PESMG.2013.6672715 (2013).
 3.
McDonald, J. E. & Bruning, A. M. Cold load pickup. IEEE Transactions on Power Apparatus and Systems PAS98, 1384–1386, https://doi.org/10.1109/TPAS.1979.319340 (1979).
 4.
Chong, C. Y. & Debs, A. S. Statistical synthesis of power system functional load models. In 1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes, vol. 2, 264–269, https://doi.org/10.1109/CDC.1979.270177 (1979).
 5.
Ihara, S. & Schweppe, F. C. Physically based modeling of cold load pickup. IEEE Transactions on Power Apparatus and Systems PAS100, 4142–4150, https://doi.org/10.1109/TPAS.1981.316965 (1981).
 6.
Chong, C.Y. & Malhame, R. P. Statistical synthesis of physically based load models with applications to cold load pickup. Power Apparatus and Systems, IEEE Transactions on PAS103, 1621–1628, https://doi.org/10.1109/TPAS.1984.318643 (1984).
 7.
Callaway, D. & Hiskens, I. Achieving controllability of electric loads. Proceedings of the IEEE 99, 184–199, https://doi.org/10.1109/JPROC.2010.2081652 (2011).
 8.
Angeli, D. & Kountouriotis, P. A. A stochastic approach to dynamicdemand refrigerator control. IEEE Transactions on Control Systems Technology 20, 581–592, https://doi.org/10.1109/TCST.2011.2141994 (2012).
 9.
Bušić, A. & Meyn, S. Distributed randomized control for demand dispatch. In 2016 IEEE 55th Conference on Decision and Control (CDC), 6964–6971, https://doi.org/10.1109/CDC.2016.7799342 (2016).
 10.
Chertkov, M. & Chernyak, V. Ensemble of thermostatically controlled loads: Statistical physics approach. Scientific Reports 7, 8673 (2017).
 11.
Callaway, D. S. Tapping the energy storage potential in electric loads to deliver load following and regulation, with application to wind energy. Energy Conversion and Management 50, 1389–1400, https://doi.org/10.1016/j.enconman.2008.12.012 (2009).
 12.
Villani, C. Landau damping, Notes for a course given in Cotonou, Benin, and in CIRM, Luminy (2010).
 13.
Mouhot, C. & Villani, C. On Landau damping. Acta Math. 207, 29–201, https://doi.org/10.1007/s1151101100689 (2011).
 14.
Inc., W. R. Mathematica, Version 11.3. (Champaign, IL, 2018).
 15.
Corless, R. M., Gonnet, G. H., Hare, D. E. G., Jeffrey, D. J. & Knuth, D. E. On the Lambertw function. Advances in Computational Mathematics 5, 329–359, https://doi.org/10.1007/BF02124750 (1996).
 16.
Espinosa, L. A. D., Almassalkhi, M., Hines, P. & Frolik, J. Aggregate modeling and coordination of diverse energy resources under packetized energy management. In Decision and Control (CDC), 2017 IEEE 56th Annual Conference on, 1394–1400 (IEEE, 2017).
 17.
Eftimie, R., De Vries, G. & Lewis, M. Complex spatial group patterns result from different animal communication mechanisms. Proceedings of the National Academy of Sciences 104, 6974–6979 (2007).
 18.
Eftimie, R., de Vries, G., Lewis, M. A. & Lutscher, F. Modeling group formation and activity patterns in selforganizing collectives of individuals. Bulletin of Mathematical Biology 69, 1537, https://doi.org/10.1007/s1153800691758 (2007).
 19.
Mallmin, E., Blythe, R. A. & Evans, M. R. Exact spectral solution of two interacting runandtumble particles on a ring lattice. Journal of Statistical Mechanics: Theory and Experiment 2019, 013204 (2019).
 20.
Métivier, D. & Chertkov, M. Mean Field Control for Efficient Mixing of Energy Loads. ArXiv eprints, 1810.00450 (2018).
 21.
Huang, M., Malhame, R. P. & Caines, P. E. Large population stochastic dynamic games: closedloop McKeanVlasov systems and the Nash certainty equivalence principle. Commun. Inf. Syst. 6, 221–252 (2006).
 22.
Kamgarpour, M. et al. Modeling options for demand side participation of thermostatically controlled loads. In 2013 IREP Symposium Bulk Power System Dynamics and Control, 1–15, https://doi.org/10.1109/IREP.2013.6629396 (2013).
 23.
Paccagnan, D., Kamgarpour, M. & Lygeros, J. On the range of feasible power trajectories for a population of thermostatically controlled loads. In 2015 54th IEEE Conference on Decision and Control (CDC), 5883–5888, https://doi.org/10.1109/CDC.2015.7403144 (2015).
 24.
Bušić, A. & Meyn, S. Ordinary differential equation methods for Markov decision processes and application to kullback–leibler control cost. SIAM Journal on Control and Optimization 56, 343–366, https://doi.org/10.1137/16M1100204 (2018).
 25.
Chertkov, M., Chernyak, V. & Deka, D. Ensemble control of cycling energy loads: Markov decision approach. In Meyn, S., G., S., H., I., S., J. & Samad, T. (ed.) Energy Markets and Responsive Grids: Modeling, Control and Optimization (Springer, Series: Institute of Mathematics and Applications, 2018).
 26.
ElFerik, S. & Malhame, R. P. Identification of alternating renewal electric load models from energy measurements. IEEE Transactions on Automatic Control 39, 1184–1196, https://doi.org/10.1109/9.293178 (1994).
 27.
Reinforcement learning, https://en.wikipedia.org/wiki/Reinforcement_learning.
Acknowledgements
The work at LANL was carried out under the auspices of the National Nuclear Security Administration of the U.S. Department of Energy under Contract No. DEAC5206NA25396. The work was partially supported by DOE/OE/GMLC and LANL/LDRD/CNLS projects.
Author information
Affiliations
Contributions
M.C. conceived the project, D.M., I.L. and M.C. conducted the work. All authors reviewed the manuscript.
Corresponding author
Correspondence to David Métivier.
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Métivier, D., Luchnikov, I. & Chertkov, M. Power of Ensemble Diversity and Randomization for Energy Aggregation. Sci Rep 9, 5910 (2019) doi:10.1038/s41598019415154
Received
Accepted
Published
DOI
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.