Zero-Sum Power Factor Games
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 factorI 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 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.
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.
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.
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.
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 , where contains the PQ nodes whose voltages depend on the nodal power injections. Node is the reference node and often represents a substation that maintains a constant voltage magnitude. A superscript denotes a quantity at the initial operating point. Let and be the generated and demanded active and reactive power. Initial net injections are
The initial voltage phasors are , where contains the voltage magnitudes, contains the voltage angles, and .
II-A2 Approximation of the power flow equations
Let be the apparent power rating of the modeled device or aggregation at node . We use and for its active and reactive output normalized by . The physical device output is therefore . We take this controllable contribution to be zero at the initial operating point, so the total net injections at node after the device acts are and . 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 given by
| (1) |
where are the active and reactive power voltage sensitivity matrices evaluated at , with the device ratings 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 and .
Constant power factor control assigns each device a power factor magnitude and a reactive power direction . With the net injection convention, denotes reactive power injection and denotes reactive power absorption. At unity power factor the direction is immaterial, and we set to avoid duplicate representations. For any realized output with , consistency with the installed settings means
| (2) |
and
| (3) |
Equations (2) and (3) describe the realized output when . At , the realized power factor is undefined, but the installed setting 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).
Proof: See Appendix -C.
II-A4 Nominal voltages and voltage regulation
The operator aims to keep the voltage magnitudes close to the nominal profile . Tracking nominal voltage penalizes both upward and downward deviations and preserves operating margin to the voltage limits. Let be the lower and upper voltage magnitude bounds. We define
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 satisfying .
The lower bound 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, and .
The zero DER injection leaves , 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
| (8) |
The upper bound follows from the unit apparent power rating because . The set 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
| (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 is nonempty.
After the operator selects , the apparent power rating restricts the active power realization to
| (10) | ||||
The equality follows from . 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 . 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 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 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 makes the active power limits depend on the installed setting.
II-B2 Aggregate voltage deviation
Definition 1 (Aggregate voltage deviation).
For any and , the aggregate voltage deviation from nominal is
| (11a) | ||||
| (11b) | ||||
The norm assigns equal weight to voltage deviations at the participating nodes. At , Lemma 1 gives , 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
| (12) |
The operator first selects . 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 .
III Analytical Results
In these results, we first represent the power factor magnitude and direction by the continuous coefficient vector . 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 in (9) includes a discrete choice for the direction of reactive power. The coefficient in (4) combines this direction with the power factor magnitude. Under Assumption 1, its range is the box
| (13) |
Define . For a fixed , the feasible active power set is
| (14) |
The corresponding operator action set is
| (15) |
For and , the lifted objective is
| (16) |
The scalar is the installed coefficient in . When , it also equals . This interpretation does not require a realized power factor at zero output.
Lemma 2 (Equivalent continuous parameterization).
The map is a bijection from to . Its inverse is
| (17) |
where . If , then
for every feasible .
Proof: See Appendix -D.
Thus, the partly discrete description can be replaced by without changing the model.
Lemma 3 (Existence of a minimax solution).
The set is nonempty, compact, and convex. For every , the set is nonempty, compact, and convex. The function is continuous on , so (19) attains a minimum.
Proof: See Appendix -E.
III-B Exact Orthant Reduction
For and , define
| (20) |
where is applied componentwise with . These regions form an exact disjoint partition of .
Proposition 1 (Exact orthant decomposition).
For every ,
| (21) | ||||
where empty regions are omitted.
Proof: If , then
Substituting gives the affine expression in (21). Maximizing over the exact partition gives .
The sign pattern is the sign of the voltage residual at zero DER output. Since , its entries show whether initial voltages are below, above, or at nominal. For fixed , 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
The closure in allows voltages to reach nominal without crossing to the opposite side. For each with , the condition is equivalent to
| (22) |
If , the corresponding row of must be zero. Smaller ratings, weaker voltage sensitivity toward nominal, and greater initial distance favor membership; voltage limit headroom separately determines whether . For uniform apparent power ratings and every , the threshold for fixed is
| (23) |
where and are evaluated at unit ratings, and a zero denominator imposes no restriction. For , the objective is affine over the entire feasible set, so the inner maximization is separable. Define
| (24) |
Proposition 2 (Nominal orthant value and worst-case realizations).
For every , the exact inner value is
| (25) |
The worst-case active power realizations are characterized componentwise by
Proof: For , Definition 2 gives
for every , including points at which a voltage reaches nominal. Substitution gives
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, is the contribution of one unit of active power at node 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 for every . 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 and , the th summand in (25) is zero for every feasible , 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 , the same minimax value follows. If and , the summand is and cannot be reduced to zero by cancellation. In this case, the operator must minimize the exact value (18) over .
Theorem 1 (Robust minimax solution in closed form).
Assume for all . Define
Suppose . Then is a global solution of (19), and
Its original power factor representation is
| (26a) | ||||
| (26b) | ||||
Every is a worst-case realization. In particular, the choice
with saturates every normalized apparent power constraint, i.e., for all .
Proof: For every ,
so Proposition 2 gives . For every , the feasible realization gives
Hence for every , and attains this global lower bound. The formulas for follow from Lemma 2. Since every coefficient in Proposition 2 is zero at , every feasible attains the same inner value.
If the cancellation vector does not belong to , the theorem does not necessarily solve the exact minimax problem. It still cancels the nominal affine branch, but another voltage sign pattern may determine . In that case, the exact objective (18) must be minimized over .
The operator cannot control the active power injections, but it controls the reactive power that accompanies each unit of active power. The setting cancels the contribution of the th injection to the nominal affine branch of the aggregate voltage deviation. When , no feasible injection raises the aggregate deviation above the fixed initial offset . 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 and . 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, 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 from Theorem 1 with a numerical implementation check that does not use the ratio . We compute
| (27) |
where is the lifted box in (13). This is the program used to produce Table I. Its Hessian is , 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, 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 , Theorem 1 proves global optimality. Section IV-D separately evaluates the fixed cancellation setting and solves the complete minimax problem directly.
| Test Network | Relative Error | Runtime | ||
|---|---|---|---|---|
| Name | ||||
| Hawaii 37 | 27 | 0.05 s | ||
| RTS-GMLC | 40 | 0.002 s | ||
| IEEE 118 | 64 | 0.002 s | ||
| Illinois 200 | 162 | 0.012 s | ||
We also apply the injections that saturate the apparent power constraints at to the nonlinear AC power flow equations and compare the resulting voltages with the linear approximation. When , 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 p.u. per participating node, the first metric ranges from to p.u. across the four networks. The second ranges from to . 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 . On the Illinois 200-bus case, the maximum voltage magnitude difference reaches p.u. at 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 that bounds the lifted action set. Let be the cancellation setting projected onto the lifted box allowed by . Define the excess above the fixed initial offset as
Fig. 2 plots for . When the unconstrained cancellation setting is realizable within the floor, every summand vanishes and the value equals . As tightens and clips , the plotted expression increases, quantifying the regulation capability forgone by restricting reactive power. The floor at which the value departs from is network dependent and is governed by the smallest cancellation power factor. The value rises sharply as , 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 . The centralized planner selects the active power and reactive to active power ratios jointly. In particular, we solve
| (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.
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 . On Hawaii, the centralized planner injects slightly more total active power than the cancellation realization ( versus p.u.), but incurs substantially larger voltage deviations. The mean distance to nominal is p.u. under the centralized benchmark and p.u. at the cancellation setting. Indeed, the realized deviation, p.u., matches the robust minimax value p.u. predicted by Theorem 1. On RTS-GMLC, the ordering reverses. The mean distance is p.u. at the cancellation setting and p.u. under the centralized benchmark. At full normalized rating, is empty under the voltage limits supplied with this case. Therefore Theorem 1 is not globally optimal on this instance.
IV-D Rating Feasibility and the Nominal Orthant
On the nominal orthant subset of Definition 2, where the owner’s entire feasible set remains in the nominal orthant, Theorem 1 shows that the cancellation setting attains the global lower bound 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 . Thus, the exact value in (18) satisfies .
We first fix the operator action at and compute the inner maximization (18) exactly as a mixed integer program. This is the inner maximization of the game. It evaluates without solving the outer minimization over . We begin with a uniform device rating p.u. on the system base at every participating node. The ratio is for Hawaii, for Illinois 200, for RTS-GMLC, and 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 is then only the nominal orthant prediction at the cancellation setting, while its exact inner value is strictly larger. The choice 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 belongs to .
The quantity , introduced in Section II-A, is the physical apparent power rating at node expressed on the system base. In practice, these ratings are far below the system base. On a 100 MVA base, to 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 is equivalent to scaling the corresponding columns of the voltage sensitivity matrices and by . This scaling leaves and the nominal value unchanged because cancels in the ratio . Table II reports as a uniform rating is reduced. The fixed cancellation value equals the lower bound for Hawaii at all reported ratings and for Illinois 200 by . RTS-GMLC and IEEE 118 approach the lower bound with ratios and at . For RTS-GMLC, (23) gives p.u. at , but 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 under changes in . These values describe the performance of the cancellation setting.
| Network | |||||
|---|---|---|---|---|---|
| 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 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
Table III reports the representative rating p.u. with . This power factor floor is also the lower endpoint used in Fig. 2. The cancellation value is a fixed action diagnostic even when is inadmissible. The direct value is reported only when is nonempty.
| Network | Set relation | ||
|---|---|---|---|
| Hawaii 37 | 1.00 | 1.00 | |
| RTS-GMLC | 1.14 | – | |
| IEEE 118 | 1.22 | 1.00 | |
| Illinois 200 | 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 , 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 , 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, 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 to buses, the relative error between (26) and the numerical implementation check remains between and , 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 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 is given as . This provides a value based on IEEE 1547-2018 for the power factor floor 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 , Theorem 1 gives these settings a robust minimax interpretation. Across our test networks, the median cancellation power factors range from to and lie predominantly above the IEEE 1547-2018 default of .
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 , , at a compromised subset of nodes , while the operator retains authority over the power factor parameters only at the uncompromised nodes . The orthant-wise machinery of Section III partially extends to this setting. On each orthant, the worst-case contribution of a compromised node becomes a linear maximization over the half-disk , yielding closed form terms such as (when ) 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.
- [1] (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] (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] (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] (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] (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] (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] (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] (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] (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] (2017) JuMP: a modeling language for mathematical optimization. SIAM Review 59 (2). External Links: Document Cited by: §IV.
- [12] (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] (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] (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] (2023) Gurobi optimizer reference manual. External Links: Link Cited by: §IV, §V-A2.
- [16] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (2019) Competitive gradient descent. In 33rd International Conference on Neural Information Processing Systems (NeurIPS), pp. 7625–7635. Cited by: §V-B2.
- [32] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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 . By definition,
so
Hence
Therefore, if ,
since . The admissibility condition if and only if also gives . Finally, directly implies for every admissible setting.
-D Proof of Lemma 2
Proof: Fix and let . The admissibility rule gives when and when . Therefore, the inverse in (17) recovers
Also,
The range and robust voltage conditions that define consequently imply . This proves that the map is well defined and injective.
Conversely, let and define by (17). Membership in gives . It also gives if and if . For each ,
Thus, and . The robust voltage conditions in then imply . This proves surjectivity and hence bijectivity.
Finally, the recovered identity gives
For every in this common feasible set, implies
-E Proof of Lemma 3
Proof: The range in (13) is a compact convex box. For each fixed ,
is affine in . Hence is the intersection of the range box with closed affine halfspaces indexed by . It is compact and convex. It is nonempty because is nonempty and Lemma 2 maps onto .
For fixed , (14) is a nonempty compact convex box. Let have entries
Every can be written as for some . Therefore,
The maximand is continuous in , and the maximization is over a fixed compact set. The maximum theorem implies that is continuous. Since is nonempty and compact, attains a minimum on .
| 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. |