Automatica 2015 Distributed Control and Optimization in DC Microgrids
Automatica 2015 Distributed Control and Optimization in DC Microgrids
Automatica
journal homepage: www.elsevier.com/locate/automatica
1. Introduction remote locations) while providing high quality power supply, e.g.,
in hospitals, research facilities, and school campuses. Third and fi-
Driven by environmental concerns, renewable energy sources nally, microgrids are naturally designed to integrate small-scale
are rapidly deployed, such as photovoltaic and wind generation. distributed generation, i.e., power is generated where it is needed
These sources will, for the most part, be deployed as small-scale without transmission losses.
generation units in low-voltage distribution networks. As a natu- Microgrids have been proposed based on either alternative cur-
ral consequence, the conventional centralized and hierarchical op- rent (AC) or direct current (DC) paradigms. AC power grids have
eration of power grids is advancing towards distributed and flat been in service for many decades, and their components and opera-
architectures, and so-called microgrids have been proposed as con- tion are well understood. The operational paradigms from conven-
ceptual solutions. Microgrids are low-voltage electrical distribu- tional AC power transmission networks have been inherited in AC
tion networks, composed of distributed generations, storages and microgrids (Guerrero, Vasquez, Matas, de Vicuna, & Castilla, 2011).
loads. The advantages of microgrids are as follows: first, micro- However, using DC microgrids has the following advantages: there
grids are capable of connecting to the power transmission grid, is an increasing number of DC sources and storages (e.g., solar cells
but they are also able to island themselves and operate indepen- and Li-ion batteries), end-user equipment (e.g., electric vehicles),
dently, e.g., in case of an outage. Second, microgrids can be de- and most of the contemporary electronic appliances. In Nilsson and
ployed as stand-alone small-footprint power systems (possibly in Sannino (2004) it is demonstrated that many daily loads supplied
by AC nowadays can operate also with a DC supply. In comparison
to AC microgrids with DC sources, the efficiency is raised since con-
version losses of DC-to-AC inverters are removed—though conver-
✩ A preliminary version of part of this paper’s results is Zhao and Dörfler (2015).
sion losses arise in DC-to-DC converters for sources with different
This work was supported by ETH Zürich startup funds. The material in this paper
voltage levels. Finally, DC microgrids are widely deployed in air-
was presented at the 2015 American Control Conference, July 1–3, 2015, Chicago,
IL, USA. This paper was recommended for publication in revised form by Associate crafts and spacecrafts (Justo, Mwasilu, Lee, & Jung, 2013). In sum-
Editor Jun-ichi Imura under the direction of Editor Toshiharu Sugie. mary, DC microgrids are a promising technology that has already
E-mail addresses: [email protected] (J. Zhao), [email protected] (F. Dörfler). attracted much research attention.
http://dx.doi.org/10.1016/j.automatica.2015.07.015
0005-1098/© 2015 Elsevier Ltd. All rights reserved.
J. Zhao, F. Dörfler / Automatica 61 (2015) 18–26 19
Literature review: The articles (Guerrero et al., 2011; Ito, illustrate the performance and robustness of our primary and sec-
Zhongqing, & Akagi, 2004; Salomonsson & Sannino, 2007) fo- ondary controllers. Finally Section 7 concludes the paper.
cus on the hardware implementation of DC microgrids. A hierar- Aside from the importance of DC microgrids in their own right,
chical control layout for DC microgrids is proposed in Guerrero we sincerely believe that the considered DC scenario also serves
et al. (2011): a primary controller rapidly stabilizes the grid, and as valuable and accessible introduction to many power system
a secondary controller (on a slower time scale) corrects for the operational paradigms that have nonlinear and complex parallels
steady-state error induced by primary control. An experimental in AC networks. A preliminary version of part of this paper’s results
system involving solar-cell, wind turbine and power storage is is Zhao and Dörfler (2015).
designed and constructed in Ito et al. (2004). A low-voltage DC
distribution system for sensitive loads is described in Salomon- Preliminaries and notation
sson and Sannino (2007). In Shafiee, Dragicevic, Vasquez, and
Guerrero (2014), a modeling method of DC microgrid clusters is Vectors and matrices: Let 1n and On be the n-dimensional vectors
described. A scenario-based operation strategy for a DC micro- of unit and zero entries, respectively. Let In ∈ Rn×n be the
grid is developed in Xu and Chen (2011), emphasizing the de- n-dimensional identity. Let diag(v) represent a diagonal matrix
tailed model and control of wind turbine and battery. Feasibility with the elements of v on the diagonal. For a symmetric matrix
conditions for DC microgrids with constant power loads were pro- A = AT , the notation A > 0, A ≥ 0, A < 0, and A ≤ 0 means that
posed in Simpson-Porco, Dörfler, and Bullo (2015). A coopera- A is positive definite, positive semidefinite, and negative definite
tive control paradigm is proposed in Nasirian, Moayedi, Davoudi, and negative semidefinite, respectively.
and Lewis (2015) to establish a distributed primary/secondary Algebraic graph theory: Consider a connected, undirected, and
control framework for DC microgrids with communication capabil- weighted graph G = (V , E , W ), where V = {1, . . . , n} is the set of
ities. Distributed controllers have been studied to regulate multi- nodes, E ⊂ V × V is the set of undirected edges, and W = W T ∈
terminal DC transmission systems which share similar problem Rn×n is the adjacency matrix with entries wij > 0, if (i, j) ∈ E and
aspects with DC microgrids. The controller proposed in Andreas- wij = 0 otherwise. The degree
n matrix D ∈ R
n×n
is the diagonal
son, Dimarogonas, Sandberg, and Johansson (2014) achieves fair matrix with elements dii = j=1,j̸=i w ij . The Laplacian matrix L =
power sharing and asymptotically minimizes the cost of the power LT ∈ Rn×n is defined by L = D − W , and it satisfies L ≥ 0 and L1n =
injections. Distributed controllers focusing on voltage control are 0n . If the graph is connected, then the null space of L is spanned by
studied in Tucci, Riverso, Vasquez, Guerrero, and Ferrari-Trecate 1n , and all the other n − 1 eigenvalues of L are strictly positive.
(2015) and Morstyn, Hredzak, Demetriades, and Agelidis (2015). In
Zonetti, Ortega, and Benchaib (2014) a unified port-Hamiltonian 2. DC microgrid model
system model is proposed, and the performance of decentralized
PI control is discussed for a multi-terminal DC transmission sys- For our purposes, a microgrid is a linear connected circuit with
tem. For AC microgrids a flat and distributed operation architecture associated undirected graph G(V , E , W ), nodes V = {1, . . . , n},
has been proposed in Dörfler, Simpson-Porco, and Bullo (2014) and and edges E ⊂ V × V . We assume that all lines in the DC microgrid
Simpson-Porco, Dörfler, and Bullo (2013), consisting of simultane- are purely resistive, and refer to Remark 3.1 for an extension of our
ous (without time-scale separation) primary, secondary, and ter- results of more general line impedances. The adjacency matrix W
tiary controls. Inspired by these AC operation strategies we seek is defined with nonzero entries wij = wji = 1/Rij for (i, j) ∈ E ,
similar solutions for DC microgrids. i, j ∈ V . The
where Rij is the resistance of the line connecting nodes
j=1,j̸=i wij .
n
Contribution and contents: In this article, we propose a compre- diagonal degree matrix D ∈ Rn×n has elements dii =
hensive operational control strategy for DC microgrids in order to The admittance matrix Y is defined as Y = D − W . Thus, Y = Y T ∈
achieve multiple objectives. Rn×n is a real-valued Laplacian matrix satisfying 1Tn Y = OTn .
In Section 2, we introduce the considered DC microgrid model. We partition the set of nodes into m sources and n − m loads:
Inspired by the shortcomings of conventional DC droop control and V = VS ∪ VL . Throughout this paper we denote sources and loads
the merits of frequency droop control in AC systems, we propose by the superscripts S and L, respectively. The sources are assumed
a novel primary voltage droop control strategy in Section 3. Our to be controllable current sources with positive current injections
proposed primary control strategy is fully decentralized, and we IiS ≥ 0 and are assembled in the vector I S . Each source is con-
demonstrate that it is capable of stabilizing the grid while achiev- strained by its output current capacity Īi , i.e., IiS ∈ [0, Īi ]. The loads
ing load sharing and avoiding actuator saturation. As base scenario are assumed to be constant-current loads with negative current in-
we consider a purely resistive network with constant current loads, jections IiL ≤ 0 and are assembled in the vector I L . Following Kirch-
but we also discuss extensions to other load and network mod-
hoff’s and Ohm’s laws, the network model is built as1
els. In Section 4, we consider the economic dispatch of multiple S
VS
generating units and formulate it as a convex optimization prob- I YSS YSL
lem. We demonstrate that the set of minimizers of the economic = T (1)
IL YSL YLL VL
dispatch are in one-to-one correspondence with the steady states
achieved by our primary voltage droop control with appropriately where the admittance matrix Y is partitioned according to sources
chosen control gains. As a result, we propose a selection of control and loads, and V S and V L represent the nodal voltages (potentials)
gains (droop coefficients) to achieve economic optimality in a de- of sources and loads, respectively. Since Y is a Laplacian matrix,
centralized way and without a model of the network or the loads. In 1Tn Y = OTn and a necessary feasibility condition for Eq. (1) is
Section 5, we discuss the limitations of droop control causing
steady-state voltage drifts, and we study secondary control strate-
gies to compensate for it. First, we consider fully decentralized 1 Loads in DC power systems are conventionally modeled as constant-current,
integral controllers and illustrate their limitations. Next, we pro- constant-impedance, constant-voltage or constant-power loads (Nilsson & Sannino,
pose a distributed consensus filter that relies on communication 2004). Often loads do not belong to a single category but display a combination
between local controllers. We show that this distributed control of the above properties. We mainly focus on pure constant-current loads which
arise primarily in electronic loads and also in some conventional loads such as LED
strategy is capable of regulating the voltage drifts while simulta- lighting. We find that these loads are the mathematically most challenging linear
neously achieving tertiary-level objectives such as load sharing or loads. In Remarks 3.2 and 3.3 we show how all our results extend to constant-
economic dispatch. In Section 6, we present simulation results to impedance loads and constant-voltage buses.
20 J. Zhao, F. Dörfler / Automatica 61 (2015) 18–26
Fig. 1. A DC microgrid with three sources and five loads. The blue dashed lines
indicate the communication among the secondary controllers (29) that we design
Fig. 2. Realization of droop control (7) as analog circuit.
in Section 5.
where Ii∗ ∈ [0, I¯i ] is an injection setpoint and the gain Ci > 0
1Tm I S + 1Tn−m I L = 0. (2)
is referred to as droop coefficient. Unless non-local (distributed
Fig. 1 shows an example network of a DC microgrid. or decentralized) secondary controllers or carefully tuned vir-
In this DC microgrid setup, we assume that source buses are tual impedance controllers are added, the control (5) does gen-
controllable voltage sources and load buses are passive current erally not achieve load sharing (especially for non-negligible line
sinks.2 The control objectives are (i) balancing of generation and impedances); see Nasirian et al. (2015) for a review. From a math-
load (as in (2)) (ii) in a stable fashion and (iii) subject to fair re- ematical perspective this shortcoming is essentially due to the ab-
source allocation (e.g., a fair load sharing), (iv) subject to possi- sence of a global variable such as the AC frequency.
ble actuation constraints (e.g., within source capacity limits), and Here we start from the observation that the conventional con-
(v) subject to load voltages within pre-described bounds. In this ar- troller (5) can be interpreted as the steady-state of the following
ticle, we show that the control objectives (i)–(iv) can be achieved proportional–integral droop controller:
in a plug-and-play fashion, that is, without knowledge of the sys- IiS = Ii∗ − Ci V̇iS − pi , (6a)
tem model and data and in a distributed way without centralized
coordination. We return to the control objective (v) in Remark 5.1. ṗi = Ci V̇iS . (6b)
Observe that (6a) mimics the AC frequency droop (3) and (6b) is an
3. Primary droop control and load sharing integral controller compensating for steady-state drifts similar to a
decentralized secondary frequency integral controller often added
We briefly review frequency droop control in AC microgrids to droop in AC systems. Inspired by this observation, the success
(Guerrero et al., 2011) to motivate our proposed control strategy of frequency droop control (3) in AC systems, and the limitation of
for DC microgrids. In AC microgrids the active power injection Pi at conventional DC droop control (5), we propose the primary voltage
source i is controlled to be proportional to its frequency deviation droop controller
θ̇i (from a nominal frequency) as
IiS = Ii∗ − Ci V̇iS . (7)
Pi = Pi − Ci θ̇i ,
∗
(3) Fig. 2 shows an analog circuit realization of the droop controller
(7) via a constant current source Ii∗ and a shunt capacitor Ci
where the control gain Ci > 0 is referred to as the droop coefficient,
reminiscent of shunt compensation in DC power systems (Karlsson
Pi∗ ∈ [0, P̄i ] is a nominal injection setpoint, and P̄i is the capacity
& Svensson, 2003). The proposed primary droop control (7) is a
of source i. For a particular selection of droop coefficients, it can
fully decentralized local proportional control strategy. In a digital
be shown that frequency droop control stabilizes the AC microgrid
implementation, each generating unit is controlled as a voltage
to a synchronous solution and achieves proportional load sharing source with terminal voltage ViS , and a micro-controller realizes
at steady state (Simpson-Porco et al., 2013), that is, every source i
the droop (7) based on measurement of the output current IiS .
injects active power Pi according to its capacity P̄i : Pi /P̄i = Pj /P̄j for
Similar to AC droop control (3), our controller (7) induces a
all sources i, j ∈ VS . A key feature of AC frequency droop control is
global variable, namely a constant voltage drift, that depends on
that it synthesizes the synchronous frequency as a global variable the load/generation imbalance: i∈VS Ii∗ + j∈VL IjL . Of course, this
indicating the load/generation imbalance in the microgrid (Dörfler
drift has to be compensated by a secondary controller, which will
et al., 2014; Simpson-Porco et al., 2013).
be done in Section 5. Before that we analyze the primary droop
As for AC systems, a primary objective in DC microgrids is to
control loop (1) and (7) by itself and show, among others, that it
synthesize local decentralized droop controllers that achieve pro- achieves stable proportional load sharing:
portional load sharing in the sense that
Theorem 3.1 (Primary Control and Load Sharing). Consider the
IiS /I¯i = IjS /I¯j for all i, j ∈ VS , (4) closed-loop droop-controlled microgrid (1) and (7). Then the following
statements hold:
where IiS ∈ [0, I¯i ] is the current injection of source i ∈ VS and
(1) Voltage drifts: all voltages ViS , i ∈ VS converge exponentially to
I¯i > 0 is its capacity. The conventional DC voltage-vs-current droop
V (t ) = V ∗ + v̇drift t · 1m , where V ∗ ∈ Rm is a constant vector and
controller is given by (see Nasirian et al., 2015, Shafiee et al., 2014,
the common voltage drift is
Zonetti et al., 2014)
Ij∗ + IjL
IiS ∗
= Ii − Ci ViS , (5) j∈VS j∈VL
v̇drift = . (8)
Cj
j∈VS
2 This setup includes the case when a current load is attached to a source bus (2) Proportional load sharing: if the droop coefficients and nomi-
whose terminal voltage is controllable. nal injection setpoints are selected proportionally, that is, for all
J. Zhao, F. Dörfler / Automatica 61 (2015) 18–26 21
i, j ∈ V S
Since YSS > 0, the system (17a) is Hurwitz, and V S converges to the
vector V S (∞) = YSS (I − YSL V L ). Thus, droop control stabilizes a
−1 ∗
asymptotically stable equilibrium V S (∞) = (L̃ + D−1 )−1 Î. This The proof of Theorem 5.2 is presented in the Appendix. We
concludes the proof of statement (1). conclude our analysis with a remark on the load voltages that were
The closed loop (1) and (24) is (after Kron reduction) so far left out of the picture.
C V̇ S I I −L̃V S + Ĩ . Remark 5.1 (Control of the Load Voltages). In our analysis we fo-
= (28)
CDṗ I I −p cused on controlling the sources, and the load voltages V L are de-
termined as function of the source voltages (and thus the current
I I
The matrix I I
in (28) has nullspace [−x x]T for any x ∈ Rm . injection setpoints Ii∗ and corrections through primary/secondary
Hence, the equilibria of (28) are for any τ ∈ R control) by inverting the Kron reduction: V L = YLL (I − YSLT V S ).
−1 L
a a a
b b b
(a) Primary droop control (7). (b) Decentralized integral control (24). (c) Distributed consensus filter (29).
Fig. 6. Closed-loop performance of the microgrid under different control strategies. (For interpretation of the references to color in this figure legend, the reader is referred
to the web version of this article.)
values without drifts, and the load sharing ratios converge to −L̃VS∗ − p∗ + Ĩ = Om . Let ṼS = V S − VS∗ and P̃ = p − p∗ , then
the same values. Hence, the voltage drifts are regulated and system (A.1) becomes
proportional load sharing is achieved. Finally, note the different
scales in the plots which indicate a superior transient performance
˙
Ṽ S
C −1 L̃ C −1 Im
ṼS
=−
of the distributed consensus filter (29). ˙
P̃ D−1 L̃ D (Im + Lc C −1 )
−1
P̃
7. Conclusions I O C −1 I L̃ O ṼS
=− , (A.2)
O D −1 I C + Lc O C −1 P̃
We proposed decentralized and distributed primary droop
and secondary integral control strategies in DC microgrids. We where O and I denote zero and identity matrices of appropriate
analyzed the properties and limitations of these control strategies, dimension. The characteristic equation of the negative system
and investigated their consistencies with tertiary-level objectives matrix in (A.2) reads as
such as proportional load sharing and an economic dispatch
among the generating units. This work is a first step towards I O C −1 I L̃ O
det λI −
establishing an operation architecture for DC microgrids. In our O D−1 I C + Lc O C −1
initial setup, we assumed constant current or constant impedance
I O
loads, and we considered purely resistive networks or networks = det
with lines modeled by the resistive–capacitive Π -model. In O D −1
ongoing and future work, we plan to study the robust performance
−1
I O C I L̃ O
in presence of transient stochastic disturbances as well as × det λ −
O D I C + Lc O C −1
different network models including resistive–inductive–capacitive −1
lines and constant power load models using the approximation I O C I L̃ O
= det λ −
proposed in Gentile, Simpson-Porco, Dörfler, Zampieri, and Bullo O D I C + Lc O C −1
(2014).
I O
× det
Acknowledgments O D−1
−1
C I L̃ O
The authors wish to thank A. Davoudi and M. Andreasson for = det λI − .
I C + Lc O C −1 D −1
their helpful comments and suggestions.
L̃ O
Appendix. Proof of Theorem 5.2 The matrix is positive semidefinite with one zero
O C −1 D−1
T
eigenvalue and corresponding eigenvector 1Tm O , and
Proof. The closed-loop state space model (1), (29) is
C −1
∗ S
I
is positive semidefinite. Let σ > 0, and consider the
C V̇ S IS YSS YSL Im V I C + Lc
C −1
0n−m = I L − YSLT YLL 0n−m V L perturbed matrix I
, which is positive definite. Ac-
I C + Lc + σ I
Dṗ IS∗ YSS YSL Lc C −1 + Im p cording
to Sylvester’s
Law of Inertia
(Weintraub, 2011), the ma-
C −1 L̃ O
where p = [p1 . . . pm ]T , and Lc is the Laplacian matrix induced by
I
trix C + Lc + σ I
has one zero eigenvalue, and all
I O C −1 D−1
the communication graph with weights Bij = Bji ≥ 0. After Kron- other eigenvalues are positive. Recall that the eigenvalues of a ma-
reduction, the reduced system is trix are continuous functions of the matrix elements (via the char-
acteristic equation). Since there is only a single zero and m − 1
C V̇ S L̃ Im VS Ĩ
=− + . (A.1) positive eigenvalues for any σ > 0, the number of zero eigenval-
Dṗ L̃ (Im + Lc C −1 ) p Ĩ
ues can either increase or remain unchanged as σ ↓ 0. For σ = 0, 0
Let p∗ = C 1m v̇drift = C 1m 1Tm Ĩ / i=1 Ci then 1Tm (Ĩ − p∗ ) = 0. It
m and [1m O]T are an eigenvalue and eigenvectorpair. Also, the
range
C −1
L̃ O I
follows that (Ĩ − p∗ ) is in the range of L̃ and there is VS∗ so that space of
O C −1 D−1
and the null space of I C + Lc
do not
26 J. Zhao, F. Dörfler / Automatica 61 (2015) 18–26
T
coincide. Thus, 1Tm Om is the only eigenvector associated to the Kundur, P. (1994). Power system stability and control. McGraw-Hill.
zero eigenvalue of the system (A.2). Hence, there is only one zero Morstyn, T., Hredzak, B., Demetriades, G. D., & Agelidis, V. G. (2015). Unified
distributed control for dc microgrid operating modes. IEEE Transactions on
eigenvalue and all the other eigenvalues are positive. Power Systems, PP(99), 1–11.
We conclude that the solutions of the system (A.2) converge Nasirian, V., Moayedi, S., Davoudi, A., & Lewis, F. L. (2015). Distributed cooperative
T control of dc microgrids. IEEE Transactions on Power Electronics, 30(4),
exponentially to [κ 1m Om ]T , where κ ∈ R. Equivalently, V S p
2288–2303.
∗ T Nilsson, D., & Sannino, A. (2004). Load modelling for steady-state and transient
converges to the constant vector VS∗T + κ 1Tm p
. Therefore, at analysis of low-voltage dc systems. In Industry applications conference, 2004.
steady state, V̇S (∞) = 0. This proves statement (1). 39th IAS annual meeting. Conference record of the 2004 IEEE. Vol. 2. October
(pp. 774–780).
To prove statements (2) and (3), we write (A.1) as
Ostrowski, Alexander, & Schneider, Hans (1962). Some theorems on the inertia of
general matrices. Journal of Mathematical Analysis and Applications, 4(1), 72–84.
C V̇ S I I −L̃V S + Ĩ . Salomonsson, D., & Sannino, A. (2007). Low-voltage dc distribution system for
=
Dṗ I I + Lc C −1 −p commercial power systems with sensitive electronic loads. IEEE Transactions
on Power Delivery, 22(3), 1620–1627.
Shafiee, Q., Dragicevic, T., Vasquez, J. C., & Guerrero, J. M. (2014). Modeling, stability
I I
The matrix I I + Lc C −1
in the above equation has nullspace analysis and active stabilization of multiple dc-microgrid clusters. In Energy
conference (ENERGYCON), 2014 IEEE international. May (pp. 1284–1290).
[C 1m − C 1m ]T , and the equilibria of (A.1) are Simpson-Porco, J. W., Dörfler, F., & Bullo, F. (2013). Synchronization and power
sharing for droop-controlled inverters in islanded microgrids. Automatica,
−L̃V S + Ĩ = τ C 1m 49(9), 2603–2611.
−p −C 1 m Simpson-Porco, J. W., Dörfler, F., & Bullo, F. (2015). On resistive networks of constant
power devices. IEEE Transactions on Circuits and Systems II: Express Briefs, 62(8),
811–815.
for some τ ∈ R. We multiply the equation −L̃V S + Ĩ = τ C 1m by 1Tm Tucci, M., Riverso, S., Vasquez, J. C., Guerrero, J. M., & Ferrari-Trecate, G. (2015). A
decentralized scalable approach to voltage control of DC islanded microgrids.
on both sides: the first term of left-hand side equals −1Tm L̃V S = 0,
ArXiv e-prints, March.
the second term of the left-hand side equals 1Tm Ĩ = 1Tm (IS∗ − Weintraub, Steven H. (2011). A guide to advanced linear algebra. (44).
Xu, Lie, & Chen, Dong (2011). Control and operation of a dc microgrid with variable
YSL YLL I ) = 1Tm IS∗ + 1Tn−m I L and the right-hand side equals
−1 L
generation and energy storage. IEEE Transactions on Power Delivery, 26(4),
1m τ C 1m = τ
S
i∈VS Ci . Thus, τ = (1m IS + 1n−m I )/(
T ∗ T L
i∈VS Ci ) and
2513–2522.
Zhang, Fuzhen (2006). The schur complement and its applications. Vol. 4. Springer.
p = τ C 1m . We conclude that the steady-state injections of sources Zhao, J., & Dörfler, F. (2015). Distributed control, load sharing, and dispatch in DC
are determined by I S (∞) = I ∗ − p = I ∗ − C τ 1m , which equals microgrids. In American control conference (ACC), 1–3 July (pp. 3304–3309).
the steady-state injections of the primary control system (1) and Zonetti, D., Ortega, R., & Benchaib, A. (2014). Modeling and control of high-voltage
direct-current transmission systems: From theory to practice and back. ArXiv
(7). Therefore, statements (2) and (3) in Theorem 5.2 follow from e-prints, June.
statement (2) of Theorem 3.1 and Corollary 4.1.