arXiv is now an independent nonprofit! Learn more
License: CC BY 4.0
arXiv:2608.20298v1 [eess.SY] 20 Aug 2026

Zero-Sum Power Factor Games

Cameron Khanpour    Samuel Talkington    Mathieu Dahan       Daniel K. Molzahn Thanks: This material is based upon work supported by the National Science Foundation Graduate Research Fellowship Program under Grant Nos. DGE-1650044 and DGE-2039655 and NSF Award #2145564. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation. Thanks: C. Khanpour and D. K. Molzahn are with the School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA, USA. (e-mail: {khanpour, molzahn}@gatech.edu) Thanks: S. Talkington was with the School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, GA, USA. He is now with the Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA. (e-mail: talks@umich.edu) Thanks: M. Dahan is with the School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA. (e-mail: mathieu.dahan@isye.gatech.edu)
Abstract

Variable active power injections arising from device behavior or compromised dispatch complicate voltage regulation in electric power networks with distributed energy resources (DERs). An operator can limit the resulting voltage deviations by remotely selecting DER reactive power parameters before observing the active power injections. IEEE Standard 1547-2018 specifies constant power factor as one such control mode, coupling each device’s reactive power to its realized active power. Using a linear voltage model, we formulate the operator’s decision as a robust minimax problem in which the operator minimizes the largest feasible aggregate voltage deviation. We solve this problem by expressing the power factor decisions through continuous reactive to active power ratios and exactly decomposing the payoff according to the signs of the voltage deviations. When every feasible voltage residual remains on its initial side of nominal, the resulting ratios cancel each injection’s contribution and yield a closed form minimax strategy. We identify realistic DER ratings for which this strategy applies and quantify the regulation capacity lost under restricted power factor ranges. Numerical tests check the cancellation computation, solve the complete minimax problem directly at a representative DER rating, and compare the linear voltage predictions with nonlinear AC power flow.

Index Terms:
Game theory, power networks, power factor

I Introduction

Reliable operation of alternating current electricity networks requires maintaining nodal voltages close to nominal values. ANSI Standard C84.1-2020 generally restricts service voltages to within ±5%\pm 5\% of nominal [2]. Integrating DERs such as solar photovoltaics, energy storage, and electric vehicles complicates this task because their active power injections vary with customer dispatch, aggregator decisions, curtailment, and site conditions [35, 5, 27].

The DER managing entity, termed the operator, regulates voltage by configuring reactive power control. IEEE Standard 1547-2018 requires these control parameters to be remotely readable and writable and specifies constant power factor as a control mode [17]. Under this mode, each installed power factor parameter couples the device’s reactive power response to its realized active power. The power factor setting must therefore remain effective across active power injections that may be unknown when the operator configures the device.

Conventional voltage regulation methods often optimize active or reactive power separately, while newer methods coordinate both components [4, 26, 14, 22]. These approaches do not address the case in which the operator must choose a fixed reactive power setting before another entity determines active power. This timing matters under both routine uncertainty and compromised dispatch due to a cyberattack. The DER apparent power limit further creates a physical tradeoff between active power capacity and reactive power support.

We therefore ask how the operator should select fixed power factor parameters before observing active power so that voltage regulation remains effective over the feasible DER behavior. We also ask when the physical structure yields an analytical solution and how device ratings and restrictions on power factor affect the achievable regulation performance. Fig. 1 illustrates the information pattern.

Refer to caption
Figure 1: The operator installs the reactive power parameters before the active power player realizes the injections. Constant power factor control then couples the active and reactive powers.

I-A Contributions

We formulate the operator’s decision as a robust minimax design. The operator first selects one constant power factor setting for each DER. The maximizing active power player, termed the owner, then selects an injection vector within the device limits. The operator minimizes the largest aggregate absolute voltage deviation that the owner can produce. In the robust interpretation, the inner maximization identifies the worst feasible realization, and no strategic or malicious actor is required. In the cybersecurity interpretation, the same formulation is a zero-sum Stackelberg game in which a stealthy attacker observes the installed power factor settings and then selects compromised active power references. The reactive power parameter channel retains integrity, and the injections remain consistent with the commanded power factor setting to avoid immediate detection. Both interpretations lead to the same minimax problem with the operator moving first.

This paper makes the following three contributions.

  1. 1.

    We formulate constant power factor control as a robust minimax design while enforcing each DER’s apparent power limit. Because the power factor determines both the reactive response and the feasible active power set, the model captures capacity effects omitted when active and reactive power are treated independently. The formulation applies to robust voltage regulation and related hosting capacity and curtailment assessments.

  2. 2.

    We derive the solution structure by representing the power factor decisions with continuous reactive-to-active power ratios (Lemma 2) and exactly decomposing the payoff by the sign pattern of the voltage residual (Proposition 1). At fixed operator settings, each worst-case active power injection is either zero or its largest feasible value, depending on whether increasing that injection raises or lowers the aggregate voltage deviation (Proposition 2). When no bus voltage crosses its nominal value, the optimal minimax ratio cancels the corresponding injection’s contribution and yields a closed form strategy (Theorem 1).

  3. 3.

    We characterize how DER ratings and restrictions on the admissible power factor range affect regulation performance. Numerical tests check the cancellation computation, solve the complete minimax problem directly at a representative DER rating, and compare the linear voltage predictions with nonlinear AC power flow. The analytical power factors also resemble empirical recommendations in [33, 28], providing a game theoretic characterization.

I-B Literature Review

I-B1 Competitive reactive power control and voltage regulation

Optimal reactive power control is a fundamental problem in electric power system engineering, both with network models [5, 4, 27, 26] and without them [14]. IEEE Standard 1547-2018 mandates that reactive power control parameters “shall be available for reading and writing” by DER managing entities through a communication interface [17, 10.6]. This ability to remotely set the parameters is a key modeling assumption in our formulation.

Some of the early work in this area developed a two-stage control theoretic approach to controlling reactive power for voltage regulation [27]. Augmentations of the voltage regulation problem with incentive-based considerations have emerged in the recent literature, in both offline [40] and online [41] optimization frameworks.

Some of the work closest to ours studies noncooperative volt-var control [43, 40, 41, 42]. A noncooperative voltage regulation game is solved iteratively using fixed point and contraction arguments in [43]. Our work instead considers a robust minimax design in which the power factor is fixed before the active power realization is observed. Enforcing the apparent power limit also makes the operator anticipate how its setting changes both the voltage response and the feasible active power set, an effect related to signal anticipation in voltage regulation [20].

Recent work also considers structural interdependence between active and reactive power in game-theoretic settings [38, 37]. A smoothed Nikaido-Isoda descent direction algorithm computes an equilibrium of a noncooperative Nash formulation for coordinated real and reactive power control [38]. A learning algorithm for a prospect theoretic reactive power compensation game converges to a mixed strategy Nash equilibrium [37]. Both approaches compute equilibria iteratively. Our formulation asks a different question because the operator commits a power factor before observing active power and protects against the worst feasible subsequent realization. Our model also commits the constant power factor specified in IEEE Standard 1547-2018, which directly couples the active and reactive powers [17].

I-B2 Other non-cooperative games in infrastructure networks

Game theory has been applied to reactive power control [3, 43, 12, 38, 10], on-load tap changer switching [36], and the scheduling of loads, distributed generation, storage, and other flexible resources [30]. Strategic monitoring of power and water networks has also been formulated as a game [24]. These works illustrate the broader role of game-theoretic models in infrastructure control and protection.

There is also extensive literature on economic active-reactive power interactions. Bilevel optimization has been used to model separate entities controlling active and reactive power [1]. Competitive active and reactive power scheduling frameworks have also been developed for electricity markets [18, 23]. Economic incentive mechanisms offer another approach for coordinating active and reactive power [38].

Finally, our work is related to cybersecurity games for network systems. A tri-level defender-attacker-defender game models network security with compromised DERs represented by false complex power set points [32]. In contrast, we study the complementary regime in which the certified reactive power control channel retains integrity, so that a stealthy adversary is restricted to injections consistent with the commanded power factor setting (see Remark 1). Section V-B3 discusses the fully compromised regime as future work. Routing and network interdiction games provide related zero-sum models over network flows [9, 8]. In contrast, our game is posed over complex nodal power contributions with an operator-dependent feasible set.

I-C Article Outline

Section II develops the network model, voltage approximation, and robust power factor design. Section III decomposes the lifted payoff by voltage orthant, characterizes the optimal minimax strategy in closed form when the voltage residual remains in the nominal orthant, and interprets the resulting power factors. Section IV verifies the results on realistic network models. Section V concludes the paper.

II Problem Description

This section defines the network and constant power factor models and then formulates the operator’s robust minimax design. Under the security interpretation, the same nested problem is a zero-sum Stackelberg game.

II-A Network and Device Model

We first define the network operating point, voltage approximation, constant power factor model, and regulation target.

II-A1 Electric power network model

We consider an electric network (𝒩{0},)(\mathcal{N}\cup\{0\},\mathcal{E}), where 𝒩={1,,n}\mathcal{N}=\{1,\dots,n\} contains the nn PQ nodes whose voltages depend on the nodal power injections. Node 00 is the reference node and often represents a substation that maintains a constant voltage magnitude. A superscript ()0(\cdot)^{0} denotes a quantity at the initial operating point. Let 𝒑𝗀,𝒒𝗀n\boldsymbol{p}^{\sf g},\boldsymbol{q}^{\sf g}\in\mathbb{R}^{n} and 𝒑𝖽,𝒒𝖽n\boldsymbol{p}^{\sf d},\boldsymbol{q}^{\sf d}\in\mathbb{R}^{n} be the generated and demanded active and reactive power. Initial net injections are

𝒑0𝒑𝗀𝒑𝖽,𝒒0𝒒𝗀𝒒𝖽.\boldsymbol{p}^{0}\triangleq\boldsymbol{p}^{\sf g}-\boldsymbol{p}^{\sf d},\qquad\boldsymbol{q}^{0}\triangleq\boldsymbol{q}^{\sf g}-\boldsymbol{q}^{\sf d}.

The initial voltage phasors are 𝒗0exp(j𝜽0)\boldsymbol{v}^{0}\circ\exp(j\boldsymbol{\theta}^{0}), where 𝒗0n\boldsymbol{v}^{0}\in\mathbb{R}^{n} contains the voltage magnitudes, 𝜽0(π,π]n\boldsymbol{\theta}^{0}\in(-\pi,\pi]^{n} contains the voltage angles, and j1j\triangleq\sqrt{-1}.

II-A2 Approximation of the power flow equations

Let s¯i>0\bar{s}_{i}>0 be the apparent power rating of the modeled device or aggregation at node ii. We use pip_{i} and qiq_{i} for its active and reactive output normalized by s¯i\bar{s}_{i}. The physical device output is therefore (s¯ipi,s¯iqi)(\bar{s}_{i}p_{i},\bar{s}_{i}q_{i}). We take this controllable contribution to be zero at the initial operating point, so the total net injections at node ii after the device acts are pi0+s¯ipip_{i}^{0}+\bar{s}_{i}p_{i} and qi0+s¯iqiq_{i}^{0}+\bar{s}_{i}q_{i}. Thus, the power factor applies to the final output of the modeled device rather than the total net injection at the bus.

A linear approximation of the voltage magnitudes about the initial operating point is the map 𝒗:n×nn\boldsymbol{v}:\mathbb{R}^{n}\times\mathbb{R}^{n}\to\mathbb{R}^{n} given by

𝒗(𝒑,𝒒)𝒗0+𝑹𝒑+𝑿𝒒,\boldsymbol{v}(\boldsymbol{p},\boldsymbol{q})\triangleq\boldsymbol{v}^{0}+\boldsymbol{R}\boldsymbol{p}+\boldsymbol{X}\boldsymbol{q}, (1)

where 𝑹,𝑿n×n\boldsymbol{R},\boldsymbol{X}\in\mathbb{R}^{n\times n} are the active and reactive power voltage sensitivity matrices evaluated at (𝒑0,𝒒0)(\boldsymbol{p}^{0},\boldsymbol{q}^{0}), with the device ratings s¯i\bar{s}_{i} absorbed into their corresponding columns.

II-A3 Implicit Representation of Reactive Power

We model DERs that export nonnegative active power. Under the rating normalization above, a feasible device output satisfies pi0p_{i}\geq 0 and pi2+qi21p_{i}^{2}+q_{i}^{2}\leq 1.

Constant power factor control assigns each device a power factor magnitude αi(0,1]\alpha_{i}\in(0,1] and a reactive power direction ξi{1,0,1}\xi_{i}\in\{-1,0,1\}. With the net injection convention, ξi=1\xi_{i}=1 denotes reactive power injection and ξi=1\xi_{i}=-1 denotes reactive power absorption. At unity power factor the direction is immaterial, and we set ξi=0\xi_{i}=0 to avoid duplicate representations. For any realized output with pi>0p_{i}>0, consistency with the installed settings means

pipi2+qi2=αi,i𝒩 with pi>0,\frac{p_{i}}{\sqrt{p_{i}^{2}+q_{i}^{2}}}=\alpha_{i},\qquad\forall\,i\in\mathcal{N}\text{ with }p_{i}>0, (2)

and

sign(qi)=ξi,i𝒩 with pi>0.\operatorname{sign}(q_{i})=\xi_{i},\qquad\quad\;\forall\,i\in\mathcal{N}\text{ with }p_{i}>0. (3)

Equations (2) and (3) describe the realized output when pi>0p_{i}>0. At (pi,qi)=(0,0)(p_{i},q_{i})=(0,0), the realized power factor is undefined, but the installed setting (αi,ξi)(\alpha_{i},\xi_{i}) remains well defined.

A DER operating in constant power factor mode supplies reactive power in fixed proportion to its active power. The following lemma establishes this relationship.

Lemma 1 (Reactive power representation).

Fix 𝐩0n\boldsymbol{p}\in\mathbb{R}_{\geq 0}^{n} and (𝛂,𝛏)(0,1]n×{1,0,1}n(\boldsymbol{\alpha},\boldsymbol{\xi})\in(0,1]^{n}\times\{-1,0,1\}^{n} such that for every i𝒩i\in\mathcal{N}, ξi=0\xi_{i}=0 if and only if αi=1\alpha_{i}=1. Define

𝑲(𝜶,𝝃)diag(𝒌(𝜶,𝝃)),\boldsymbol{K}(\boldsymbol{\alpha},\boldsymbol{\xi})\triangleq\operatorname{diag}(\boldsymbol{k}(\boldsymbol{\alpha},\boldsymbol{\xi})), (4a)
k(αi,ξi)ξiαi1αi2,i𝒩.k(\alpha_{i},\xi_{i})\triangleq\frac{\xi_{i}}{\alpha_{i}}\sqrt{1-\alpha_{i}^{2}},\qquad\forall\,i\in\mathcal{N}. (4b)

Let

𝒒𝑲(𝜶,𝝃)𝒑.\boldsymbol{q}\triangleq\boldsymbol{K}(\boldsymbol{\alpha},\boldsymbol{\xi})\boldsymbol{p}. (5)

Then pi2+qi2=pi2/αi2p_{i}^{2}+q_{i}^{2}=p_{i}^{2}/\alpha_{i}^{2} for every i𝒩i\in\mathcal{N}. If pi>0p_{i}>0, the output satisfies (2) and (3). If pi=0p_{i}=0, then qi=0q_{i}=0.

Proof: See Appendix -C.  

The diagonal entries of 𝑲(𝜶,𝝃)\boldsymbol{K}(\boldsymbol{\alpha},\boldsymbol{\xi}) are the installed proportionality coefficients between reactive and active power. Related models also express reactive power as a parameterized function of active power [29] or power factor settings [13].

Combining Lemma 1 with (1) gives

𝒗(𝒑,(𝜶,𝝃))𝒗0+𝑺(𝜶,𝝃)𝒑,\boldsymbol{v}(\boldsymbol{p},(\boldsymbol{\alpha},\boldsymbol{\xi}))\triangleq\boldsymbol{v}^{0}+\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})\boldsymbol{p}, (6)

where the sensitivity matrix associated with the installed settings is

𝑺(𝜶,𝝃)𝑹+𝑿𝑲(𝜶,𝝃).\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})\triangleq\boldsymbol{R}+\boldsymbol{X}\boldsymbol{K}(\boldsymbol{\alpha},\boldsymbol{\xi}). (7)

The approximation (6) therefore includes the reactive power that accompanies each realized active power injection under constant power factor control.

II-A4 Nominal voltages and voltage regulation

The operator aims to keep the voltage magnitudes close to the nominal profile 𝒗n\boldsymbol{v}^{\bullet}\in\mathbb{R}^{n}. Tracking nominal voltage penalizes both upward and downward deviations and preserves operating margin to the voltage limits. Let 𝒗¯,𝒗¯n\underline{\boldsymbol{v}},\overline{\boldsymbol{v}}\in\mathbb{R}^{n} be the lower and upper voltage magnitude bounds. We define

𝒎𝒗𝒗0,𝒎¯𝒗¯𝒗0,𝒎¯𝒗¯𝒗0\boldsymbol{m}^{\bullet}\triangleq\boldsymbol{v}^{\bullet}-\boldsymbol{v}^{0},\qquad\underline{\boldsymbol{m}}\triangleq\underline{\boldsymbol{v}}-\boldsymbol{v}^{0},\qquad\overline{\boldsymbol{m}}\triangleq\overline{\boldsymbol{v}}-\boldsymbol{v}^{0}

as the nominal, lower, and upper voltage offsets from the initial operating point.

Assumption 1 (Bounded power factors).

The devices can operate at power factors 𝜶\boldsymbol{\alpha} satisfying 𝟎<𝜶¯𝜶𝟏\boldsymbol{0}<\underline{\boldsymbol{\alpha}}\leq\boldsymbol{\alpha}\leq\boldsymbol{1}.

The lower bound 𝜶¯\underline{\boldsymbol{\alpha}} represents the minimum realizable power factor at each node. It is typically determined by device capability or technical standards.

Assumption 2 (Feasible reference voltages).

The initial and nominal voltage profiles satisfy the voltage bounds. Equivalently, 𝒎¯𝟎𝒎¯\underline{\boldsymbol{m}}\leq\boldsymbol{0}\leq\overline{\boldsymbol{m}} and 𝒎¯𝒎𝒎¯\underline{\boldsymbol{m}}\leq\boldsymbol{m}^{\bullet}\leq\overline{\boldsymbol{m}}.

The zero DER injection leaves 𝒗=𝒗0\boldsymbol{v}=\boldsymbol{v}^{0}, so this assumption provides a feasible reference point before the uncertain DER injections are realized.

II-B Power Factor Minimax Formulation

The operator first installs one constant power factor setting for each DER. The active power realization then occurs within the device limits, and the reactive power is determined by the installed setting. The operator chooses the settings to minimize the largest aggregate voltage deviation from nominal that can occur afterward.

II-B1 Feasible decisions

Before a power factor setting is installed, the normalized nonnegative active power set is the reference box

𝒫[0,1]n.\mathcal{P}\triangleq[0,1]^{n}. (8)

The upper bound follows from the unit apparent power rating because 0pipi2+qi210\leq p_{i}\leq\sqrt{p_{i}^{2}+q_{i}^{2}}\leq 1. The set 𝒫\mathcal{P} is a reference box used to define safe operator settings. The active power player’s actual feasible set is defined after the operator acts.

The operator action set is

𝒜{(𝜶,𝝃)(0,1]n×{1,0,1}n:𝜶¯𝜶𝟏,ξi{±1}if αi<1,ξi=0if αi=1,i𝒩,𝒎¯𝑺(𝜶,𝝃)𝒑𝒎¯,𝒑𝒫}.\begin{split}\mathcal{A}\triangleq\Big\{&(\boldsymbol{\alpha},\boldsymbol{\xi})\in(0,1]^{n}\times\{-1,0,1\}^{n}:\underline{\boldsymbol{\alpha}}\leq\boldsymbol{\alpha}\leq\boldsymbol{1},\\ &\xi_{i}\in\{\pm 1\}\ \text{if }\alpha_{i}<1,\ \xi_{i}=0\ \text{if }\alpha_{i}=1,\ \forall\,i\in\mathcal{N},\\ &\underline{\boldsymbol{m}}\leq\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})\boldsymbol{p}^{\prime}\leq\overline{\boldsymbol{m}},\ \forall\,\boldsymbol{p}^{\prime}\in\mathcal{P}\Big\}.\end{split} (9)

We require an installed setting to respect the voltage limits throughout the reference set (8). This conservative safety requirement prevents the operator from improving the objective by selecting settings that permit unacceptable voltages. We assume that 𝒜\mathcal{A} is nonempty.

After the operator selects (𝜶,𝝃)𝒜(\boldsymbol{\alpha},\boldsymbol{\xi})\in\mathcal{A}, the apparent power rating restricts the active power realization to

𝒫(𝜶,𝝃)\displaystyle\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi}) {𝒑𝒫:(1+k(αi,ξi)2)pi21,i𝒩}\displaystyle\triangleq\left\{\boldsymbol{p}\in\mathcal{P}:(1+k(\alpha_{i},\xi_{i})^{2})p_{i}^{2}\leq 1,\>\forall\,i\in\mathcal{N}\right\} (10)
=i=1n[0,αi].\displaystyle=\prod_{i=1}^{n}[0,\alpha_{i}].

The equality follows from 1+k(αi,ξi)2=1/αi21+k(\alpha_{i},\xi_{i})^{2}=1/\alpha_{i}^{2}. Thus, lowering the installed power factor reserves more capacity for reactive power and reduces the largest feasible active power injection.

Remark 1 (Threat model).

Under the cybersecurity interpretation, a compromised aggregator or controller observes the installed power factor settings and then selects 𝒑𝒫(𝜶,𝝃)\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi}). The adversary can manipulate active power references through an aggregator platform, device energy management systems, or coordinated load altering attacks [25, 34]. We assume that the reactive power parameters remain under the Area EPS (Electric Power System) operator’s control through the standardized interface and certified grid support functions [17, Cl. 5, 10.6, 11].

The requirement 𝒒=𝑲(𝜶,𝝃)𝒑\boldsymbol{q}=\boldsymbol{K}(\boldsymbol{\alpha},\boldsymbol{\xi})\boldsymbol{p} characterizes the stealthy attack class. Overriding reactive power would violate the installed setting and could be identified from monitoring data after the realization occurs [17, Cl. 10]. Thus, an intelligent malicious actor would inject so that they comply with their set power factor to avoid exposure. This restriction is analogous to false data injection attacks that remain consistent with a detector [19].

The vector 𝒑\boldsymbol{p} may collect outputs from multiple devices. Its joint maximization represents a worst-case uncertainty set and does not require the device owners to coordinate. A compromised aggregator supplies the strategic interpretation when one actor controls the vector.

The conditional set 𝒫(𝜶,𝝃)\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi}) makes the active power limits depend on the installed setting.

II-B2 Aggregate voltage deviation

Definition 1 (Aggregate voltage deviation).

For any (𝜶,𝝃)𝒜(\boldsymbol{\alpha},\boldsymbol{\xi})\in\mathcal{A} and 𝒑𝒫(𝜶,𝝃)\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi}), the aggregate voltage deviation from nominal is

w(𝒑,(𝜶,𝝃))\displaystyle w(\boldsymbol{p},(\boldsymbol{\alpha},\boldsymbol{\xi})) ||𝒗𝒗(𝒑,(𝜶,𝝃))||1\displaystyle\triangleq\left|\left|\boldsymbol{v}^{\bullet}-\boldsymbol{v}(\boldsymbol{p},(\boldsymbol{\alpha},\boldsymbol{\xi}))\right|\right|_{1} (11a)
=||𝒎𝑺(𝜶,𝝃)𝒑||1.\displaystyle=\left|\left|\boldsymbol{m}^{\bullet}-\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})\boldsymbol{p}\right|\right|_{1}. (11b)

The 1\ell_{1} norm assigns equal weight to voltage deviations at the participating nodes. At 𝒑=𝟎\boldsymbol{p}=\boldsymbol{0}, Lemma 1 gives 𝒒=𝟎\boldsymbol{q}=\boldsymbol{0}, so the operator cannot alter voltage through a constant power factor setting alone. A device may be physically capable of supplying reactive power at zero active power under another control mode, such as constant reactive power or volt-var control, but that independent reactive power action is not available in the constant power factor mode studied here.

II-B3 Robust minimax formulation

The robust power factor design is

min(𝜶,𝝃)𝒜max𝒑𝒫(𝜶,𝝃)w(𝒑,(𝜶,𝝃)).\min_{(\boldsymbol{\alpha},\boldsymbol{\xi})\in\mathcal{A}}\;\max_{\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi})}\;w(\boldsymbol{p},(\boldsymbol{\alpha},\boldsymbol{\xi})). (12)

The operator first selects (𝜶,𝝃)(\boldsymbol{\alpha},\boldsymbol{\xi}). The inner problem then selects the worst feasible active power realization from the set (10), which depends on the installed settings. Under the robust interpretation, this maximization represents uncertainty and requires no strategic actor. Under the security interpretation, (12) is a sequential zero-sum Stackelberg game in which the active power player observes the installed settings before choosing 𝒑\boldsymbol{p}.

III Analytical Results

In these results, we first represent the power factor magnitude and direction by the continuous coefficient vector 𝜿\boldsymbol{\kappa}. We then decompose the inner worst-case objective according to the signs of the voltage residual. On the subset where no feasible injection changes the nominal sign pattern, the decomposition yields a robust minimax setting in closed form.

This analysis uses the linear voltage approximation (6) centered at the initial operating point. The results need not hold exactly for the nonlinear AC power flow equations, whose agreement with the linear predictions is evaluated in Section IV.

III-A Continuous Reformulation

The action set 𝒜\mathcal{A} in (9) includes a discrete choice for the direction of reactive power. The coefficient κi\kappa_{i} in (4) combines this direction with the power factor magnitude. Under Assumption 1, its range is the box

range(𝒌)={𝜿n:𝒌(𝜶¯,𝟏)𝜿𝒌(𝜶¯,𝟏)}.\operatorname{range}(\boldsymbol{k})=\left\{\boldsymbol{\kappa}\in\mathbb{R}^{n}:\boldsymbol{k}(\underline{\boldsymbol{\alpha}},-\boldsymbol{1})\leq\boldsymbol{\kappa}\leq\boldsymbol{k}(\underline{\boldsymbol{\alpha}},\boldsymbol{1})\right\}. (13)

Define 𝑺~(𝜿)𝑹+𝑿diag(𝜿)\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\triangleq\boldsymbol{R}+\boldsymbol{X}\operatorname{diag}(\boldsymbol{\kappa}). For a fixed 𝜿\boldsymbol{\kappa}, the feasible active power set is

𝒫(𝜿)i=1n[0,11+κi2].\mathcal{P}(\boldsymbol{\kappa})\triangleq\prod_{i=1}^{n}\left[0,\frac{1}{\sqrt{1+\kappa_{i}^{2}}}\right]. (14)

The corresponding operator action set is

𝒦{𝜿range(𝒌):𝒎¯𝑺~(𝜿)𝒑𝒎¯𝒑𝒫}.\mathcal{K}\triangleq\left\{\boldsymbol{\kappa}\in\operatorname{range}(\boldsymbol{k}):\underline{\boldsymbol{m}}\leq\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}^{\prime}\leq\overline{\boldsymbol{m}}\quad\forall\,\boldsymbol{p}^{\prime}\in\mathcal{P}\right\}. (15)

For 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K} and 𝒑𝒫(𝜿)\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\kappa}), the lifted objective is

w~(𝒑,𝜿)||𝒎𝑺~(𝜿)𝒑||1.\tilde{w}(\boldsymbol{p},\boldsymbol{\kappa})\triangleq\left|\left|\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\right|\right|_{1}. (16)

The scalar κi\kappa_{i} is the installed coefficient in qi=κipiq_{i}=\kappa_{i}p_{i}. When pi>0p_{i}>0, it also equals qi/piq_{i}/p_{i}. This interpretation does not require a realized power factor at zero output.

Lemma 2 (Equivalent continuous parameterization).

The map (𝛂,𝛏)𝐤(𝛂,𝛏)(\boldsymbol{\alpha},\boldsymbol{\xi})\mapsto\boldsymbol{k}(\boldsymbol{\alpha},\boldsymbol{\xi}) is a bijection from 𝒜\mathcal{A} to 𝒦\mathcal{K}. Its inverse is

αi(κi)11+κi2,ξi(κi)sign(κi),i𝒩,\alpha_{i}(\kappa_{i})\triangleq\frac{1}{\sqrt{1+\kappa_{i}^{2}}},\quad\xi_{i}(\kappa_{i})\triangleq\operatorname{sign}(\kappa_{i}),\quad i\in\mathcal{N}, (17)

where sign(0)=0\operatorname{sign}(0)=0. If 𝛋=𝐤(𝛂,𝛏)\boldsymbol{\kappa}=\boldsymbol{k}(\boldsymbol{\alpha},\boldsymbol{\xi}), then

𝒫(𝜶,𝝃)=𝒫(𝜿)andw(𝒑,(𝜶,𝝃))=w~(𝒑,𝜿)\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi})=\mathcal{P}(\boldsymbol{\kappa})\quad\text{and}\quad w(\boldsymbol{p},(\boldsymbol{\alpha},\boldsymbol{\xi}))=\tilde{w}(\boldsymbol{p},\boldsymbol{\kappa})

for every feasible 𝐩\boldsymbol{p}.

Proof: See Appendix -D.  

Thus, the partly discrete description (𝜶,𝝃)(\boldsymbol{\alpha},\boldsymbol{\xi}) can be replaced by 𝜿\boldsymbol{\kappa} without changing the model.

Define the exact inner worst-case value

I(𝜿)max𝒑𝒫(𝜿)w~(𝒑,𝜿).I(\boldsymbol{\kappa})\triangleq\max_{\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\kappa})}\tilde{w}(\boldsymbol{p},\boldsymbol{\kappa}). (18)

Lemma 2 makes (12) equivalent to

min𝜿𝒦I(𝜿).\min_{\boldsymbol{\kappa}\in\mathcal{K}}I(\boldsymbol{\kappa}). (19)
Lemma 3 (Existence of a minimax solution).

The set 𝒦\mathcal{K} is nonempty, compact, and convex. For every 𝛋𝒦\boldsymbol{\kappa}\in\mathcal{K}, the set 𝒫(𝛋)\mathcal{P}(\boldsymbol{\kappa}) is nonempty, compact, and convex. The function II is continuous on 𝒦\mathcal{K}, so (19) attains a minimum.

Proof: See Appendix -E.  

III-B Exact Orthant Reduction

For 𝒔{1,0,1}n\boldsymbol{s}\in\{-1,0,1\}^{n} and 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}, define

𝒔(𝜿){𝒑𝒫(𝜿):sign(𝒎𝑺~(𝜿)𝒑)=𝒔},\mathcal{R}_{\boldsymbol{s}}(\boldsymbol{\kappa})\triangleq\left\{\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\kappa}):\operatorname{sign}\bigl(\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\bigr)=\boldsymbol{s}\right\}, (20)

where sign\operatorname{sign} is applied componentwise with sign(0)=0\operatorname{sign}(0)=0. These regions form an exact disjoint partition of 𝒫(𝜿)\mathcal{P}(\boldsymbol{\kappa}).

Proposition 1 (Exact orthant decomposition).

For every 𝛋𝒦\boldsymbol{\kappa}\in\mathcal{K},

I(𝜿)=max𝒔{1,0,1}n\displaystyle I(\boldsymbol{\kappa})=\max_{\boldsymbol{s}\in\{-1,0,1\}^{n}} max𝒑𝒔(𝜿){𝒔𝒎\displaystyle\max_{\boldsymbol{p}\in\mathcal{R}_{\boldsymbol{s}}(\boldsymbol{\kappa})}\Bigl\{\boldsymbol{s}^{\top}\boldsymbol{m}^{\bullet}{} (21)
+(𝑹𝒔diag(𝜿)𝑿𝒔)𝒑},\displaystyle+\left(-\boldsymbol{R}^{\top}\boldsymbol{s}-\operatorname{diag}(\boldsymbol{\kappa})\boldsymbol{X}^{\top}\boldsymbol{s}\right)^{\top}\boldsymbol{p}\Bigr\},

where empty regions are omitted.

Proof: If 𝒑𝒔(𝜿)\boldsymbol{p}\in\mathcal{R}_{\boldsymbol{s}}(\boldsymbol{\kappa}), then

w~(𝒑,𝜿)=𝒔(𝒎𝑺~(𝜿)𝒑).\tilde{w}(\boldsymbol{p},\boldsymbol{\kappa})=\boldsymbol{s}^{\top}\bigl(\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\bigr).

Substituting 𝑺~(𝜿)=𝑹+𝑿diag(𝜿)\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})=\boldsymbol{R}+\boldsymbol{X}\operatorname{diag}(\boldsymbol{\kappa}) gives the affine expression in (21). Maximizing over the exact partition gives I(𝜿)I(\boldsymbol{\kappa}).  

The sign pattern 𝒔sign(𝒎)\boldsymbol{s}^{\bullet}\triangleq\operatorname{sign}(\boldsymbol{m}^{\bullet}) is the sign of the voltage residual at zero DER output. Since 𝒎=𝒗𝒗0\boldsymbol{m}^{\bullet}=\boldsymbol{v}^{\bullet}-\boldsymbol{v}^{0}, its entries show whether initial voltages are below, above, or at nominal. For fixed 𝜿\boldsymbol{\kappa}, 𝒔(𝜿)\mathcal{R}_{\boldsymbol{s}^{\bullet}}(\boldsymbol{\kappa}) contains injections that leave every nonnominal voltage strictly on its initial side. A voltage reaching nominal has a zero entry in its exact sign pattern.

Definition 2 (Nominal orthant subset).

Define

𝒦{𝜿𝒦:𝒫(𝜿)=𝒔(𝜿)¯}.\mathcal{K}^{\bullet}\triangleq\left\{\boldsymbol{\kappa}\in\mathcal{K}:\mathcal{P}(\boldsymbol{\kappa})=\overline{\mathcal{R}_{\boldsymbol{s}^{\bullet}}(\boldsymbol{\kappa})}\right\}.

The closure in n\mathbb{R}^{n} allows voltages to reach nominal without crossing to the opposite side. For each jj with sj0s_{j}^{\bullet}\neq 0, the condition is equivalent to

i=1nmax{sj[𝑺~(𝜿)]ji,0}1+κi2|mj|.\sum_{i=1}^{n}\frac{\max\!\left\{s_{j}^{\bullet}[\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})]_{ji},0\right\}}{\sqrt{1+\kappa_{i}^{2}}}\leq\left|m_{j}^{\bullet}\right|. (22)

If sj=0s_{j}^{\bullet}=0, the corresponding row of 𝑺~(𝜿)\boldsymbol{\tilde{S}}(\boldsymbol{\kappa}) must be zero. Smaller ratings, weaker voltage sensitivity toward nominal, and greater initial distance favor membership; voltage limit headroom separately determines whether 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}. For uniform apparent power ratings s¯i=s¯\bar{s}_{i}=\bar{s} and every mj0m_{j}^{\bullet}\neq 0, the threshold for fixed 𝜿\boldsymbol{\kappa} is

s¯minj𝒩|mj|i=1nmax{sj([𝑹]ji+[𝑿]jiκi),0}1+κi2,\bar{s}\leq\min_{j\in\mathcal{N}}\frac{\left|m_{j}^{\bullet}\right|}{\displaystyle\sum_{i=1}^{n}\frac{\max\!\left\{s_{j}^{\bullet}([\boldsymbol{R}]_{ji}+[\boldsymbol{X}]_{ji}\kappa_{i}),0\right\}}{\sqrt{1+\kappa_{i}^{2}}}}, (23)

where 𝑹\boldsymbol{R} and 𝑿\boldsymbol{X} are evaluated at unit ratings, and a zero denominator imposes no restriction. For 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}^{\bullet}, the 1\ell_{1} objective is affine over the entire feasible set, so the inner maximization is separable. Define

𝝈𝑹𝒔,𝝎𝑿𝒔.\boldsymbol{\sigma}\triangleq-\boldsymbol{R}^{\top}\boldsymbol{s}^{\bullet},\qquad\boldsymbol{\omega}\triangleq-\boldsymbol{X}^{\top}\boldsymbol{s}^{\bullet}. (24)
Proposition 2 (Nominal orthant value and worst-case realizations).

For every 𝛋𝒦\boldsymbol{\kappa}\in\mathcal{K}^{\bullet}, the exact inner value is

I(𝜿)=||𝒎||1+i=1n[σi+ωiκi]+1+κi2.I(\boldsymbol{\kappa})=\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}+\sum_{i=1}^{n}\frac{[\sigma_{i}+\omega_{i}\kappa_{i}]_{+}}{\sqrt{1+\kappa_{i}^{2}}}. (25)

The worst-case active power realizations are characterized componentwise by

piwc={11+κi2,σi+ωiκi>0,0,σi+ωiκi<0,any value in [0,11+κi2],σi+ωiκi=0.p_{i}^{\mathrm{wc}}=\begin{cases}\dfrac{1}{\sqrt{1+\kappa_{i}^{2}}},&\sigma_{i}+\omega_{i}\kappa_{i}>0,\\[5.69054pt] 0,&\sigma_{i}+\omega_{i}\kappa_{i}<0,\\ \text{\rm any value in }\left[0,\dfrac{1}{\sqrt{1+\kappa_{i}^{2}}}\right],&\sigma_{i}+\omega_{i}\kappa_{i}=0.\end{cases}

Proof: For 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}^{\bullet}, Definition 2 gives

||𝒎𝑺~(𝜿)𝒑||1=(𝒔)(𝒎𝑺~(𝜿)𝒑)\left|\left|\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\right|\right|_{1}=(\boldsymbol{s}^{\bullet})^{\top}\bigl(\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\bigr)

for every 𝒑𝒫(𝜿)\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\kappa}), including points at which a voltage reaches nominal. Substitution gives

||𝒎||1+i=1n(σi+ωiκi)pi.\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}+\sum_{i=1}^{n}(\sigma_{i}+\omega_{i}\kappa_{i})p_{i}.

The feasible set in (14) is a Cartesian product. Maximizing each linear term over its interval gives the stated realizations and value.  

For a fixed power factor setting, σi+ωiκi\sigma_{i}+\omega_{i}\kappa_{i} is the contribution of one unit of active power at node ii to the affine expression for the aggregate voltage deviation. It accounts for the reactive power that accompanies the active power. A positive coefficient makes the largest feasible injection worst for the operator, while a negative coefficient makes zero injection worst.

III-C Cancellation Settings and Feasibility

We call a vector a cancellation setting if it satisfies σi+ωiκi=0\sigma_{i}+\omega_{i}\kappa_{i}=0 for every i𝒩i\in\mathcal{N}. Such a vector cancels every injection coefficient in (25). The componentwise cancellation conditions alone do not guarantee feasibility. The resulting vector must satisfy the range and robust voltage constraints in (15) and the nominal orthant condition in Definition 2.

If ωi=0\omega_{i}=0 and σi0\sigma_{i}\leq 0, the iith summand in (25) is zero for every feasible κi\kappa_{i}, so this coordinate can be chosen to help satisfy the coupled constraints. If the coefficients at all other coordinates are canceled and the resulting vector belongs to 𝒦\mathcal{K}^{\bullet}, the same minimax value ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} follows. If ωi=0\omega_{i}=0 and σi>0\sigma_{i}>0, the summand is σi/1+κi2\sigma_{i}/\sqrt{1+\kappa_{i}^{2}} and cannot be reduced to zero by cancellation. In this case, the operator must minimize the exact value (18) over 𝒦\mathcal{K}.

Theorem 1 (Robust minimax solution in closed form).

Assume ωi0\omega_{i}\neq 0 for all i𝒩i\in\mathcal{N}. Define

κiσiωi,i𝒩.\kappa_{i}^{*}\triangleq-\frac{\sigma_{i}}{\omega_{i}},\qquad i\in\mathcal{N}.

Suppose 𝛋𝒦\boldsymbol{\kappa}^{*}\in\mathcal{K}^{\bullet}. Then 𝛋\boldsymbol{\kappa}^{*} is a global solution of (19), and

min𝜿𝒦I(𝜿)=I(𝜿)=||𝒎||1.\min_{\boldsymbol{\kappa}\in\mathcal{K}}I(\boldsymbol{\kappa})=I(\boldsymbol{\kappa}^{*})=\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}.

Its original power factor representation is

αi\displaystyle\alpha_{i}^{*} =11+(κi)2=11+(σi/ωi)2,\displaystyle=\frac{1}{\sqrt{1+(\kappa_{i}^{*})^{2}}}=\frac{1}{\sqrt{1+(\sigma_{i}/\omega_{i})^{2}}}, (26a)
ξi\displaystyle\xi_{i}^{*} =sign(κi)=sign(σiωi),i𝒩.\displaystyle=\operatorname{sign}(\kappa_{i}^{*})=-\operatorname{sign}(\sigma_{i}\omega_{i}),\qquad i\in\mathcal{N}. (26b)

Every 𝐩𝒫(𝛋)\boldsymbol{p}^{*}\in\mathcal{P}(\boldsymbol{\kappa}^{*}) is a worst-case realization. In particular, the choice

pi=11+(κi)2p_{i}^{*}=\frac{1}{\sqrt{1+(\kappa_{i}^{*})^{2}}}

with qi=κipiq_{i}^{*}=\kappa_{i}^{*}p_{i}^{*} saturates every normalized apparent power constraint, i.e., (pi)2+(qi)2=1(p_{i}^{*})^{2}+(q_{i}^{*})^{2}=1 for all ii.

Proof: For every ii,

σi+ωiκi=0,\sigma_{i}+\omega_{i}\kappa_{i}^{*}=0,

so Proposition 2 gives I(𝜿)=||𝒎||1I(\boldsymbol{\kappa}^{*})=\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}. For every 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}, the feasible realization 𝒑=𝟎\boldsymbol{p}=\boldsymbol{0} gives

w~(𝟎,𝜿)=||𝒎||1.\tilde{w}(\boldsymbol{0},\boldsymbol{\kappa})=\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}.

Hence I(𝜿)||𝒎||1I(\boldsymbol{\kappa})\geq\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} for every 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}, and 𝜿\boldsymbol{\kappa}^{*} attains this global lower bound. The formulas for (𝜶,𝝃)(\boldsymbol{\alpha}^{*},\boldsymbol{\xi}^{*}) follow from Lemma 2. Since every coefficient in Proposition 2 is zero at 𝜿\boldsymbol{\kappa}^{*}, every feasible 𝒑\boldsymbol{p}^{*} attains the same inner value.  

If the cancellation vector does not belong to 𝒦\mathcal{K}^{\bullet}, the theorem does not necessarily solve the exact minimax problem. It still cancels the nominal affine branch, but another voltage sign pattern may determine I(𝜿)I(\boldsymbol{\kappa}). In that case, the exact objective (18) must be minimized over 𝒦\mathcal{K}.

The operator cannot control the active power injections, but it controls the reactive power that accompanies each unit of active power. The setting κi=σi/ωi\kappa_{i}^{*}=-\sigma_{i}/\omega_{i} cancels the contribution of the iith injection to the nominal affine branch of the aggregate voltage deviation. When 𝜿𝒦\boldsymbol{\kappa}^{*}\in\mathcal{K}^{\bullet}, no feasible injection raises the aggregate deviation above the fixed initial offset ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}. This is the sense in which the minimax power factors neutralize worst-case active power injections.

The minimax power factors (26) depend explicitly on the topology-dependent quantities 𝝈\boldsymbol{\sigma} and 𝝎\boldsymbol{\omega}. Moreover, (26) is identical to the recommended power factor settings prescribed by [33, 28]. Thus, these empirical rules can be interpreted as robust reactive power responses to worst-case active power perturbations.

IV Numerical Results

The four test networks are the 37-bus Hawaii and 200-bus Illinois synthetic grids from Texas A&M [7], the 73-bus RTS-GMLC [6], and the IEEE 118-bus case from MATPOWER [44]. In every table, |PQ|\left|PQ\right| counts participating PQ nodes. Thus, for example, RTS-GMLC has 40 participating nodes among its 73 buses. The voltage sensitivities are derivatives of the nonlinear AC power flow equations at each initial operating point, while the optimization experiments use the resulting linear model. We model each optimization problem described below in JuMP [11] and solve it with Gurobi [15].

IV-A Numerical Check of the Cancellation Setting

Table I compares the analytical cancellation setting 𝜿\boldsymbol{\kappa}^{*} from Theorem 1 with a numerical implementation check that does not use the ratio σi/ωi-\sigma_{i}/\omega_{i}. We compute

𝜿numargmin𝜿range(𝒌)i=1n(σi+ωiκi)2,\boldsymbol{\kappa}^{\mathrm{num}}\in\operatorname*{arg\,min}_{\boldsymbol{\kappa}\in\operatorname{range}(\boldsymbol{k})}\sum_{i=1}^{n}(\sigma_{i}+\omega_{i}\kappa_{i})^{2}, (27)

where range(𝒌)\operatorname{range}(\boldsymbol{k}) is the lifted box in (13). This is the program used to produce Table I. Its Hessian is 2diag(ω12,,ωn2)2\operatorname{diag}(\omega_{1}^{2},\ldots,\omega_{n}^{2}), so it is a convex quadratic least squares problem with box constraints. The program checks the numerical model of the cancellation equations and the inverse map to the power factor variables.

A direct numerical solution of (19) must account for every feasible voltage sign pattern. The operator setting also changes both the voltage response and the owner’s active power bounds. Across all four networks, 𝜿num\boldsymbol{\kappa}^{\mathrm{num}} and its power factor representation agree with the analytical setting at solver precision. This agreement verifies the cancellation computation but is not independent evidence of global minimax optimality. When 𝜿𝒦\boldsymbol{\kappa}^{*}\in\mathcal{K}^{\bullet}, Theorem 1 proves global optimality. Section IV-D separately evaluates the fixed cancellation setting and solves the complete minimax problem directly.

Table I: The numerical cancellation check (27) recovers the analytical settings at solver precision.
Test Network Relative Error Runtime
Name |PQ|\left|PQ\right| 𝜶\boldsymbol{\alpha}^{*} 𝜿\boldsymbol{\kappa}^{*}
Hawaii 37 27 1.26×10101.26\times 10^{-10} 8.71×10108.71\times 10^{-10} 0.05 s
RTS-GMLC 40 1.86×1071.86\times 10^{-7} 3.15×1063.15\times 10^{-6} 0.002 s
IEEE 118 64 1.92×1081.92\times 10^{-8} 1.49×1071.49\times 10^{-7} 0.002 s
Illinois 200 162 2.89×10142.89\times 10^{-14} 5.67×10135.67\times 10^{-13} 0.012 s

We also apply the injections that saturate the apparent power constraints at 𝜿\boldsymbol{\kappa}^{*} to the nonlinear AC power flow equations and compare the resulting voltages with the linear approximation. When 𝜿𝒦\boldsymbol{\kappa}^{*}\in\mathcal{K}^{\bullet}, Theorem 1 identifies these injections as representative worst case realizations. Otherwise, they are boundary test points without that guarantee. We measure agreement using the maximum absolute voltage magnitude difference across participating nodes and the relative difference between the two aggregate deviations. At a uniform DER rating s¯=0.01\bar{s}=0.01 p.u. per participating node, the first metric ranges from 5.4×1065.4\times 10^{-6} to 2.1×1032.1\times 10^{-3} p.u. across the four networks. The second ranges from 0.01%0.01\% to 6.1%6.1\%. Both metrics come from evaluating the injections at the boundary of the feasible set with the linear and nonlinear models. The discrepancies increase with the uniform apparent power rating s¯\bar{s}. On the Illinois 200-bus case, the maximum voltage magnitude difference reaches 0.0570.057 p.u. at s¯=0.05\bar{s}=0.05 p.u. Thus, the linear model is accurate for small deviations from the initial operating point, while the analytical result may be less applicable to large injections under the nonlinear AC power flow model. The cancellation result fixes the aggregate deviation at its initial offset under its assumptions, but it does not require every voltage to remain at its initial value.

IV-B Robust Objective Versus the Minimum Operator Power Factor

We next examine how the nominal orthant expression varies with the minimum operator power factor α¯\underline{\alpha} that bounds the lifted action set. Let 𝜿^\widehat{\boldsymbol{\kappa}} be the cancellation setting projected onto the lifted box allowed by α¯\underline{\alpha}. Define the excess above the fixed initial offset as

V(𝜿^)i=1n[σi+ωiκ^i]+1+κ^i2.V^{\bullet}(\widehat{\boldsymbol{\kappa}})\triangleq\sum_{i=1}^{n}\frac{[\sigma_{i}+\omega_{i}\widehat{\kappa}_{i}]_{+}}{\sqrt{1+\widehat{\kappa}_{i}^{2}}}.

Fig. 2 plots ||𝒎||1+V(𝜿^)\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}+V^{\bullet}(\widehat{\boldsymbol{\kappa}}) for α¯[0.7,0.99]\underline{\alpha}\in[0.7,0.99]. When the unconstrained cancellation setting 𝜿\boldsymbol{\kappa}^{*} is realizable within the floor, every summand vanishes and the value equals ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}. As α¯\underline{\alpha} tightens and clips 𝜿\boldsymbol{\kappa}^{*}, the plotted expression increases, quantifying the regulation capability forgone by restricting reactive power. The floor at which the value departs from ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} is network dependent and is governed by the smallest cancellation power factor. The value rises sharply as α¯1\underline{\alpha}\to 1, where the operator is driven to unity power factor and retains no reactive authority.

IV-C Comparison With a Centralized Curtailment Benchmark

As an operational reference, we formulate an approximate optimal power flow model that minimizes active power curtailment. Maximizing the total normalized active power is equivalent to minimizing curtailment from the available upper bounds in 𝒫\mathcal{P}. The centralized planner selects the active power and reactive to active power ratios jointly. In particular, we solve

max𝒑𝒫,𝜿𝒦𝟏𝒑s.t.𝒎¯𝑺~(𝜿)𝒑𝒎¯.\max_{\boldsymbol{p}\in\mathcal{P},\boldsymbol{\kappa}\in\mathcal{K}}\boldsymbol{1}^{\top}\boldsymbol{p}\quad\text{s.t.}\quad\underline{\boldsymbol{m}}\leq\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\leq\overline{\boldsymbol{m}}. (28)

The centralized benchmark (28) gives one planner complete knowledge of the active and reactive power decisions. Its objective differs from the voltage deviation objective in (12). It provides a conventional curtailment reference for comparing the voltage behavior that results from centralized coordination with the behavior of the robust power factor setting.

\begin{overpic}[figures/fig7_game_value.pdf] \put(0.0,22.0){\rotatebox{90.0}{\hbox{\pagecolor{white}\parbox[c][18.00005pt][c]{124.20021pt}{\centering\scriptsize$\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}+V^{\bullet}(\widehat{\boldsymbol{\kappa}})$ (p.u.)\@add@centering}}}} \put(28.0,-0.5){\hbox{\pagecolor{white}\parbox[c][11.00008pt][c]{213.89832pt}{\centering\scriptsize$\underline{\alpha}$ (minimum operator power factor)\@add@centering}}} \end{overpic}
Figure 2: Nominal orthant expression as a function of the minimum operator power factor α¯\underline{\alpha}, where 𝜿^\widehat{\boldsymbol{\kappa}} is the constrained cancellation setting. The value is flat at ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} while the cancellation power factors are realizable within the floor and increases once the floor clips 𝜿\boldsymbol{\kappa}^{*}.

We compare the centralized curtailment solution with the cancellation setting in Fig. 3 using the Hawaii and RTS-GMLC test networks. We show a representative realization that saturates each apparent power constraint at the cancellation setting. This is a worst case realization when the setting lies in 𝒦\mathcal{K}^{\bullet}. On Hawaii, the centralized planner injects slightly more total active power than the cancellation realization (𝟏𝒑=26.7\boldsymbol{1}^{\top}\boldsymbol{p}=26.7 versus 25.025.0 p.u.), but incurs substantially larger voltage deviations. The mean distance to nominal is 0.0890.089 p.u. under the centralized benchmark and 0.0270.027 p.u. at the cancellation setting. Indeed, the realized 1\ell_{1} deviation, 27×0.0270.7227\times 0.027\approx 0.72 p.u., matches the robust minimax value ||𝒎||1=0.71\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}=0.71 p.u. predicted by Theorem 1. On RTS-GMLC, the ordering reverses. The mean distance is 0.2350.235 p.u. at the cancellation setting and 0.0310.031 p.u. under the centralized benchmark. At full normalized rating, 𝒦\mathcal{K} is empty under the voltage limits supplied with this case. Therefore Theorem 1 is not globally optimal on this instance.

Figure 3: Comparison of a boundary realization at the cancellation setting with the centralized benchmark (28) on the Hawaii (top) and RTS-GMLC (bottom) networks. The Hawaii setting is a feasible robust policy. The RTS-GMLC setting is only a diagnostic because 𝒦\mathcal{K} is empty at this rating. In each panel, 𝒑\boldsymbol{p}^{*} and 𝒒\boldsymbol{q}^{*} denote the normalized active and reactive outputs of the displayed solution, and 𝒗\boldsymbol{v}^{*} denotes its voltage magnitudes. The vectors 𝒗0\boldsymbol{v}^{0} and 𝒗\boldsymbol{v}^{\bullet} are the initial and nominal voltage profiles. The apparent power constraints at each node are the unit ball in the complex plane.

IV-D Rating Feasibility and the Nominal Orthant

On the nominal orthant subset 𝒦\mathcal{K}^{\bullet} of Definition 2, where the owner’s entire feasible set 𝒫(𝜿)\mathcal{P}(\boldsymbol{\kappa}) remains in the nominal orthant, Theorem 1 shows that the cancellation setting 𝜿\boldsymbol{\kappa}^{*} attains the global lower bound ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} on the worst case objective. The operator cannot reduce its worst case deviation below this value because zero injection is always feasible. No owner realization can raise the deviation above it at 𝜿\boldsymbol{\kappa}^{*}. Thus, the exact value in (18) satisfies I(𝜿)=||𝒎||1I(\boldsymbol{\kappa}^{*})=\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}.

We first fix the operator action at 𝜿\boldsymbol{\kappa}^{*} and compute the inner maximization (18) exactly as a mixed integer program. This is the inner maximization of the game. It evaluates I(𝜿)I(\boldsymbol{\kappa}^{*}) without solving the outer minimization over 𝒦\mathcal{K}. We begin with a uniform device rating s¯=1\bar{s}=1 p.u. on the system base at every participating node. The ratio I(𝜿)/||𝒎||1I(\boldsymbol{\kappa}^{*})/\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} is 1.001.00 for Hawaii, 2.472.47 for Illinois 200, 13.0513.05 for RTS-GMLC, and 15.2415.24 for IEEE 118. A ratio above one means that an injection near the device rating can push the voltage residual across the nominal profile into another orthant. The value ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} is then only the nominal orthant prediction at the cancellation setting, while its exact inner value is strictly larger. The choice s¯=1\bar{s}=1 p.u. is a deliberate stress test in which every participating node can inject apparent power equal to the system base. The robust model does not require this rating. This fixed action calculation alone does not solve the outer minimization or establish that 𝜿\boldsymbol{\kappa}^{*} belongs to 𝒦\mathcal{K}.

The quantity s¯i\bar{s}_{i}, introduced in Section II-A, is the physical apparent power rating at node ii expressed on the system base. In practice, these ratings are far below the system base. On a 100 MVA base, s¯i=0.05\bar{s}_{i}=0.05 to 0.10.1 p.u. corresponds to 5 to 10 MVA of devices at every participating node, or hundreds of MVA of aggregate DER capacity on these systems. Normalizing each device output by s¯i\bar{s}_{i} is equivalent to scaling the corresponding columns of the voltage sensitivity matrices 𝑹\boldsymbol{R} and 𝑿\boldsymbol{X} by s¯i\bar{s}_{i}. This scaling leaves (𝜿,𝜶,𝝃)(\boldsymbol{\kappa}^{*},\boldsymbol{\alpha}^{*},\boldsymbol{\xi}^{*}) and the nominal value ||𝒎||1\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} unchanged because s¯i\bar{s}_{i} cancels in the ratio 𝝈/𝝎\boldsymbol{\sigma}/\boldsymbol{\omega}. Table II reports I(𝜿)/||𝒎||1I(\boldsymbol{\kappa}^{*})/\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} as a uniform rating s¯\bar{s} is reduced. The fixed cancellation value equals the lower bound for Hawaii at all reported ratings and for Illinois 200 by s¯=0.1\bar{s}=0.1. RTS-GMLC and IEEE 118 approach the lower bound with ratios 1.141.14 and 1.221.22 at s¯=0.05\bar{s}=0.05. For RTS-GMLC, (23) gives s¯0.0151\bar{s}\leq 0.0151 p.u. at 𝜿\boldsymbol{\kappa}^{*}, but 𝒦\mathcal{K}^{\bullet} remains empty at every positive rating because three initial voltages equal their upper limits and the corresponding robust constraints are incompatible. The power factors are invariant to within 101410^{-14} under changes in s¯\bar{s}. These values describe the performance of the cancellation setting.

Table II: Worst-case ratio I(𝜿)/||𝒎||1I(\boldsymbol{\kappa}^{*})/\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1} at the fixed cancellation setting versus the apparent power rating s¯\bar{s} at each node (system p.u.). A ratio of 1.001.00 means that its value equals the universal lower bound.
Network s¯=1\bar{s}=1 0.50.5 0.20.2 0.10.1 0.050.05
Hawaii 37 1.00 1.00 1.00 1.00 1.00
RTS-GMLC 13.05 6.65 2.83 1.62 1.14
IEEE 118 15.24 7.65 3.13 1.77 1.22
Illinois 200 2.47 1.45 1.03 1.00 1.00

We next solve the complete outer problem (19) by constraint generation over voltage sign patterns. The master problem enforces the full operator set 𝒦\mathcal{K} and provides a global lower bound. The exact mixed integer inner problem finds a worst case sign pattern and provides an upper bound. Gurobi solves both the global nonconvex master and the inner problem. Agreement of the bounds certifies the minimax value.

For a concise comparison, define

L||𝒎||1,CI(𝜿),Vmin𝜿𝒦I(𝜿).L\triangleq\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1},\qquad C\triangleq I(\boldsymbol{\kappa}^{*}),\qquad V\triangleq\min_{\boldsymbol{\kappa}\in\mathcal{K}}I(\boldsymbol{\kappa}).

Table III reports the representative rating s¯=0.05\bar{s}=0.05 p.u. with α¯=0.7\underline{\alpha}=0.7. This power factor floor is also the lower endpoint used in Fig. 2. The cancellation value CC is a fixed action diagnostic even when 𝜿\boldsymbol{\kappa}^{*} is inadmissible. The direct value VV is reported only when 𝒦\mathcal{K} is nonempty.

Table III: Direct minimax comparison at s¯=0.05\bar{s}=0.05 p.u. and α¯=0.7\underline{\alpha}=0.7. Here, C=I(𝜿)C=I(\boldsymbol{\kappa}^{*}), V=min𝜿𝒦I(𝜿)V=\min_{\boldsymbol{\kappa}\in\mathcal{K}}I(\boldsymbol{\kappa}), and L=||𝒎||1L=\left|\left|\boldsymbol{m}^{\bullet}\right|\right|_{1}. A dash indicates that the operator set is empty.
Network Set relation C/LC/L V/LV/L
Hawaii 37 𝜿𝒦\boldsymbol{\kappa}^{*}\in\mathcal{K}^{\bullet} 1.00 1.00
RTS-GMLC 𝒦=\mathcal{K}=\varnothing 1.14
IEEE 118 𝜿𝒦\boldsymbol{\kappa}^{*}\notin\mathcal{K} 1.22 1.00
Illinois 200 𝜿𝒦\boldsymbol{\kappa}^{*}\in\mathcal{K}^{\bullet} 1.00 1.00

The global lower and upper bounds agree at solver precision for the three nonempty cases. On Hawaii and Illinois 200, the cancellation setting belongs to 𝒦\mathcal{K}^{\bullet}, and the direct solution confirms the value established by Theorem 1. On IEEE 118, the cancellation setting is not an admissible operator action at this power factor floor. The theorem therefore does not apply to that setting. A different admissible action nevertheless attains V=LV=L, which shows that the nominal offset can remain achievable outside the cancellation regime. For RTS-GMLC, no power factor setting keeps the full reference box (8) within the voltage limits supplied with the case. Thus, 𝒦\mathcal{K} is empty, the assumed nonempty operator set does not hold, and this model instance has no minimax value. Its reported cancellation ratio is not the value of a feasible policy.

Finally, the cancellation setting can be computed well beyond these representative cases. Across networks ranging from 1414 to 20002000 buses, the relative error between (26) and the numerical implementation check remains between 10710^{-7} and 101410^{-14}, with each instance solved in under one second.

V Discussion and Conclusion

Here, we briefly discuss the results and their implications.

V-A Commentary on Results

V-A1 Intuition

The apparent power limit links the active power capacity with the reactive response available for voltage regulation. A larger power factor reserves more capacity for active power but gives the operator less reactive authority. Section IV-B quantifies the resulting increase in the nominal orthant objective as the minimum allowed power factor rises. The cancellation setting selects the reactive response needed to remove each active injection coefficient when the setting is feasible.

V-A2 Computational tractability

The numerical results in Section IV show that the minimax setting is exceptionally tractable in the nominal orthant regime. The power factors are available in closed form from (26) and require no optimization. The numerical check in (27) is a convex quadratic least squares problem that Gurobi [15] solves in milliseconds. It verifies the implementation and is not a substitute for a direct numerical minimax solution. The direct outer solves at s¯=0.05\bar{s}=0.05 confirm the analytical value on Hawaii and Illinois 200. They also find a different optimal action on IEEE 118, where the cancellation setting is inadmissible. Outside the nominal orthant regime, computing the minimax action requires the more demanding global constraint generation procedure.

V-A3 Alignment with practice

According to [17, 5.2, Table 7], the recommended maximum reactive power injection/absorption capability of a DER for “normal operating performance” is 44% of the maximum magnitude complex power injection. That is, the default α¯\underline{\alpha} is given as α¯=cos(arcsin(0.44))=0.898\underline{\alpha}=\cos(\arcsin(0.44))=0.898. This provides a value based on IEEE 1547-2018 for the power factor floor α¯\underline{\alpha} in Assumption 1.

Additionally, empirical research has obtained equations for recommended power factor control parameters that resemble the cancellation power factors (26). The “recommended” settings in [33, 28], which were empirically determined, are identical to the analytical settings derived here. When the cancellation setting belongs to 𝒦\mathcal{K}^{\bullet}, Theorem 1 gives these settings a robust minimax interpretation. Across our test networks, the median cancellation power factors range from 0.920.92 to 0.990.99 and lie predominantly above the IEEE 1547-2018 default of 0.8980.898.

V-B Limitations and Future Work

V-B1 Structural constraints for different reactive power controls

Power factor control is the default reactive power control mode in IEEE Standard 1547-2018 [17]. Thus, the proposed power factor game provides a practical starting point for competitive analyses of inverter control. However, the operator action set we have analyzed does not represent the control curves available under other modes specified by [17]. Future work should consider the other known constraints of control modes such as volt-var. The minimax reactive power response obtained here may provide a target for those controls, but their direct interaction with active power requires different operator action sets.

V-B2 Improved models of the power flow equations

The closed form analysis relies on a first-order voltage model, and the nonlinear validation shows that its accuracy decreases as the injection scale grows. Future work should consider other linear models [16, 21], convex power flow relaxations, and full nonconvex AC formulations. The orthant reduction or classical duality arguments may not apply directly, but gradient methods such as [31] may support nonlinear formulations. When the network model is unknown, voltage sensitivities can instead be estimated from measurements [14, 39] and used within the present game.

V-B3 Development of improved strategy profiles

An important direction for future work is to enrich the active power uncertainty and attacker models. In the power factor game, all active power agents are aggregated into the inner maximization in (18). More realistic future work can consider multiple grid aggregators, distributional uncertainty, or multistage attacker models, particularly when the grid topology and measurements from Section V-B2 are uncertain.

A further important extension is the fully compromised setting, in which the adversary directly selects the complex power injection sis_{i}, |si|1\left|s_{i}\right|\leq 1, at a compromised subset of nodes 𝒞𝒩\mathcal{C}\subseteq\mathcal{N}, while the operator retains authority over the power factor parameters only at the uncompromised nodes 𝒩𝒞\mathcal{N}\setminus\mathcal{C}. The orthant-wise machinery of Section III partially extends to this setting. On each orthant, the worst-case contribution of a compromised node i𝒞i\in\mathcal{C} becomes a linear maximization over the half-disk {si:|si|1,Re{si}0}\{s_{i}:\left|s_{i}\right|\leq 1,\ \operatorname{Re}\left\{s_{i}\right\}\geq 0\}, yielding closed form terms such as σi2+ωi2\sqrt{\sigma_{i}^{2}+\omega_{i}^{2}} (when σi0\sigma_{i}\geq 0) that the operator cannot influence. Characterizing the minimax solutions of the resulting defender–attacker partition game would quantify the value of reactive power channel integrity.

Acknowledgement

The authors thank Santiago Grijalva for his comments on an early version of this work.

References
  • [1] K. C. Almeida and F. S. Senna (2011) Optimal active-reactive power dispatch under competition via bilevel programming. IEEE Transactions on Power Systems 26 (4), pp. 2345–2354. External Links: Document, ISSN 1558-0679 Cited by: §I-B2.
  • [2] (2020) ANSI C84.1-2020 American national standard for electric power systems and equipment–voltage ratings (60 Hz). Note: ANSI Cited by: §I.
  • [3] M. A. Arif, M. Ndoye, G. V. Murphy, and K. Aganah (2017) A cooperative game theory algorithm for distributed reactive power reserve optimization and voltage profile improvement. In 49th North American Power Symposium (NAPS), External Links: Document Cited by: §I-B2.
  • [4] D. B. Arnold, M. Sankur, R. Dobbe, K. Brady, D. S. Callaway, and A. Von Meier (2016) Optimal dispatch of reactive power for voltage regulation and balancing in unbalanced distribution systems. In IEEE Power and Energy Society General Meeting (PESGM), External Links: Document Cited by: §I-B1, §I.
  • [5] D. Arnold, S. S. Saha, S. Ngo, C. Roberts, A. Scaglione, N. G. Johnson, S. Peisert, and D. Pinney (2023) Adaptive control of distributed energy resources for distribution grid voltage stability. IEEE Transactions on Power Systems 38 (1), pp. 129–141. External Links: Document, ISSN 1558-0679 Cited by: §I-B1, §I.
  • [6] C. Barrows, A. Bloom, A. Ehlen, J. Ikaheimo, J. Jorgenson, D. Krishnamurthy, J. Lau, B. McBennett, M. O’Connell, E. Preston, A. Staid, G. Stephen, and J. Watson (2020) The IEEE reliability test system: a proposed 2019 update. IEEE Transactions on Power Systems 35 (1), pp. 119–127. External Links: Document, ISSN 0885-8950 Cited by: §IV.
  • [7] A. B. Birchfield, T. Xu, K. M. Gegner, K. S. Shetye, and T. J. Overbye (2017) Grid structural characteristics as validation criteria for synthetic networks. IEEE Transactions on Power Systems 32 (4), pp. 3258–3265. External Links: Document, ISSN 1558-0679 Cited by: §IV.
  • [8] M. Dahan, S. Amin, and P. Jaillet (2022) Probability distributions on partially ordered sets and network interdiction games. Mathematics of Operations Research 47 (1), pp. 458–484. External Links: Document Cited by: §I-B2.
  • [9] M. Dahan and S. Amin (2015) Network flow routing under strategic link disruptions. In 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 353–360. External Links: Document Cited by: §I-B2.
  • [10] A. R. del Nozal, L. Orihuela, and P. Millàn (2018) A game-theoretic framework for distributed voltage regulation over HVDC grids. In European Control Conference (ECC), pp. 1785–1790. External Links: Document Cited by: §I-B2.
  • [11] I. Dunning, J. Huchette, and M. Lubin (2017) JuMP: a modeling language for mathematical optimization. SIAM Review 59 (2). External Links: Document Cited by: §IV.
  • [12] M. Farivar, L. Chen, and S. Low (2013) Equilibrium and dynamics of local voltage control in distribution systems. In 52nd IEEE Conference on Decision and Control, pp. 4329–4334. External Links: Document Cited by: §I-B2.
  • [13] J. Fernández and S. Grijalva (2022) Implicit reactive power flow representation to support distribution system DER energy scheduling. In 54th North American Power Symposium (NAPS), External Links: Document Cited by: §II-A3.
  • [14] R. Gupta, F. Sossan, and M. Paolone (2022) Model-less robust voltage control in active distribution networks using sensitivity coefficients estimated from measurements. Electric Power Systems Research 212, pp. 108547. Note: presented at the 22nd Power Systems Computation Conference (PSCC) External Links: Document, ISSN 0378-7796 Cited by: §I-B1, §I, §V-B2.
  • [15] Gurobi Optimization, LLC (2023) Gurobi optimizer reference manual. External Links: Link Cited by: §IV, §V-A2.
  • [16] J. Huang, B. Cui, X. Zhou, and A. Bernstein (2021) A generalized LinDistFlow model for power flow analysis. In 60th IEEE Conference on Decision and Control (CDC), pp. 3493–3500. External Links: Document Cited by: §V-B2.
  • [17] IEEE (2018) IEEE standard for interconnection and interoperability of distributed energy resources with associated electric power systems interfaces. IEEE Std 1547-2018 (Revision of IEEE Std 1547-2003), pp. 1–138. External Links: Document Cited by: §I-B1, §I-B1, §I, §V-A3, §V-B1, Remark 1, Remark 1.
  • [18] T. Jiang, X. Dong, R. Zhang, and X. Li (2023) Strategic active and reactive power scheduling of integrated community energy systems in day-ahead distribution electricity market. Applied Energy 336. External Links: Document, ISSN 03062619 Cited by: §I-B2.
  • [19] Y. Liu, P. Ning, and M. K. Reiter (2011) False data injection attacks against state estimation in electric power grids. ACM Transactions on Information and System Security 14 (1), pp. 13:1–13:33. Cited by: Remark 1.
  • [20] Z. Liu, S. You, X. Zhou, G. Ding, and L. Chen (2020) Signal-anticipation in local voltage control in distribution systems. IEEE Transactions on Smart Grid 11 (1), pp. 233–246. External Links: Document, ISSN 1949-3061 Cited by: §I-B1.
  • [21] I. Losada Carreno, A. Scaglione, S. S. Saha, D. Arnold, S. Ngo, and C. Roberts (2023) Log(v) 3LPF: a linear power flow formulation for unbalanced three-phase distribution systems. IEEE Transactions on Power Systems 38 (1), pp. 100–113. External Links: Document, ISSN 1558-0679 Cited by: §V-B2.
  • [22] M. Mahmoodi, L. Blackhall, S. M. Noori R. A., A. Attarha, B. Weise, and A. Bhardwaj (2024) DER capacity assessment of active distribution systems using dynamic operating envelopes. IEEE Transactions on Smart Grid 15 (2), pp. 1778–1791. External Links: Document Cited by: §I.
  • [23] A. Menati, S. C. Chau, and M. Chen (2022) Competitive prediction-aware online algorithms for energy generation scheduling in microgrids. In Proceedings of the Thirteenth ACM International Conference on Future Energy Systems, e-Energy ’22, New York, NY, USA, pp. 383–394. External Links: Document, ISBN 978-1-4503-9397-3 Cited by: §I-B2.
  • [24] J. Milošević, M. Dahan, S. Amin, and H. Sandberg (2024) Strategic monitoring of networked systems with heterogeneous security levels. IEEE Transactions on Control of Network Systems 11 (3), pp. 1165–1176. External Links: Document Cited by: §I-B2.
  • [25] A. Mohsenian-Rad and A. Leon-Garcia (2011) Distributed internet-based load altering attacks against smart power grids. IEEE Transactions on Smart Grid 2 (4), pp. 667–674. Cited by: Remark 1.
  • [26] B. A. Robbins and A. D. Domínguez-García (2016) Optimal reactive power dispatch for voltage regulation in unbalanced distribution systems. IEEE Transactions on Power Systems 31 (4), pp. 2903–2913. External Links: Document, ISSN 1558-0679 Cited by: §I-B1, §I.
  • [27] B. A. Robbins, C. N. Hadjicostis, and A. D. Domínguez-García (2013) A two-stage distributed architecture for voltage control in power distribution systems. IEEE Transactions on Power Systems 28 (2), pp. 1470–1482. External Links: Document, ISSN 1558-0679 Cited by: §I-B1, §I-B1, §I.
  • [28] M. Rylander, M. J. Reno, J. E. Quiroz, F. Ding, H. Li, R. J. Broderick, B. Mather, and J. Smith (2016) Methods to determine recommended feeder-wide advanced inverter settings for improving distribution system performance. In 43rd IEEE Photovoltaic Specialists Conference (PVSC), Portland, OR, USA, pp. 1393–1398. External Links: Document Cited by: item 3, §III-C, §V-A3.
  • [29] A. Samadi, R. Eriksson, L. Söder, B. G. Rawn, and J. C. Boemer (2014) Coordinated active power-dependent voltage regulation in distribution grids with PV systems. IEEE Transactions on Power Delivery 29 (3), pp. 1454–1464. External Links: Document, ISSN 1937-4208 Cited by: §II-A3.
  • [30] P. Scarabaggio, R. Carli, and M. Dotoli (2022) Noncooperative equilibrium-seeking in distributed energy systems under AC power flow nonlinear constraints. IEEE Transactions on Control of Network Systems 9 (4), pp. 1731–1742. External Links: Document, ISSN 2325-5870 Cited by: §I-B2.
  • [31] F. Schäfer and A. Anandkumar (2019) Competitive gradient descent. In 33rd International Conference on Neural Information Processing Systems (NeurIPS), pp. 7625–7635. Cited by: §V-B2.
  • [32] D. Shelar and S. Amin (2017) Security assessment of electricity distribution networks under DER node compromises. IEEE Transactions on Control of Network Systems 4 (1), pp. 23–36. External Links: Document Cited by: §I-B2.
  • [33] J. Smith, M. Rylander, J. Boemer, R. J. Broderick, M. J. Reno, and B. Mather (2016) Analysis to inform CA grid integration rules for PV: final report on inverter settings for transmission and distribution system performance. California Solar Initiative. External Links: Document, Link Cited by: item 3, §III-C, §V-A3.
  • [34] S. Soltan, P. Mittal, and H. V. Poor (2018) BlackIoT: IoT botnet of high wattage devices can disrupt the power grid. In 27th USENIX Security Symposium, Baltimore, MD, USA, pp. 15–32. Cited by: Remark 1.
  • [35] P. Srivastava, R. Haider, V. J. Nair, V. Venkataramanan, A. M. Annaswamy, and A. K. Srivastava (2023) Voltage regulation in distribution grids: A survey. Annual Reviews in Control 55, pp. 165–181. External Links: Document, ISSN 13675788 Cited by: §I.
  • [36] S. Tasnim, C. R. Sarimuthu, B. L. Lan, and C. P. Tan (2023) A game theory approach for OLTC voltage control operation in an active distribution network. Electric Power Systems Research 214. External Links: Document, ISSN 0378-7796 Cited by: §I-B2.
  • [37] Y. Wang, W. Saad, A. I. Sarwat, and C. S. Hong (2018) Reactive power compensation game under prospect-theoretic framing effects. IEEE Transactions on Smart Grid 9 (5), pp. 4181–4193. External Links: Document, ISSN 1949-3061 Cited by: §I-B1.
  • [38] J. Yang, W. Tushar, T. K. Saha, M. R. Alam, and Y. Li (2022) Prosumer-driven voltage regulation via coordinated real and reactive power control. IEEE Transactions on Smart Grid 13 (2), pp. 1441–1452. External Links: Document, ISSN 1949-3061 Cited by: §I-B1, §I-B2, §I-B2.
  • [39] C. Yeh, J. Yu, Y. Shi, and A. Wierman (2024) Online learning for robust voltage control under uncertain grid topology. IEEE Transactions on Smart Grid 15 (5), pp. 4754–4764. External Links: Document Cited by: §V-B2.
  • [40] X. Zhou, E. Dall’Anese, L. Chen, and K. Baker (2017) Incentive-based voltage regulation in distribution networks. In American Control Conference (ACC), pp. 2732–2738. External Links: Document Cited by: §I-B1, §I-B1.
  • [41] X. Zhou, E. Dall’Anese, L. Chen, and A. Simonetto (2018) An incentive-based online optimization framework for distribution grids. IEEE Transactions on Automatic Control 63 (7). External Links: Document, ISSN 1558-2523 Cited by: §I-B1, §I-B1.
  • [42] X. Zhou, M. Farivar, Z. Liu, L. Chen, and S. H. Low (2021) Reverse and forward engineering of local voltage control in distribution networks. IEEE Transactions on Automatic Control 66 (3), pp. 1116–1128. External Links: Document, ISSN 1558-2523 Cited by: §I-B1.
  • [43] X. Zhou, J. Tian, L. Chen, and E. Dall’Anese (2016) Local voltage control in distribution networks: A game-theoretic perspective. In 48th North American Power Symposium (NAPS), External Links: Document Cited by: §I-B1, §I-B2.
  • [44] R. D. Zimmerman, C. E. Murillo-Sánchez, and R. J. Thomas (2011) MATPOWER: steady-state operations, planning, and analysis tools for power systems research and education. IEEE Transactions on Power Systems 26 (1), pp. 12–19. External Links: Document Cited by: §IV.

-C Proof of Lemma 1

Proof: Fix i𝒩i\in\mathcal{N}. By definition,

qi=ξiαi1αi2pi,q_{i}=\frac{\xi_{i}}{\alpha_{i}}\sqrt{1-\alpha_{i}^{2}}\,p_{i},

so

qi2=1αi2αi2pi2.q_{i}^{2}=\frac{1-\alpha_{i}^{2}}{\alpha_{i}^{2}}\,p_{i}^{2}.

Hence

pi2+qi2=pi2(1+1αi2αi2)=pi2αi2.p_{i}^{2}+q_{i}^{2}=p_{i}^{2}\left(1+\frac{1-\alpha_{i}^{2}}{\alpha_{i}^{2}}\right)=\frac{p_{i}^{2}}{\alpha_{i}^{2}}.

Therefore, if pi>0p_{i}>0,

pipi2+qi2=pi|pi|/αi=αi,\frac{p_{i}}{\sqrt{p_{i}^{2}+q_{i}^{2}}}=\frac{p_{i}}{|p_{i}|/\alpha_{i}}=\alpha_{i},

since pi0p_{i}\geq 0. The admissibility condition ξi=0\xi_{i}=0 if and only if αi=1\alpha_{i}=1 also gives sign(qi)=ξi\operatorname{sign}(q_{i})=\xi_{i}. Finally, pi=0p_{i}=0 directly implies qi=0q_{i}=0 for every admissible setting.  

-D Proof of Lemma 2

Proof: Fix (𝜶,𝝃)𝒜(\boldsymbol{\alpha},\boldsymbol{\xi})\in\mathcal{A} and let 𝜿=𝒌(𝜶,𝝃)\boldsymbol{\kappa}=\boldsymbol{k}(\boldsymbol{\alpha},\boldsymbol{\xi}). The admissibility rule gives ξi2=1\xi_{i}^{2}=1 when αi<1\alpha_{i}<1 and ξi=0\xi_{i}=0 when αi=1\alpha_{i}=1. Therefore, the inverse in (17) recovers

11+κi2=αi,sign(κi)=ξi.\frac{1}{\sqrt{1+\kappa_{i}^{2}}}=\alpha_{i},\qquad\operatorname{sign}(\kappa_{i})=\xi_{i}.

Also,

𝑺(𝜶,𝝃)=𝑹+𝑿diag(𝜿)=𝑺~(𝜿).\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})=\boldsymbol{R}+\boldsymbol{X}\operatorname{diag}(\boldsymbol{\kappa})=\boldsymbol{\tilde{S}}(\boldsymbol{\kappa}).

The range and robust voltage conditions that define 𝒜\mathcal{A} consequently imply 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K}. This proves that the map is well defined and injective.

Conversely, let 𝜿𝒦\boldsymbol{\kappa}\in\mathcal{K} and define (𝜶,𝝃)(\boldsymbol{\alpha},\boldsymbol{\xi}) by (17). Membership in range(𝒌)\operatorname{range}(\boldsymbol{k}) gives 𝜶¯𝜶𝟏\underline{\boldsymbol{\alpha}}\leq\boldsymbol{\alpha}\leq\boldsymbol{1}. It also gives ξi{±1}\xi_{i}\in\{\pm 1\} if αi<1\alpha_{i}<1 and ξi=0\xi_{i}=0 if αi=1\alpha_{i}=1. For each i𝒩i\in\mathcal{N},

ξiαi1αi2=sign(κi)(1+κi2)1/2111+κi2=κi.\frac{\xi_{i}}{\alpha_{i}}\sqrt{1-\alpha_{i}^{2}}=\frac{\operatorname{sign}(\kappa_{i})}{(1+\kappa_{i}^{2})^{-1/2}}\sqrt{1-\frac{1}{1+\kappa_{i}^{2}}}=\kappa_{i}.

Thus, 𝒌(𝜶,𝝃)=𝜿\boldsymbol{k}(\boldsymbol{\alpha},\boldsymbol{\xi})=\boldsymbol{\kappa} and 𝑺(𝜶,𝝃)=𝑺~(𝜿)\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})=\boldsymbol{\tilde{S}}(\boldsymbol{\kappa}). The robust voltage conditions in 𝒦\mathcal{K} then imply (𝜶,𝝃)𝒜(\boldsymbol{\alpha},\boldsymbol{\xi})\in\mathcal{A}. This proves surjectivity and hence bijectivity.

Finally, the recovered identity αi=(1+κi2)1/2\alpha_{i}=(1+\kappa_{i}^{2})^{-1/2} gives

𝒫(𝜶,𝝃)=i=1n[0,αi]=𝒫(𝜿).\mathcal{P}(\boldsymbol{\alpha},\boldsymbol{\xi})=\prod_{i=1}^{n}[0,\alpha_{i}]=\mathcal{P}(\boldsymbol{\kappa}).

For every 𝒑\boldsymbol{p} in this common feasible set, 𝑺(𝜶,𝝃)=𝑺~(𝜿)\boldsymbol{S}(\boldsymbol{\alpha},\boldsymbol{\xi})=\boldsymbol{\tilde{S}}(\boldsymbol{\kappa}) implies

w(𝒑,(𝜶,𝝃))=||𝒎𝑺~(𝜿)𝒑||1=w~(𝒑,𝜿).w(\boldsymbol{p},(\boldsymbol{\alpha},\boldsymbol{\xi}))=\left|\left|\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}\right|\right|_{1}=\tilde{w}(\boldsymbol{p},\boldsymbol{\kappa}).

 

-E Proof of Lemma 3

Proof: The range in (13) is a compact convex box. For each fixed 𝒑𝒫\boldsymbol{p}^{\prime}\in\mathcal{P},

𝑺~(𝜿)𝒑=𝑹𝒑+𝑿diag(𝒑)𝜿\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\boldsymbol{p}^{\prime}=\boldsymbol{R}\boldsymbol{p}^{\prime}+\boldsymbol{X}\operatorname{diag}(\boldsymbol{p}^{\prime})\boldsymbol{\kappa}

is affine in 𝜿\boldsymbol{\kappa}. Hence 𝒦\mathcal{K} is the intersection of the range box with closed affine halfspaces indexed by 𝒑𝒫\boldsymbol{p}^{\prime}\in\mathcal{P}. It is compact and convex. It is nonempty because 𝒜\mathcal{A} is nonempty and Lemma 2 maps 𝒜\mathcal{A} onto 𝒦\mathcal{K}.

For fixed 𝜿\boldsymbol{\kappa}, (14) is a nonempty compact convex box. Let 𝒅(𝜿)\boldsymbol{d}(\boldsymbol{\kappa}) have entries

di(𝜿)11+κi2.d_{i}(\boldsymbol{\kappa})\triangleq\frac{1}{\sqrt{1+\kappa_{i}^{2}}}.

Every 𝒑𝒫(𝜿)\boldsymbol{p}\in\mathcal{P}(\boldsymbol{\kappa}) can be written as 𝒑=diag(𝒅(𝜿))𝒛\boldsymbol{p}=\operatorname{diag}(\boldsymbol{d}(\boldsymbol{\kappa}))\boldsymbol{z} for some 𝒛[0,1]n\boldsymbol{z}\in[0,1]^{n}. Therefore,

I(𝜿)=max𝒛[0,1]n||𝒎𝑺~(𝜿)diag(𝒅(𝜿))𝒛||1.I(\boldsymbol{\kappa})=\max_{\boldsymbol{z}\in[0,1]^{n}}\left|\left|\boldsymbol{m}^{\bullet}-\boldsymbol{\tilde{S}}(\boldsymbol{\kappa})\operatorname{diag}(\boldsymbol{d}(\boldsymbol{\kappa}))\boldsymbol{z}\right|\right|_{1}.

The maximand is continuous in (𝜿,𝒛)(\boldsymbol{\kappa},\boldsymbol{z}), and the maximization is over a fixed compact set. The maximum theorem implies that II is continuous. Since 𝒦\mathcal{K} is nonempty and compact, II attains a minimum on 𝒦\mathcal{K}.  

Cameron Khanpour is a Ph.D. student in the School of Electrical and Computer Engineering at the Georgia Institute of Technology, Atlanta, GA, USA. His research interests are in optimization, algorithms, and probabilistic methods for the electric grid. He received the B.S. degree in Electrical Engineering and the M.S. degree in Mathematics from the Georgia Institute of Technology.
Samuel Talkington received the Ph.D. degree in electrical and computer engineering from the Georgia Institute of Technology, Atlanta, GA, USA, in 2026. He was a National Science Foundation Graduate Research Fellow. He is currently affiliated with the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, MI, USA, where he will begin an appointment as an Assistant Professor in 2027. His research interests are in efficient algorithms for decision-making and inverse problems in electric power systems.
Mathieu Dahan received the M.S. and Ph.D. degrees in computational science and engineering from the Massachusetts Institute of Technology, Cambridge, MA, USA, in 2016 and 2019, respectively. He is currently an Associate Professor in the School of Industrial and Systems Engineering at the Georgia Institute of Technology, Atlanta, GA, USA. His research interests are in combinatorial optimization, game theory, and predictive analytics, with applications to service and healthcare operations, humanitarian systems, and logistics and supply chain management.
Daniel K. Molzahn is an Associate Professor in the School of Electrical and Computer Engineering at the Georgia Institute of Technology. He was a computational engineer in the Energy Systems Division at Argonne National Laboratory and a Dow Postdoctoral Fellow in Sustainability at the University of Michigan, Ann Arbor. He received the B.S., M.S., and Ph.D. degrees in electrical engineering and the Masters of Public Affairs degree from the University of Wisconsin–Madison.