Next Article in Journal
Period Lengths of the Incomplete Fibonacci and Incomplete Lucas Sequences Modulo m
Previous Article in Journal
Mathematical Pipeline for Quantitative Analysis of Multiphase 3D Material Structures Using Fractal, Topological, and Minkowski Descriptors
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Constraint-Activated Projection-Free Control for Power-Limited Droop-Controlled Grid-Forming Networks

Department of Electrical Engineering, College of Engineering, University of Ha’il, Ha’il 55476, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2026, 14(17), 3037; https://doi.org/10.3390/math14173037 (registering DOI)
Submission received: 19 July 2026 / Revised: 3 August 2026 / Accepted: 5 August 2026 / Published: 24 August 2026

Abstract

Active-power ceilings create a control challenge in droop-controlled grid-forming converter networks because the electrical response is faster than the measurements and outer control. Projected and projection-free power limiting use filtered active power in the outer power–frequency channel and therefore cannot act directly on the first electrical power peak. This paper proposes constraint-activated projection-free control, which coordinates a shaped projection-free multiplier with a bounded resistance term in the capacitor-voltage reference driven by instantaneous terminal power. A general full-order dynamic model describes the converters, controllers, and network without tying the formulation to a particular benchmark. Local well-posedness is established, and the proposed controller is shown to preserve the constrained projection-free equilibrium and active-branch Jacobian, allowing the same full-order stability assessment. Across ten tested scenarios with unchanged controller parameters, the proposed controller reduces peak power exceedance by 38.7–55.4% and accumulated excess energy by 34.1–62.2%. The corresponding DC-buffer requirement decreases without activating the independent current limiter, which isolates the source-side power constraint from AC overcurrent. A network-level study demonstrates sequential transitions between one and two constrained sources while the remaining converter supplies the feasible power imbalance. Full-order stability verification, component studies, and parameter sweeps establish the role and useful range of each controller path.

1. Introduction

Grid-forming converters (GFMs) establish voltage and frequency in power-electronics-rich systems whose electrical, measurement, and control dynamics occupy overlapping time scales [1,2,3]. Droop, oscillator, and matching-type controls explain synchronization and sharing at the network level [4,5,6,7,8]. Their physical sources, however, still have finite instantaneous power and energy. A time-varying active-power ceiling can represent the available DC-side capability of renewable generation or storage [9], and transient excess power or energy can initiate source protection or deplete DC-bus headroom [8,10]. Related mathematical operating-region analysis shows how converter and filter equations generate topology-specific active–reactive-power feasibility boundaries and how small reference changes near a boundary can excite large control oscillations [11]. Active-power limiting is therefore part of the converter dynamics rather than a static post-processing operation.
Current limitation and active-power limitation address different constraints. Projected grid-forming control, virtual impedance, and current-reference saturation protect semiconductor and filter-current capability during faults [12,13]. A recent current-controlled virtual synchronous generator (VSG) instead limits current-vector magnitude while retaining voltage feedback to regulate its angle and blocks the voltage controller to prevent integrator saturation and limiter lock-up [14]. These mechanisms protect the AC converter under overcurrent. By contrast, the source-side overload controller in [15,16] modifies the power–frequency path when active power approaches a prescribed bound. A converter may therefore have AC-current headroom while a derated or intermittently available source is already power limited. The present work concerns this latter condition and retains a separate inner current-reference limiter.
Projected power limiting (PL) has recently been formulated as projected network dynamics whose equilibria solve a constrained flow problem and whose converter frequencies synchronize under stated feasibility assumptions [17]. Projection-free power limiting (PF) relocates non-negativity from the multiplier state to a positive-part output and connects the reduced network model to augmented projection-free primal–dual dynamics, enabling semi-global exponential convergence bounds and gain-tuning rules [18,19]. These results provide the mathematical basis for PL and PF, but their stability statements concern reduced active-power network dynamics rather than the inner-loop, inductor-capacitor-inductor (LCL), measurement, and dynamic-network states that produce the first terminal-power transient.
That distinction is consequential. Transmission-line dynamics can invalidate a quasi-stationary stability conclusion [20]; nested converter time scales require explicit coordination [3]; and network-aware device certificates can differ materially from static-network or decoupled conditions [2,21]. Detailed state-space and frequency-domain studies have likewise identified multiple converter-grid subsynchronous-oscillation mechanisms whose diagnosis depends on controller and network model detail [22]. These works establish why detailed network and converter states matter, but they do not resolve the first-peak limitation of outer power–frequency actuation or construct an active-power limiter with a separate instantaneous electrical path.
In the detailed droop-controlled GFM implementation considered here, PL and PF inherit filtered active power from the outer droop loop, whose time constant can be selected to reproduce a desired inertial behavior [23]. Their outer-loop action can shorten an overload after the filtered measurement responds, but it does not directly oppose the first electrical power peak. CA-PF directly addresses this structural timing gap by coordinating the projection-free limiter with a bounded, constraint-activated voltage-reference action driven by instantaneous terminal power. The resulting controller targets both parts of the overload response. The fast path suppresses the initial peak, while the shaped slow path reduces the subsequent excess-power exposure. This source-power and protection-coordination objective remains distinct from battery state-of-charge, thermal, and AC-overcurrent control.
Nonlinear droop curves reshape the power–frequency relation [24], while adaptive virtual resistance has been used for postfault damping and fault-current limitation [25,26]. Frequency-feedforward damping and energy-recovery control have also been coordinated through loop-bandwidth separation in a current-controlled VSG [27]. These approaches improve droop shaping, damping, fault response, or energy recovery, but they do not provide a source-power limiter that coordinates an instantaneous electrical path with a projection-free steady constraint while preserving a specified PF active-branch Jacobian. The proposed constraint-activated projection-free controller (CA-PF) is built around precisely that requirement. A shaped PF path reduces persistent violation area, and a bounded resistance path triggered by instantaneous upper-limit violation changes the capacitor-voltage reference during the first electrical transient. Both additions are second order at the binding equilibrium, so they alter finite-amplitude behavior while preserving the PF-constrained equilibrium and first-order active-branch model.
The design objective is to reduce finite overload excursions without changing the operating point or local stability properties already established for PF. Two observations organize the analysis. First, a controller driven only by continuous filtered power and multiplier states cannot supply an instantaneous correction at disturbance onset. Second, correction maps whose values and slopes vanish at the constraint boundary can reshape larger transients while leaving the local linearization unchanged. These observations are stated formally before the numerical validation.
The main contributions are summarized as follows.
  • A benchmark-independent full-order formulation that separates the first electrical power peak from the slower action of filtered outer power–frequency control;
  • A two-path controller activated only when the power limit is violated. Its slow path reduces sustained overload, while its fast voltage-reference path suppresses the initial power peak;
  • A stability-screened design that preserves the constrained operating point and local small-signal behavior of a projection-free baseline, while improving its response to larger disturbances;
  • Simulation-intensive validation through matched baselines, a source-buffer protection audit, component studies, parameter sweeps, multi-scenario tests, and a CA-PF-only three-GFM study with sequential activation of two source ceilings.
The novelty lies in coordinating two physically distinct actuation paths. The shaped outer-loop PF action reduces sustained power exposure, while the bounded voltage-reference action reduces the first electrical peak. Their constraint-boundary construction preserves the PF equilibrium and active-branch linearization, so the stability-constrained tuning framework remains applicable.
CA-PF advances the PF framework through a coordinated two-time-scale design. The established positive-part multiplier, constrained target, and gain scaling provide the slow-path foundation. On that foundation, the proposed controller introduces the finite-violation shaping map ψ γ , ϵ and a bounded instantaneous-power voltage-reference action R c , coordinated through two distinct actuation locations. This construction supplies a capability absent from the baseline PF formulation by reducing both the initial electrical peak and the subsequent overload exposure while exactly preserving the PF-constrained equilibrium and active-branch linearization. The second-order boundary construction, its full-order analysis, and the stability-screened nonlinear validation constitute the central contribution.

2. Foundations of Active-Power-Limited Droop-Controlled GFM Networks

2.1. Constraint Signals and Time Scales

For a scalar z, let z + = max { z , 0 } . Converter i is assigned the feasible active-power interval
P i = [ P min , i , P max , i ] .
The instantaneous terminal power and its outer-loop measurement are
P e , i = Re { v c , i i 2 , i * } , T P , i P ˙ m , i = P e , i P m , i .
Thus, P e , i is generated by the electrical converter–network interconnection, whereas P m , i is a controller state. In the validation implementation, the filtered measurement structure adopted from REGFM_A1 supplies P m , i to both PL and PF [16]. The upper and lower residuals are
e i + = P m , i P max , i , e i = P min , i P m , i ,
and the instantaneous upper residual is e e , i = P e , i P max , i . In each convention, feasibility is e 0 and positive violation is e + . This sign choice makes the upper and lower limiter equations identical; only their signs in the frequency command differ.
The upper active-power limit and the inner current limit are not interchangeable. The former may represent the instantaneous DC-source capability [9], whereas i 1 , i I max , i protects the AC converter and filter. To translate an active-power violation into a source-side consequence without introducing device-specific battery or fuel-cell dynamics, define the initial DC-buffer energy and its normalized constant as
E dc , 0 , i = 1 2 C dc , i v dc , 0 , i 2 , H dc , i = E dc , 0 , i S b , i .
For the pre-trip audit, the source supplies no more than P max , i , the averaged bridge is lossless, and no recharge credit is taken during the violation. The capacitor energy balance then gives
H dc , i d d t v dc , i v dc , 0 , i 2 = P e , i P max , i + .
This one-way mapping does not feed back into the AC trajectory before protection pickup.
Proposition 1 (Exact pre-trip buffer criterion). 
Let J i ( t ) = t 0 t P e , i ( τ ) P max , i + d τ , let v dc , i ( t 0 ) = v dc , 0 , i , and suppose (5) holds on [ t 0 , t 1 ] . Then
v dc , i ( t ) v dc , 0 , i 2 = 1 J i ( t ) H dc , i .
Consequently, for  0 < v fl < 1 , the condition v dc , i ( t ) v fl v dc , 0 , i holds for every t [ t 0 , t 1 ] if and only if
H dc , i H dc , i min ( v fl ) : = max t [ t 0 , t 1 ] J i ( t ) 1 v fl 2 .
Proof. 
Integrating (5) from t 0 to t gives (6). Since the integrand defining J i is non-negative, J i ( t ) is non-decreasing. The smallest audited voltage therefore occurs at the largest accumulated violation, and rearranging (6) gives (7).    □
Accordingly, the accumulated area above the declared power ceiling represents the pre-trip energy deficit assigned to the DC buffer. Proposition 1 maps this exposure directly to the minimum normalized buffer requirement associated with a prescribed voltage floor.
Thus, a small fraction of converter rating can still be consequential when the available source power or usable DC-buffer headroom, rather than AC nameplate current, is the binding quantity. Equations (5) and (7) are exposure metrics, not a post-protection DC-source simulation.

2.2. Projected and Projection-Free State Maps

For either side ν { + , } , PL uses the projected nonlinear-PI equations of [17], as in [15,16].
ϕ PL , i ν = k P , i ν e i ν + + λ i ν ,
λ ˙ i ν = Π T R 0 ( λ i ν ) k I , i ν e i ν , λ i ν 0 ,
where Π T projects the vector field onto the tangent cone of the non-negative multiplier set [28]. PF instead uses [18]
ϕ PF , i ν = k P , i ν e i ν + λ i s , ν + ,
λ ˙ i s , ν = 1 ρ i ν ϕ PF , i ν λ i s , ν , ρ i ν = k P , i ν k I , i ν .
The PF state λ i s , ν R is unconstrained; non-negativity is imposed only on the output. PL and PF share the constrained equilibrium conditions developed in their source models, but the positive-part map occupies a different location relative to the multiplier. That difference determines the local branch derivatives used later.
Figure 1 consolidates the constraint set, the averaged converter–network interface, and the two limiter actuation locations used throughout the formulation.

2.3. Active Branches and Local-Model Preservation

For architecture c { PL , PF , CA - PF } , define the equilibrium active set
A c ν = { i ϕ ¯ c , i ν > 0 } .
At a binding constraint with a positive multiplier, e ¯ i ν = 0 and λ ¯ i ν = λ ¯ i s , ν > 0 . The PF positive-part argument is then strictly positive, whereas the PL proportional term lies at its kink. Consequently, a fixed PF active branch has an ordinary Jacobian, while PL requires a generalized slope at the kink; Section 4.2 makes this relation explicit.
Let F PF denote the full-order PF vector field on a declared active branch and let Δ F be a proposed augmentation. The sufficient local construction used here is
Δ F ( x ¯ ) = 0 , D Δ F ( x ¯ ) = 0 .
It separates three design requirements. The augmentation must preserve the constrained equilibrium, preserve the PF active-branch linearization used by the stability screen, and still produce a nonzero finite-amplitude response on the electrical time scale. Conditions (11) do not themselves guarantee nonlinear performance; they make the local stability claim auditable while the nonlinear case studies determine the useful finite-amplitude range.

3. Full-Order GFM-Network Model

3.1. General GFM-Network Interconnection

Consider a connected AC network with n GFM converters. Converter i has dynamic state x i R n i , terminal voltage v i R 2 , injected current i i R 2 , and parameters θ i . The network contributes dynamic branch, shunt, load, and optional algebraic states x N . A broad class of averaged models can be written as
E i x ˙ i = f i ( x i , v i , u i ; θ i ) , i i = h i ( x i , v i ; θ i ) ,
E N x ˙ N = f N ( x N , i 1 , , i n , d ; θ N ) , v = h N ( x N , i , d ; θ N ) ,
where d collects load and reference disturbances. Singular E i or E N accommodates an index-one DAE; nonsingular matrices give an ODE. With stacked state x = col ( x N , x 1 , , x n ) and E = blkdiag ( E N , E 1 , , E n ) , controller architecture c { PL , PF , CA - PF } gives
E x ˙ = F c ( x , d ; μ , θ ) .
The scalar μ 1 is the convergence-rate multiplier defined in Section 4.5. The symbol s is reserved for the Laplace variable in transfer-function expressions. No bus count, topology, converter count, or benchmark has entered (13).
Assumption 1 (Local model regularity). 
On each declared topology and active region, the smooth converter and network maps are continuously differentiable. If E is singular, local coordinates x = ( y , z ) put (13) into the semi-explicit index-one form
y ˙ = f c ( y , z , d ) , 0 = g c ( y , z , d ) ,
with D z g c nonsingular in a neighborhood of the consistent operating point. Exogenous schedules are piecewise continuous, and every denominator introduced by a controller filter or activation map is strictly positive.
Assumption 1 is automatic for the dynamic RLC validation model because all bus capacitances and branch and load inductances are positive, making E nonsingular. Its network vector field is therefore an explicit ODE. It is nevertheless nonlinear and piecewise smooth because active and reactive powers are bilinear in voltage and current, the common frame speed is state-dependent, and positive-part, projection, and saturation maps enter the feedback. The descriptor notation retains applicability to index-one network realizations with algebraic buses without incorrectly classifying the validation model itself as a DAE.

3.2. Outer Command and Measurement

Figure 2 summarizes the converter signal flow, including the filtered slow limiter and the instantaneous CA-PF voltage-reference path. With P e , i and P m , i defined by (2), the power-limited frequency command is
ω i = ω 0 + m p , i ( P i P m , i ) ϕ i + + ϕ i ,
with angle state δ ˙ i = ω i ω ref . The upper correction ϕ i + slows a converter above P max , i ; the lower correction ϕ i speeds it below P min , i . Voltage/reactive outer loops, current-reference limiting, inner voltage/current PI control, the averaged bridge, and the LCL dynamics are contained in f i rather than omitted from (12a).
This separation matters because the limiter acts through the angle/frequency channel, while its filtered power signal is produced by the inner controls, plant, and measurement state. Thus, a limiter gain can move an eigenpair containing angle, electrical, measurement, and network-current states even when the reduced active-power equilibrium is unchanged.

3.3. Equation-Level Converter Realization

A detailed converter state can be partitioned as x i = col ( x i out , x i lim , x i v , x i i , x i LCL , x i damp ) . These groups contain the outer control and measurements, power-limiter states, voltage- and current-controller integrators, electrical-filter states, and damping-filter states. The partition is descriptive; models with additional DC-side or measurement states remain covered by (12a). In the validation realization, the Q–V outer control, filtered P / Q / V measurements, and current-limiter logic follow the REGFM_A1 structure [16]; only the active-power overload loop is replaced by PL, PF, or CA-PF.
Let J = [ 0 1 1 0 ] and let S I max denote circular, phase-preserving current-reference saturation,
S I max ( z ) = 0 , z = 0 , z min 1 , I max / z 2 , z 0 .
The cascaded voltage/current realization follows [29].
e v , i = v c , i v c , i ,
    z v , i = K P v , i e v , i + ξ v , i + i 2 , i + ω i C f , i J v c , i ,
    i 1 , i = S I max , i ( z v , i ) , ξ ˙ v , i = K I v , i e v , i + i 1 , i z v , i T aw , i ,
  e i , i = i 1 , i i 1 , i , ξ ˙ i , i = K I i , i e i , i ,
v sw , i = K P i , i e i , i + ξ i , i + v c , i + ω i L f , i J i 1 , i ,
where T aw , i = 5 τ i . The current-reference limiter remains inactive in the reported cases, so the anti-windup term does not affect the comparisons. One corresponding averaged LCL plant is
L f , i i ˙ 1 , i = v sw , i v c , i R f , i i 1 , i ω i L f , i J i 1 , i ,
C f , i v ˙ c , i = i 1 , i i 2 , i ω i C f , i J v c , i ,
L g , i i ˙ 2 , i = v c , i v i R g , i i 2 , i ω i L g , i J i 2 , i .
Sign changes induced by a different d q convention do not alter the formulation. What matters here is that P e , i is generated by (17a)–(17e) and (18a)–(18c), P m , i adds a measurement state, and the PL/PF output changes ω i upstream rather than the voltage reference.
The fixed common virtual-resistance and transient-damping channels follow the high-pass disturbance-rejection structure of [30], with washout currents
i ˜ R , i = τ R , i s τ R , i s + 1 i 2 , i , i ˜ D , i = τ D , i s τ D , i s + 1 i 2 , i ,
entering the voltage command as
v c , i d = E i + K D , i i ˜ D , i q K R , i i ˜ R , i d ,
v c , i q = K D , i i ˜ D , i d K R , i i ˜ R , i q .
Both washout outputs vanish at equilibrium, but their states and gains alter the full-order spectrum; they therefore remain in x i damp during the stability screen. These channels are part of the common converter implementation, are identical for PL, PF, and CA-PF, and are not included in the proposed fast path.

4. Power-Limiting Architectures

4.1. Why the First Peak Survives Outer-Loop Retuning

Proposition 2 (No instantaneous outer-loop correction). 
Suppose an electrical disturbance begins at t 0 while the upper limiter is inactive, and suppose the disturbance does not reset the filter or multiplier states. Then, the PL and PF frequency-channel corrections have zero jump at t 0 , independently of their finite gains.
Proof. 
The dynamic states are continuous, so (2) and either multiplier realization give
δ ( t 0 + ) = δ ( t 0 ) , λ ( t 0 + ) = λ ( t 0 ) ,
and P m ( t 0 + ) = P m ( t 0 ) . Hence,
ϕ PL ( t 0 + ) ϕ PL ( t 0 ) = ϕ PF ( t 0 + ) ϕ PF ( t 0 ) = 0 ,
because P m ( t 0 + ) = P m ( t 0 ) and the limiter was inactive immediately before the event.    □
Thus, outer-loop retuning cannot produce an instantaneous correction in the studied realization. The proposed second path is driven by P e and acts directly at the voltage-reference location. Increasing k P or k I can accelerate the correction after P m departs from its pre-disturbance value. However, continuity of P m and the multiplier state prevents either gain from modifying the correction at disturbance onset.

4.2. Local PL/PF Slope Relation

Proposition 3 (Active-branch endpoint relation). 
Consider a binding constraint with equilibrium e ¯ i ν = 0 and strictly positive multiplier λ ¯ i ν = λ ¯ i s , ν > 0 . The PF branch is differentiable with
D ϕ PF , i ν = k P , i ν D e i ν + D λ i s , ν , D λ ˙ i s , ν = k I , i ν D e i ν ,
while the PL Clarke generalized derivative [31] is
D ϕ PL , i ν = σ i ν k P , i ν D e i ν + D λ i ν , D λ ˙ i ν = k I , i ν D e i ν ,
with σ i ν [ 0 , 1 ] . Consequently, the physical PF active-branch Jacobian equals the σ i ν = 1 endpoint of the PL generalized-Jacobian family; inactive PF multiplier states contribute decoupled poles 1 / ρ i ν .
Proof. 
For PF, the argument of (9a) equals the strictly positive equilibrium multiplier, so the positive-part derivative is one; substitution in (9b) gives D λ ˙ = ( 1 / ρ ) k P D e = k I D e . For PL, λ ¯ > 0 makes the tangent-cone dynamics locally unconstrained, but  k P e ¯ = 0 sits exactly at the positive-part kink, whose Clarke derivative is σ [ 0 , 1 ] . An inactive PF state has ϕ = 0 locally, hence λ ˙ s = λ s / ρ without an output path.    □
Proposition 3 clarifies the local relationship between the two baseline controllers. The PF active branch equals the unit-slope endpoint of the PL generalized-Jacobian family, while PL also retains the remaining generalized slopes. Consequently, any gain selection must be verified for the architecture to which it is applied.
Nearly coincident PL and PF overload traces at matched gains, as observed in the case studies, do not imply identical nonsmooth dynamics. PL retains the full generalized-slope interval at the projection boundary, so its local stability screen remains architecture-specific.

4.3. Constraint-Activated Projection-Free Control

The proposed controller augments the upper PF branch; the lower branch retains (9a) and (9b). In the notation of Section 2.1, define
e χ , i : = e i + = P χ , i P max , i , e e , i = P e , i P max , i .
Here, P χ , i = P m , i in the filtered detailed realization; the separate symbol only identifies the signal entering the slow limiter. The slow-path shaping map,
ψ γ i , ϵ i ( e ) = e + γ i e + 2 ϵ i + e + , γ i 0 , ϵ i > 0 ,
strengthens the multiplier for finite positive violation while keeping ψ ( 0 ) = 0 , ψ ( 0 ) = 1 . The shaped projection-free multiplier is
ϕ CA - PF , i + = k P , i + ψ γ i , ϵ i ( e χ , i ) + λ i s , + + ,
λ ˙ i s , + = ρ i 1 ( ϕ CA - PF , i + λ i s , + ) .
The fast path uses the bounded activation
R c , i ( e e , i ) = R ¯ c , i e e , i + 2 ϵ R , i 2 + e e , i + 2 , 0 R c , i R ¯ c , i ,
Lemma 1 (Regularity and order at the constraint boundary). 
For γ 0 , ϵ > 0 , R ¯ c 0 , and  ϵ R > 0 , the functions ψ γ , ϵ and R c are continuously differentiable and locally Lipschitz on R . Their derivatives are
ψ γ , ϵ ( e ) = 1 , e 0 , 1 + γ e ( 2 ϵ + e ) ( ϵ + e ) 2 , e > 0 ,
R c ( e ) = 0 , e 0 , 2 R ¯ c ϵ R 2 e ( ϵ R 2 + e 2 ) 2 , e > 0 .
Moreover,
0 R c ( e ) R ¯ c , 0 ψ γ , ϵ ( e ) e γ e + ,
and, as  e 0 ,
ψ γ , ϵ ( e ) e = O ( e + 2 ) , R c ( e ) = O ( e + 2 ) .
Proof. 
For e 0 , the positive part vanishes, so ψ ( e ) = e and R c ( e ) = 0 . For  e > 0 , ordinary differentiation gives (29a) and (29b). Their right limits at zero are 1 and 0, respectively, which equal the left derivatives. The bounds follow from 0 e 2 / ( ϵ + e ) e and 0 e 2 / ( ϵ R 2 + e 2 ) 1 for e > 0 . Finally, division by the strictly positive denominators gives the second-order estimates in (31).    □
Proposition 4 (Local well-posedness of the PF and CA-PF dynamics). 
Under Assumption 1, every consistent PF or CA-PF initial condition admits a unique local solution on each interval with fixed topology and continuous exogenous input. If E is nonsingular, this solution is generated directly by a locally Lipschitz ODE. If E is singular, the index-one algebraic variables can be eliminated locally, yielding an equivalent locally Lipschitz ODE in the differential variables.
Proof. 
The positive-part and saturation maps are Lipschitz, while Lemma 1 makes the added CA-PF maps continuously differentiable. Composition with the smooth plant and controller maps therefore produces a locally Lipschitz vector field when E is nonsingular, so the standard local existence and uniqueness result applies [32]. In the index-one case, nonsingularity of D z g c in (14) gives a local function z = ζ ( y , d ) by the implicit-function theorem. Substitution produces y ˙ = f c ( y , ζ ( y , d ) , d ) , to which the same ODE argument applies [33]. Piecewise-continuous schedules are handled by concatenating the unique solutions at their declared event times.    □
Proposition 4 guarantees the existence and uniqueness of the local controller-network trajectory for each consistent initial condition on a fixed topology and continuous-input interval. Subsequent limiter or topology transitions require the corresponding branch assumptions to be re-established.
The fast path modifies the capacitor-voltage reference according to
v c , i , CA - PF = v c , i , PF R c , i i 2 , i .
Substituting (20a) and (20b) gives the following two-axis form.
  v c , i d , CA - PF = E i + K D , i i ˜ D , i q K R , i i ˜ R , i d R c , i i 2 , i d ,
v c , i q , CA - PF = K D , i i ˜ D , i d K R , i i ˜ R , i q R c , i i 2 , i q ,
i.e., a same-axis resistive drop on both d and q, not a d-axis-only correction. Because  R c , i R ¯ c , i , R c , i i 2 , i R ¯ c , i i 2 , i ; I max , i limits i 1 , i , not i 2 , i . In the central case, max t i 2 , 2 0.61  p.u. and the commanded voltage-reference depression R c , 2 i 2 , 2 peaks at approximately 0.012 p.u. (1.2% of nominal voltage). Together with (15), these relations complete the proposed controller. Thus, CA-PF combines a shaped PF slow path with a bounded fast resistance path. Figure 3 compares this structure with the PL and PF upper-limit branches. The word “resistance” in (28) describes the implemented voltage drop; it is not the fixed washout-based background channel in (20a) and (20b). Existing adaptive-resistance methods target current or postfault oscillations [25,26]; here, R c is triggered directly by source active-power exceedance and coordinated with the PF multiplier.
Equation (28) uses terminal power measured before the slower outer P m filter, with synchronized voltage and current acquisition and practical anti-alias conditioning. Let the implemented signal be P ^ e = P e + n with | n | η P . Whenever the true residual is nonpositive, P ^ e P max + η P , and therefore
0 R c ( P ^ e P max ) R ¯ c η P 2 ϵ R 2 + η P 2 .
If the pre-event power margin exceeds η P , false activation is excluded. Otherwise, (34) quantifies the worst boundary activation and shows why ϵ R should exceed the measurement-noise scale. Practical implementation should use synchronized voltage and current samples with anti-alias filtering whose delay is short relative to the electrical peak. Any additional measurement-filter or computation-delay state must be included in the full-order screen and finite-disturbance tests.

4.4. Preservation of the Equilibrium and Local Model

Proposition 5 (Preservation of the equilibrium and active-branch Jacobian). 
Consider a strictly active upper-limit PF equilibrium with P ¯ e = P ¯ m = P max and λ ¯ s , + > 0 . For any finite γ 0 , ϵ > 0 , R ¯ c 0 , ϵ R > 0 , CA-PF has the same equilibrium and active-branch Jacobian as PF.
Proof. 
At the binding equilibrium, P ¯ e = P ¯ m = P max , so the activation residual is e = 0 and
ψ ( 0 ) = 0 , ψ ( 0 ) = 1 , R c ( 0 ) = 0 , R c ( 0 ) = 0 ,
Consequently, (27a) and (27b) reduce to the PF equilibrium and differential in (23), and (32) contributes neither an equilibrium offset nor a first-order perturbation. Every remaining converter and network equation is unchanged.    □
At a binding equilibrium, Proposition 5 establishes identical steady voltage and frequency corrections and identical first-order responses for PF and CA-PF. The proposed paths become active only for finite positive violations, which isolates their effect to the finite-amplitude overload trajectory.
Corollary 1 (Preservation of local eigenvalues). 
Under Proposition 5, PF and CA-PF have the same linearized model on the strict active branch. Their finite eigenvalues, including algebraic multiplicities, therefore coincide. Consequently, the real part of the rightmost finite eigenvalue and the resulting local small-signal stability conclusion are identical.
Proof. 
The matrix E is unchanged, and Proposition 5 gives A CA - PF = A PF . Therefore, both linearized models yield the same generalized eigenvalue equation and hence the same finite eigenvalues.    □
Proposition 5 and Corollary 1 are deliberately local. They preserve the screened PF small-signal model while allowing different finite-amplitude trajectories, but they prove neither a region of attraction nor immunity to current limiting.
For a large-signal disturbance, the local result is used as a non-degradation condition rather than as a global certificate. It verifies that the proposed paths do not introduce a new first-order mode at the constrained equilibrium. The response away from that equilibrium is then evaluated with the nonlinear full-order model, including finite load steps, changing active sets, parameter corners, and current-limit monitoring. This division is intentional. The propositions establish the local property that can be proved from the boundary construction, whereas the simulations supply finite-amplitude evidence within the declared test set.

4.5. Convergence-Rate Gain Scaling

The scaling studied in [18] reads, in the implemented variables,
k I , i ( μ ) = μ k I , i 0 , k P , i ( μ ) = μ k P , i 0 , ρ i ( μ ) = ρ i 0 / μ ,
for μ 1 . It preserves the constrained fixed point (the gains multiply zero equilibrium errors) but changes transient time scales and the full-order Jacobian. The logical separation enforced in this paper is
β red ( μ ) improves reduced - model result α full ( μ ) < 0 detailed closed - loop stability .
This paper tests and enforces the right-hand condition; it does not re-derive the left-hand theorem.
Increasing μ raises k I , raises k P by its square root, and shortens ρ . It can accelerate the intended slow limiter while also changing its interaction with measurement, electrical, and network states. It may increase the initial frequency excursion and sensitivity to imperfect power measurements, and it need not improve every active set monotonically. Hence, μ is stopped inside the verified full-order range and selected from a damping–excursion tradeoff rather than maximized.

5. Full-Order Stability-Constrained Design

5.1. Fixed-Branch Linearization and Screens

For scenario q Q , let x ¯ c ( q ) solve F c ( x ¯ c , 0 ; μ , θ q ) = 0 with declared active set A ( q ) . On a smooth PF/CA-PF branch, or for a selected PL slope σ , linearization gives the generalized eigenvalue problem
det λ E q A c ( μ , q , σ ) = 0 , A c = F c / x x ¯ c ,
whose rightmost finite eigenvalue has real part
α c ( μ , q , σ ) = max { Re ( λ ) det ( λ E q A c ) = 0 , | λ | < } .
For PL at a binding proportional kink, the generalized-slope screen is
α ¯ PL ( μ , q ) = sup σ [ 0 , 1 ] | A ( q ) | α PL ( μ , q , σ ) ,
while α ¯ PF uses the smooth active branch. Proposition 5 gives, at every strict binding equilibrium satisfying its assumptions,
A CA - PF ( μ , q ) = A PF ( μ , q ) , α CA - PF ( μ , q ) = α PF ( μ , q ) .
A negative value of (40) is a local eigenvalue-based stability screen, not a common nonsmooth Lyapunov proof; pointwise quadratic or decentralized parametric certificates [21,32] would be stronger than the branchwise tests used here.

5.2. Architecture-Specific Stability Screen

For each scenario, define the largest fixed-branch stable-range limit
μ stab , c ( q ) = sup μ ¯ 1 | α ¯ c ( μ , q ) < 0 μ [ 1 , μ ¯ ] .
Numerical continuation and refinement return a verified stable lower endpoint
1 μ ̲ c ( q ) μ stab , c ( q ) , α ¯ c ( μ , q ) < 0 μ [ 1 , μ ̲ c ( q ) ] .
Given requested multiplier μ req and design factor 0 < η < 1 , the implemented value is
μ use , c = min μ req , η inf q Q μ ̲ c ( q ) .
The scenario set may contain operating points, active sets, topologies, and parameter corners; it must be stated, since (43) has no meaning without it, and  η provides separation from a verified stable endpoint, not a probabilistic guarantee. For each scenario, the relevant equilibrium branch and verified stable range are identified before (43) is applied. The retained value is then checked by nonlinear disturbances. Within the declared fixed branches, the screen selects a slow-path multiplier for which the real part of the rightmost finite eigenvalue remains negative; by (41), CA-PF inherits the PF fixed-branch screen without claiming identical finite-amplitude trajectories.

5.3. Practical Parameter-Selection Algorithm

The parameter dependencies are organized in Algorithm 1. The sequence separates baseline stabilization, slow-path shaping, fast-path activation, and full-order acceptance.
Algorithm 1 Stability-Constrained CA-PF Parameter Selection
Stage 1: 
Baseline design. The underlying GFM, inner loops, and baseline PF limiter are established first. The gains k P , k I , and  ρ = k P / k I follow the target reduced-model response and are retained only after the full-order fixed-branch screen.
Stage 2: 
Full-order scaling. Candidate values of μ follow (36) and remain below the architecture-specific ceiling in (43). The retained value is the smallest candidate that provides the required decay improvement within the prescribed frequency-excursion limit.
Stage 3: 
Slow-path shaping. The parameter ϵ defines the positive-violation scale at which the added slow action becomes appreciable. The parameter γ controls the finite-violation strength as the shaping slope increases from 1 at the boundary toward 1 + γ . A one-dimensional γ sweep quantifies the excess-energy and frequency-response tradeoff.
Stage 4: 
Fast-path activation. The knee ϵ R is placed above the characterized power-measurement noise and resolution, with  R c ( ϵ R ) = R ¯ c / 2 . The ceiling R ¯ c is constrained jointly by the overload target and the allowable voltage-reference depression. A conservative voltage budget is
R ¯ c Δ v max I 2 , max ,
where Δ v max is the allowed command depression and I 2 , max is a declared terminal-current bound.
Stage 5: 
Full-order acceptance. The selected tuple ( k P , k I , ρ , μ , γ , ϵ , R ¯ c , ϵ R ) is accepted only after verification across the declared operating points, active sets, parameter corners, measurement quality, current-limit margin, capacitor voltage, and reactive-power sharing. Among feasible candidates, the smallest R ¯ c and γ satisfying the peak and exposure targets are retained.

6. Materials and Numerical Methods

6.1. Kron-Reduced Dynamic IEEE 9-Bus Model

The general formulation is evaluated on a dynamic IEEE 9-bus environment used only as a validation network. The operating point follows the standard case9 solution [34]. Kron elimination of the passive zero-injection junction buses 4, 6, and 8 leaves the six-bus equivalent of Figure 4. It contains six dynamic bus voltages (12 states), nine equivalent RL branches (18), and three RL loads (6), which give 36 network states. Three 23-state converters replace the synchronous units at buses 1–3 and connect through their R e + j X e coupling branches, producing a 105-state nonlinear, piecewise-smooth ODE at f 0 = 60 Hz. Unit 1 defines the common moving d q reference frame; its absolute angle is anchored only for equilibrium and eigenvalue calculations to remove the rotational coordinate.
The common converter model retains the REGFM_A1 P–f droop, Q–V outer control, filtered P / Q / V measurements, and current-reference limiter [16]. The inner control follows (17a)–(17e) and (18a)–(18c). PL, PF, or CA-PF replaces only the active-power overload loop. After removing the reference angle and the six inactive reactive-limit multipliers, the PF and CA-PF principal branches retain 105 1 6 = 98 independent states; PL additionally removes its five inactive projected multipliers, retaining 93. Inactive PF multipliers are kept because they are ordinary decaying states with poles 1 / ρ ; the endpoint comparisons of Section 8 therefore match physical dominant eigenpairs rather than requiring equal matrix dimensions.
The inner current gains follow K P i = ( L f / ω 0 ) / τ i and K I i = R f / τ i ; Table 1 reports the resulting values to four significant digits.
The common channels (20a) and (20b) use K R = K D = 0.03 and τ R = τ D = 4 ms for every controller. They are held fixed in the matched comparisons and are not counted as part of CA-PF. To check that the overload conclusion is not tied to one gain pair, the central PF and CA-PF tests were repeated for every combination K R , K D { 0.02 , 0.03 , 0.04 } . CA-PF retained a 53.9–55.6% peak reduction and approximately 53.4% violation-area reduction, without current-limiter activation.
Two additional converter-parameter corners vary L f , R f , and C f together by 10 % and + 10 % while leaving all controller gains unchanged. A separate measurement-quality test adds a bounded, zero-mean power-measurement perturbation of 0.002 device p.u., equal to 0.6 MW on GFM 2, using 120 and 300 Hz components. The same perturbation enters the filtered-power measurement and the CA-PF fast signal. This averaged-model test represents bounded high-frequency measurement contamination, not semiconductor switching or an EMT validation.

6.2. Matched Overload Tests

All controllers start from the same nominal equilibrium. At t = 1.5 s, every constant-impedance load is multiplied by the scenario stress factor; at t = 3 s, loads are restored, and simulation continues to 3.5 s. GFM 2 is rated on a 300 MVA converter base and initially supplies 163 MW. Its upper limit is interpreted as the available source power, P max , 2 = 0.58 device p.u., or 174 MW, rather than the converter nameplate. The independent circular AC-current-reference limit remains 2 p.u. No CA-PF parameter changes between scenarios. All matched PL, PF, and CA-PF comparisons in Figure 5 use the baseline multiplier μ = 1 ; the selected value μ = 10 is evaluated only in the separate slow-path verification. The two primary violation metrics on the monitored unit are
V pk = max t P e , 2 ( t ) P max , 2 + , J = t 1 t 2 P e , 2 ( t ) P max , 2 + d t ,
alongside time above a 0.001 p.u. exceedance, peak R c , and current-reference-limiter activation. On the 300 MVA base, V pk in p.u. converts to megawatts by multiplication by 300, and J converts to megajoules by the same factor. The source-buffer audit applies (5) to each verified power trace at H dc = 20 ms and at the 0.95 p.u. voltage floor. All controller comparisons retain the same filtered active-power measurement architecture.

6.3. Stable Slow-Path Verification

Slow-path scaling is verified separately from overload performance. Across the declared fixed active sets, the smallest numerically verified stable endpoint is μ ̲ CA - PF = 96.0 . Applying (43) with η = 0.9 gives a stable-screen ceiling of 86.4. The reported value μ = 10 is selected within that ceiling because it gives the most negative principal rightmost-eigenvalue real part in the sampled stable sweep. A 0.2 % , 50 ms pulse and small modal perturbations compare it with the stable baseline μ = 1 . For the nonlinear check, let z ( t ) denote the corresponding modal coordinate. Its envelope is fitted as
| z ( t ) | C exp ( α fit t ) ,
where α fit is the time-domain fitted decay rate, not a second eigenvalue. Every accepted case is required to have a negative rightmost-eigenvalue real part and a negative time-domain fitted decay rate. Every nonlinear CA-PF result uses γ = 4 and R ¯ c = 0.05 p.u.

7. Results

7.1. Matched Response and Controller Mechanism

Figure 5a shows the central overload under the common filtered active-power measurement architecture. The main axes include load application and restoration, while the inset resolves the first peak. Base-gain PL and PF are visually coincident. Both exceed the 174-MW source ceiling by approximately 5.41 MW and accumulate approximately 0.991 MJ of excess energy. CA-PF reduces the peak exceedance to 2.45 MW and the excess energy to 0.462 MJ.
Because J is an accumulated exposure, Figure 5b shows how the two peak reductions translate into energy. The coincident PL/PF curves reach 0.991 MJ, whereas CA-PF levels off at 0.462 MJ. The single-path component study in Figure 5c shows that shaping cuts J by 55.2% without changing V pk , whereas resistance cuts the peak by 44.2% but raises J by 6.5%. Only the combined controller reduces both metrics by more than 50%.
Figure 5d isolates the voltage-side mechanism by comparing shaped CA-PF with and without R c . The shaped slow path is identical in both traces. During the first transient, the commanded reference depression peaks at approximately 0.012 p.u., while the observed GFM 2 capacitor-voltage magnitude differs by at most 0.011 p.u. The latter is the closed-loop plant response, not the command norm. The voltage then returns to the no-resistance trajectory as the electrical transient decays. Thus, the added path produces a short voltage depression that suppresses the electrical power peak rather than a persistent voltage offset.
The same isolated comparison gives a maximum transient reactive-power difference of 0.0138 device p.u., or 4.13 MVAr on the 300 MVA base, and the two reactive-power trajectories return to the same final value. Thus, R c does perturb voltage magnitude and reactive-power sharing during activation, but the tested effect is bounded and temporary. Applications with tighter voltage or reactive-sharing requirements should reduce R ¯ c through (44) and reassess the peak-reduction tradeoff. The central active-power and source-buffer metrics are summarized in Table 2.

7.2. Source-Side Consequence and Matched Comparison

The source audit in Figure 6a makes the practical consequence explicit. With H dc = 20 ms, PL and PF cross the 0.95 p.u. floor about 180 ms after the load step and reach approximately 0.914 p.u.; CA-PF remains at 0.961 p.u. At the same floor, Figure 6b gives minimum buffer constants of 33.9 ms for PL/PF and 15.8 ms for CA-PF. The current-reference limiter remains inactive in every realization.
Figure 7 places the matched baseline PL and PF results beside the proposed CA-PF result, with both metrics normalized to PF. The coincident PL/PF bars confirm their matched behavior, whereas CA-PF reduces both the first peak and the violation area.

7.3. Resistance-Ceiling Selection

Proposition 5 already establishes that R ¯ c cannot change the strict active-branch Jacobian because R c ( 0 ) = R c ( 0 ) = 0 . The resistance ceiling must therefore be selected from finite-amplitude performance rather than a root locus. Figure 8 shows that the peak falls monotonically, while violation area and frequency deviation form a design knee. The selected R ¯ c = 0.05 p.u. is the first tested ceiling at which both peak and area lie below one half of base PF. This balanced threshold is not a claim of per-metric optimality. The current-reference limiter stays inactive throughout.

8. Robustness and CA-PF Slow-Path Stability

8.1. Ten-Scenario Robustness

Table 3 reports every tested droop-controlled GFM scenario with unchanged CA-PF parameters on the same 300 MVA GFM 2 base. It now exposes both matched baselines rather than showing PF alone. PL and PF agree to the displayed peak precision in all cases, and their excess energies differ by less than 1%. Peak reduction relative to PF ranges from 38.7% to 55.4%, and excess-energy reduction ranges from 34.1% to 62.2%. The ± 10 % LCL corners retain approximately 54.7% peak reduction and 53.4% energy reduction. Under bounded measurement noise, the corresponding reductions are 47.8% and 52.0%, with no false pre-event activation because the operating margin exceeds the imposed noise bound. For a common voltage floor, (7) gives the same percentage reduction in required H dc . Every reduction remains positive, terminal-power exceedance returns to zero after load restoration, and the current-reference limiter remains inactive. These are deterministic sensitivity tests over the declared set, not a probabilistic robustness guarantee.

8.2. Sequential Multi-Source Constraint Activation

The preceding matched comparison establishes the benefit on one constrained unit. The CA-PF-only network trajectory is extended here to test sequential activation of two source ceilings without introducing a voltage or frequency disturbance. Starting from terminal powers of approximately 72, 163, and 85 MW, the balanced load multiplier changes from 1 to 1.2 at 1.5 s and to 1.3 at 2.5 s. These changes are reversed at 3.5 and 4.5 s. The declared ceilings are 174 MW for GFM 2 and 108 MW for GFM 3, giving initial headrooms of 11 and 23 MW.
Figure 9a shows the terminal powers, both ceilings, and the resulting steady active-set sequence. In the 2.2–2.4 s interval, the mean powers are approximately 89, 174, and 103.3 MW, and only GFM 2 is active. In the 3.2–3.4 s interval, they become approximately 107, 173.7, and 107.7 MW, and the active set is { 2 , 3 } . Figure 9b shows the corresponding increments. Once both limits are active, GFM 1 carries approximately 35 MW of incremental generation, while GFMs 2 and 3 supply 10.7 and 22.7 MW. Reversing the load sequence returns the active set first to { 2 } and then to the empty set. The largest final terminal-power error is 0.06 MW.
Figure 9c replaces nearly coincident raw measurements with the more legible instantaneous-minus-filtered power gaps. Their maximum magnitudes are approximately 13.3 and 13.9 MW for GFMs 2 and 3. Figure 9d shows that each load transition produces a short resistance action followed by the slower shaped multiplier response. The peak resistances are approximately 0.031 and 0.02 p.u. for GFMs 2 and 3, respectively.
The maximum current reference is approximately 0.61 p.u., the current limiter remains inactive, the minimum converter capacitor-voltage magnitude is approximately 0.99 p.u., and the largest frequency deviation is 0.09 Hz. The trajectory therefore isolates decentralized source-power redistribution across changing active sets while retaining the intended fast/slow CA-PF coordination.

8.3. Stable CA-PF Slow-Path Verification

The full-order screen is used here only to select stable operating settings. In the principal active branch, the real part of the rightmost finite eigenvalue is 5.95 s−1 at the baseline μ = 1 and 9.23 s−1 at the selected μ = 10 . The corresponding time-domain fitted decay rates are also 5.95 and 9.23 s−1. Figure 10 applies the same small load pulse to both settings. Every terminal-frequency deviation returns to zero, and the current-reference limiter remains inactive. The selected setting has the faster principal decay but a larger initial frequency excursion, 1.89 mHz rather than 0.75 mHz, so the gain choice remains a damping–excursion tradeoff rather than a rule to maximize μ .
Table 4 extends the check to five active sets. Every time-domain fitted decay rate is negative at both settings. The selected value increases the decay rate in four cases and remains strongly negative in the joint GFM 1/2 case. The 86.4 screen ceiling is therefore retained as an admissibility limit, not used as a performance target. Every reported trajectory decays.

9. Discussion

Every operating condition reported in the case studies is stable under both eigenvalue analysis and nonlinear simulation. The baseline and selected CA-PF settings give negative rightmost-eigenvalue real parts and negative time-domain fitted decay rates across all five tested active sets. This evidence verifies the selected parameter range without attributing a new adverse local dynamic mechanism to PF or CA-PF. Proposition 5 further shows that the proposed finite-amplitude paths introduce no new first-order local mode on the strict active branch. The fixed common channels parameterized by K R and K D remain separate from R c , which is zero in normal operation, driven by P e P max , bounded, and transient.
Robustness has two distinct meanings in this comparison. Locally, CA-PF has exactly the same strict active-branch linearization as PF, while PL requires its own generalized-slope screen. For finite disturbances, Table 3 shows that CA-PF retains positive peak and energy reductions relative to both nearly coincident PL and PF baselines across operating-point, plant, network, controller, and measurement variations. The bounded fast action and the quadratic noise bound in (34) explain why this sensitivity is gradual. They do not establish robustness outside the tested parameter set.
The inactive current limiter has a separate interpretation in the overload study. Its largest current request is approximately 0.6 p.u. against a 2 p.u. limit, so the central event is not an AC overcurrent event. It is deliberately a source-limited operating condition in which the available active power, 174 MW, is below the converter’s transient current capability. The three-GFM trajectory extends this interpretation. GFM 2 first reaches its declared source ceiling, then GFMs 2 and 3 become constrained together, and GFM 1 supplies the remaining feasible imbalance. Reversing the load sequence releases the constraints in the opposite order without current-limiter engagement. The source audit then gives the per-unit violation a physical test. PF crosses a declared DC-voltage floor, while CA-PF avoids it over the nonempty range 15.8 < H dc < 33.9 ms. Changing units alone would not establish this outcome.
The audit also limits the claim. It assumes a lossless averaged bridge, no recharge credit, and no feedback before protection pickup. It does not establish battery state-of-charge, thermal damage, fuel-cell stress, or the post-trip response. A technology-specific application must replace (5) with its DC source, regulator, and protection logic. The supported controller and stability claims remain local to the declared fixed branches and mechanism-specific to the tested full-order AC model class. Appendix A shows the second-order structure behind the local-model preservation result, and Appendix B states precisely what the eigenvalue-based screen does and does not imply. Global certificates, simultaneous active-power/current-limit transitions, PWM switching, post-protection DC/AC interaction, unbalanced faults, and EMT or hardware validation remain outside the present scope.
The formulation is benchmark independent, but transfer to another GFM law is conditional rather than automatic. It requires a locally available terminal-power signal, a source-limiting port in the synchronization or power-regulation channel, and a voltage-reference port that accepts the bounded term R c i 2 . A virtual synchronous machine (VSM) can place the slow correction in its virtual mechanical-power or swing channel. Dispatchable virtual oscillator control (dVOC) can admit an analogous voltage-vector correction, but its state map, steady-state conditions, and local model differ from those studied here. For either architecture, the boundary identities Δ F ( x ¯ ) = 0 and D Δ F ( x ¯ ) = 0 and the full-order screen must therefore be re-established. The present numerical evidence is limited to the detailed droop-controlled realization.
CA-PF is decentralized. Each converter uses its own terminal voltage, current, filtered power, and source ceiling, so there is no inter-converter communication delay in the feedback law. Sensor, anti-alias-filter, computation, and actuation delays remain relevant local delays and must be represented in F c when they are not negligible. A delayed supervisory update of P max is a separate scheduling issue and is not covered by the present tests.
Three-phase faults and deep voltage sags primarily engage fault-ride-through and current-limiting logic, while converter disconnection changes both topology and power-balance feasibility. These events cannot be interpreted as stronger versions of the load-step test. After a disconnection, a necessary steady-state feasibility condition is
i C on P max , i P load + P loss ,
where C on is the connected converter set. If this condition fails, no active-power limiter can create a feasible equilibrium. If it holds, the post-event topology, current-limiter mode, and reachable CA-PF active sets require a new hybrid stability screen. Consequently, this paper does not claim fault, sag, or disconnection robustness. Their credible evaluation requires coordinated current limiting, fault-ride-through controls, topology-dependent feasibility checks, and EMT or hardware validation.

10. Conclusions

This paper identified a concrete limitation of PL and PF in a detailed droop-controlled GFM implementation. Their filtered outer power–frequency path does not supply a voltage-reference action for the first electrical power peak. It addressed this limitation with CA-PF, which coordinates a bounded, instantaneous-power-triggered resistance path with a shaped PF multiplier. Both paths vanish to first order at the binding constraint, so the corresponding PF equilibrium and active-branch Jacobian are preserved.
The full-order comparison changes the conclusion available from PL/PF alone. On the 300 MVA monitored converter, CA-PF reduces the peak exceedance from 5.41 to 2.45 MW, a 54.7% reduction, and reduces excess energy by 53.4%. At a 0.95 p.u. DC-voltage floor, the audited buffer requirement falls from 33.9 ms for PF to 15.8 ms for CA-PF. The independent current limiter remains inactive, confirming that this result concerns source power rather than AC overcurrent. The component study explains the mechanism. Shaping alone cannot change the filtered first peak, whereas resistance alone does not reduce sustained exposure. Both metrics improve across seven droop-controlled GFM scenarios.
Full-order screening confirms that the baseline and selected CA-PF gains retain negative rightmost-eigenvalue real parts across the declared active branches, and the corresponding nonlinear perturbations decay. The CA-PF-only network study confirms the active-set sequence from one constrained source to two constrained sources and back, while the remaining converter supplies the feasible imbalance. It also makes the instantaneous/filtered power separation and the resulting fast/slow actions visible in one trajectory. The source-buffer result is a pre-trip exposure audit, not a universal DC-source claim.
The present scope is limited to local fixed-branch analysis and balanced averaged-model validation on the studied three-converter network. Future work will address finite-amplitude certification, broader multi-converter validation, and EMT or hardware implementation.

Author Contributions

Conceptualization, I.A.; methodology, I.A. and A.A.; software, I.A.; validation, I.A. and A.A.; formal analysis, I.A.; investigation, I.A.; data curation, I.A.; writing—original draft, I.A.; writing—review & editing, I.A. and A.A.; visualization, I.A.; supervision, A.A.; project administration, I.A. and A.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

All data supporting the reported findings are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
CA-PFConstraint-activated projection-free control
DAEDifferential-algebraic equation
GFMGrid-forming converter
LCLInductor-capacitor-inductor filter
ODEOrdinary differential equation
PFProjection-free active-power limiting
PLProjected active-power limiting
VSGVirtual synchronous generator
Nomenclature
PL / PF Projected and projection-free active-power limiting, respectively.
CA - PF Proposed constraint-activated controller.
P e , P m Instantaneous and filtered active-power signals.
P min / max Lower and upper active-power limits.
v dc , H dc Audited DC-buffer voltage and normalized energy constant.
ϕ c ν Frequency-channel correction of architecture c.
λ ν , λ s , ν Projected multiplier state in PL and unconstrained multiplier state
in PF, respectively.
k P , k I , ρ Limiter gains and PF time-scale ratio ρ = k P / k I .
ψ γ , ϵ , R c Nonlinear residual-shaping map and bounded constraint-activated resistance
with ceiling R ¯ c .
μ , μ use , c Convergence-rate multiplier and architecture-specific value retained after
stability screening.
K R , K D Fixed gains of the common virtual-resistance and transient-damping
channels ( R c ).

Appendix A. Second-Order Structure of the CA-PF Augmentation

As the upper-limit residual e 0 , the CA-PF additions satisfy
ψ γ , ϵ ( e ) e = γ [ e ] + 2 ϵ + [ e ] + = O ( [ e ] + 2 ) , R c ( e ) i 2 = O ( [ e ] + 2 ) ,
and therefore
ψ ( 0 ) = 0 , ψ ( 0 ) = 1 , R c ( 0 ) = 0 , R c ( 0 ) = 0 .
Thus, the shaped slow path has the same differential as PF at the constraint boundary e = 0 , while the fast path contributes no first-order voltage-reference perturbation. This yields the equilibrium and active-branch Jacobian identity used in Proposition 5.

Appendix B. Mathematical Scope of the Stability Screen

Let B c collect the declared operating-point, active-set, topology, and PL-slope realizations for architecture c, and let A ˜ b ( μ ) denote the finite-dynamics state matrix obtained from the regular linearized model of branch b B c . The screen establishes the pointwise margin
Δ c = max b B c α A ˜ b ( μ use , c ) > 0 ,
followed by nonlinear disturbance tests at the retained multiplier. This is a fixed-branch local statement. In particular,
Δ c > 0 P = P 0 such that A ˜ b P + P A ˜ b 0 b B c ,
so the screen is not a common quadratic certificate through branch transitions. It also does not provide a nonlinear region Ω and Lyapunov function V, satisfying
V ( x ) F ˜ c ( x , d ; μ , θ ) < 0 , x Ω { x ¯ c } ,
for arbitrary disturbances, limiter switching, or simultaneous current-reference saturation. Consequently, (43) must be recomputed when the declared scenario or branch set changes; it is a conservative architecture-specific design screen, not a global nonlinear stability theorem.

References

  1. Milano, F.; Dörfler, F.; Hug, G.; Hill, D.J.; Verbič, G. Foundations and Challenges of Low-Inertia Systems (Invited Paper). In Proceedings of the 2018 Power Systems Computation Conference (PSCC); IEEE: New York, NY, USA, 2018; pp. 1–25. [Google Scholar] [CrossRef] [Scilit]
  2. Marković, U.; Stanojev, O.; Aristidou, P.; Vrettos, E.; Callaway, D.S.; Hug, G. Understanding Small-Signal Stability of Low-Inertia Systems. IEEE Trans. Power Syst. 2021, 36, 3997–4017. [Google Scholar] [CrossRef] [Scilit]
  3. Subotić, I.; Groß, D.; Colombino, M.; Dörfler, F. A Lyapunov Framework for Nested Dynamical Systems on Multiple Time Scales With Application to Converter-Based Power Systems. IEEE Trans. Autom. Control 2021, 66, 5909–5924. [Google Scholar] [CrossRef] [Scilit]
  4. Lasseter, R.H. Microgrids. In Proceedings of the 2002 IEEE Power Engineering Society Winter Meeting; IEEE: New York, NY, USA, 2002; Volume 1, pp. 305–308. [Google Scholar] [CrossRef] [Scilit]
  5. Simpson-Porco, J.W.; Dörfler, F.; Bullo, F. Synchronization and Power Sharing for Droop-Controlled Inverters in Islanded Microgrids. Automatica 2013, 49, 2603–2611. [Google Scholar] [CrossRef] [Scilit]
  6. Johnson, B.B.; Dhople, S.V.; Hamadeh, A.O.; Krein, P.T. Synchronization of Nonlinear Oscillators in an LTI Electrical Power Network. IEEE Trans. Circuits Syst. I 2014, 61, 834–844. [Google Scholar] [CrossRef] [Scilit]
  7. Arghir, C.; Jouini, T.; Dörfler, F. Grid-Forming Control for Power Converters Based on Matching of Synchronous Machines. Automatica 2018, 95, 273–282. [Google Scholar] [CrossRef] [Scilit]
  8. Tayyebi, A.; Groß, D.; Anta, A.; Kupzog, F.; Dörfler, F. Frequency Stability of Synchronous Machines and Grid-Forming Power Converters. IEEE J. Emerg. Sel. Top. Power Electron. 2020, 8, 1004–1018. [Google Scholar] [CrossRef] [Scilit]
  9. Xu, Y.; Qu, Z.; Qi, J. State-Constrained Grid-Forming Inverter Control for Robust Operation of AC Microgrids. In Proceedings of the 2020 European Control Conference (ECC); IEEE: New York, NY, USA, 2020; pp. 471–474. [Google Scholar] [CrossRef] [Scilit]
  10. Hart, P.J.; Gong, M.; Liu, H.; Chen, Z.; Zhang, Y.; Wang, Y. Provably-Stable Overload Ride-Through Control for Grid-Forming Inverters Using System-Wide Lyapunov Function Analysis. IEEE Trans. Energy Convers. 2022, 37, 2761–2776. [Google Scholar] [CrossRef] [Scilit]
  11. Baier, C.R.; Melin, P.E.; Torres, M.A.; Ramirez, R.O.; Muñoz, C.; Quinteros, A. Developing and Evaluating the Operating Region of a Grid-Connected Current Source Inverter from Its Mathematical Model. Mathematics 2024, 12, 1775. [Google Scholar] [CrossRef] [Scilit]
  12. Groß, D.; Dörfler, F. Projected Grid-Forming Control for Current-Limiting of Power Converters. In Proceedings of the 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton); IEEE: New York, NY, USA, 2019; pp. 326–333. [Google Scholar] [CrossRef] [Scilit]
  13. Baeckeland, N.; Chatterjee, D.; Lu, M.; Johnson, B.B.; Seo, G.S. Overcurrent Limiting in Grid-Forming Inverters: A Comprehensive Review and Discussion. IEEE Trans. Power Electron. 2024, 39, 14493–14517. [Google Scholar] [CrossRef] [Scilit]
  14. Askarov, A.; Radko, P.; Bay, Y.; Gusarov, I.; Kabirov, V.; Ilyushin, P.; Suvorov, A. Overcurrent Limiting Strategy for Grid-Forming Inverters Based on Current-Controlled VSG. Mathematics 2025, 13, 3207. [Google Scholar] [CrossRef] [Scilit]
  15. Du, W.; Lasseter, R.H.; Khalsa, A.S. Survivability of Autonomous Microgrid During Overload Events. IEEE Trans. Smart Grid 2019, 10, 3515–3524. [Google Scholar] [CrossRef] [Scilit]
  16. Du, W. Model Specification of Droop-Controlled, Grid-Forming Inverters (REGFM_A1); Technical Report PNNL-35110; Pacific Northwest National Laboratory: Richland, WA, USA, 2023. [CrossRef] [Scilit]
  17. Iraniparast, A.; Groß, D. Networked Dynamics with Application to Frequency Stability of Grid-Forming Power-Limiting Droop Control. IEEE Trans. Control Netw. Syst. 2025, 12, 2856–2867. [Google Scholar] [CrossRef] [Scilit]
  18. Iraniparast, A.; Groß, D. Stability and Convergence of Multi-Converter Systems Using Projection-Free Power-Limiting Droop Control. arXiv 2026, arXiv:2602.16036. [Google Scholar]
  19. Tang, Y.; Qu, G.; Li, N. Semi-Global Exponential Stability of Augmented Primal–Dual Gradient Dynamics for Constrained Convex Optimization. Syst. Control Lett. 2020, 144, 104754. [Google Scholar] [CrossRef] [Scilit]
  20. Groß, D.; Colombino, M.; Brouillon, J.S.; Dörfler, F. The Effect of Transmission-Line Dynamics on Grid-Forming Dispatchable Virtual Oscillator Control. IEEE Trans. Control Netw. Syst. 2019, 6, 1148–1160. [Google Scholar] [CrossRef] [Scilit]
  21. Häberle, V.; He, X.; Huang, L.; Dörfler, F.; Low, S.H. Decentralized Parametric Stability Certificates for Grid-Forming Converter Control. arXiv 2025, arXiv:2503.05403. [Google Scholar]
  22. Askarov, A.; Bay, Y.; Ufa, R.; Radko, P.; Ilyushin, P.; Suvorov, A. Signatures and Mechanism Analysis of Converter-Grid Subsynchronous Oscillations. Mathematics 2024, 12, 3884. [Google Scholar] [CrossRef] [Scilit]
  23. Rosso, R.; Wang, X.; Liserre, M.; Lu, X.; Engelken, S. Grid-Forming Converters: Control Approaches, Grid-Synchronization, and Future Trends: A Review. IEEE Open J. Ind. Appl. 2021, 2, 93–109. [Google Scholar] [CrossRef] [Scilit]
  24. Kenyon, R.W.; Sajadi, A.; Hodge, B.M. Autonomous Grid-Forming Inverter Exponential Droop Control for Improved Frequency Stability. Int. J. Electr. Power Energy Syst. 2025, 172, 111160. [Google Scholar] [CrossRef] [Scilit]
  25. Me, S.P.; Zabihi, S.; Blaabjerg, F.; Bahrani, B. Adaptive Virtual Resistance for Postfault Oscillation Damping in Grid-Forming Inverters. IEEE Trans. Power Electron. 2022, 37, 3813–3824. [Google Scholar] [CrossRef] [Scilit]
  26. Zhou, X.; Zhang, L.; Peng, H.; Hong, L.; Xu, Q.; Zhang, Z.; Shao, J.; Ma, J.; Hu, Y. An Improved Grid-Forming Control Method With Adaptive Virtual Impedance Combining Current Limitation and Transient Stability Improvement. Int. J. Electr. Power Energy Syst. 2026, 175, 111659. [Google Scholar] [CrossRef] [Scilit]
  27. Askarov, A.; Rudnik, V.; Ruban, N.; Radko, P.; Ilyushin, P.; Suvorov, A. Enhanced Virtual Synchronous Generator with Angular Frequency Deviation Feedforward and Energy Recovery Control for Energy Storage System. Mathematics 2024, 12, 2691. [Google Scholar] [CrossRef] [Scilit]
  28. Dupuis, P.; Nagurney, A. Dynamical Systems and Variational Inequalities. Ann. Oper. Res. 1993, 44, 7–42. [Google Scholar] [CrossRef] [Scilit]
  29. Yazdani, A.; Iravani, R. Voltage-Sourced Converters in Power Systems: Modeling, Control, and Applications; Wiley: Hoboken, NJ, USA, 2010. [Google Scholar]
  30. Gajare, P.M.; Benzaquen, J.; Divan, D. Grid-Forming Controller With Enhanced Disturbance Rejection. IEEE J. Emerg. Sel. Top. Power Electron. 2025, 13, 5201–5217. [Google Scholar] [CrossRef] [Scilit]
  31. Clarke, F.H. Optimization and Nonsmooth Analysis; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 1990. [Google Scholar] [CrossRef] [Scilit]
  32. Khalil, H.K. Nonlinear Systems, 3rd ed.; Prentice-Hall: Upper Saddle River, NJ, USA, 2002. [Google Scholar]
  33. Kunkel, P.; Mehrmann, V. Differential-Algebraic Equations: Analysis and Numerical Solution; European Mathematical Society: Zürich, Switzerland, 2006. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  34. Zimmerman, R.D.; Murillo-Sánchez, C.E.; Thomas, R.J. MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education. IEEE Trans. Power Syst. 2011, 26, 12–19. [Google Scholar] [CrossRef] [Scilit]
Figure 1. Study foundations showing constraint geometry, the averaged grid-forming converter (GFM) network port, and the separated constraint-activated projection-free (CA-PF) paths.
Figure 1. Study foundations showing constraint geometry, the averaged grid-forming converter (GFM) network port, and the separated constraint-activated projection-free (CA-PF) paths.
Mathematics 14 03037 g001
Figure 2. Converter signal flow with the filtered slow limiter and instantaneous CA-PF voltage-reference path.
Figure 2. Converter signal flow with the filtered slow limiter and instantaneous CA-PF voltage-reference path.
Mathematics 14 03037 g002
Figure 3. Signal-level comparison of the PL , PF , and proposed CA - PF upper-limit branches.
Figure 3. Signal-level comparison of the PL , PF , and proposed CA - PF upper-limit branches.
Mathematics 14 03037 g003
Figure 4. Kron-reduced dynamic validation network and declared source ceilings.
Figure 4. Kron-reduced dynamic validation network and declared source ceilings.
Mathematics 14 03037 g004
Figure 5. Central overload, accumulated exposure, component study, and transient voltage effect.
Figure 5. Central overload, accumulated exposure, component study, and transient voltage effect.
Mathematics 14 03037 g005
Figure 6. One-way source-buffer audit of the verified active-power trajectories.
Figure 6. One-way source-buffer audit of the verified active-power trajectories.
Mathematics 14 03037 g006
Figure 7. Matched PL, PF, and proposed CA-PF comparison of peak and violation area.
Figure 7. Matched PL, PF, and proposed CA-PF comparison of peak and violation area.
Mathematics 14 03037 g007
Figure 8. Finite-amplitude sweep used to select the resistance ceiling.
Figure 8. Finite-amplitude sweep used to select the resistance ceiling.
Mathematics 14 03037 g008
Figure 9. Sequential activation and release of two CA-PF source ceilings.
Figure 9. Sequential activation and release of two CA-PF source ceilings.
Mathematics 14 03037 g009
Figure 10. Stable CA-PF responses under an identical small load pulse.
Figure 10. Stable CA-PF responses under an identical small load pulse.
Mathematics 14 03037 g010
Table 1. Case-study parameters (device p.u. unless noted).
Table 1. Case-study parameters (device p.u. unless noted).
QuantityValue
Droop m p , m q ; filters T P , T Q , T V 0.01, 0.05; 10 ms
LCL L f , R f , C f ; coupling R e + j X e 0.1, 0.01, 0.05; j 0.15
Outer Q–V PI ( K P v out , K I v out ) ; E min , E max ( 0 , 5.86 ) ; ( 0 , 1.15 )
Reactive limiter ( Q min , Q max ) ; ( k P q , k I q ) ( 0.44 , 0.44 ) ; ( 3 , 20 )
Inner voltage PI ( K P v , K I v ) ; current feedforward β i ( 1.6 , 600 ) ; 1
Inner current PI ( K P i , K I i ) ; current loop τ i ( 1.061 , 40 ) ; 0.25 ms
Current limit I max (circular)2
System base; GFM bases [MVA]100; ( 250 , 300 , 270 )
Base limiter ( k P 0 , k I 0 , ρ 0 ) ( 0.01 , 0.1 , 0.1 )
CA-PF ( γ , ϵ , R ¯ c , ϵ R ) ( 4 , 0.01 , 0.05 , 0.01 )
Common virtual resistance/transient damping ( K R , K D ) ; ( τ R , τ D ) ( 0.03 , 0.03 ) ; 4 ms
Baseline/selected CA-PF multiplier μ 1/10
Stability-screen ceiling; smallest verified stable endpoint86.4; 96.0
Central load event × 1.2 , 1.5–3 s
GFM 2 source ceiling0.58 (174 MW)
Multi-stage load event × 1.2 / × 1.3 , reversed at 3.5/4.5 s
GFM 3 stage-2 source ceiling0.4 (108 MW)
Source audit H dc ; voltage floor20 ms; 0.95 p.u.
Slow-path horizon; modal pulse3 s; + 0.2 % , 0.4–0.45 s
Table 2. Central active-power-limiting and source-buffer metrics.
Table 2. Central active-power-limiting and source-buffer metrics.
MetricPLPFCA-PF
Peak excess [MW]5.415.412.45
Excess energy [MJ]0.9910.9910.462
Time above 0.3 MW [s]0.520.520.27
Min. v dc , H dc = 20  ms [p.u.]0.9140.9140.961
H dc min , 0.95 p.u. floor [ms]33.933.915.8
Table 3. PL, PF, and proposed CA-PF across ten full-order scenarios.
Table 3. PL, PF, and proposed CA-PF across ten full-order scenarios.
Peak Exceedance [MW]CA-PF Reduction vs. PF [%]
ScenarioPLPFCA-PFPeakExcess Energy
Central5.415.412.4554.753.4
Moderate load1.481.480.7946.434.1
Severe load9.239.234.5351.059.2
Tight limit11.4111.416.9938.762.2
Slow measurement5.415.412.7149.951.1
Weak network5.985.982.6755.450.9
Droop heterogeneity5.415.412.5253.447.5
LCL parameters 10 % 5.425.422.4554.953.4
LCL parameters + 10 % 5.405.402.4554.753.5
Bounded measurement noise5.415.412.8247.852.0
Table 4. Stable CA-PF time-domain fitted decay rates across active sets.
Table 4. Stable CA-PF time-domain fitted decay rates across active sets.
Active ConstraintGFM 1 UpperGFM 2 UpperGFM 3 UpperGFM 1+2 UpperGFM 3 Lower
α fit ( μ = 1 ) [s−1] 6.23 5.95 6.57 7.36 7.06
α fit ( μ = 10 ) [s−1] 9.83 9.23 10.3 6.85 11.05
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Alsaleh, I.; Alassaf, A. Constraint-Activated Projection-Free Control for Power-Limited Droop-Controlled Grid-Forming Networks. Mathematics 2026, 14, 3037. https://doi.org/10.3390/math14173037

AMA Style

Alsaleh I, Alassaf A. Constraint-Activated Projection-Free Control for Power-Limited Droop-Controlled Grid-Forming Networks. Mathematics. 2026; 14(17):3037. https://doi.org/10.3390/math14173037

Chicago/Turabian Style

Alsaleh, Ibrahim, and Abdullah Alassaf. 2026. "Constraint-Activated Projection-Free Control for Power-Limited Droop-Controlled Grid-Forming Networks" Mathematics 14, no. 17: 3037. https://doi.org/10.3390/math14173037

APA Style

Alsaleh, I., & Alassaf, A. (2026). Constraint-Activated Projection-Free Control for Power-Limited Droop-Controlled Grid-Forming Networks. Mathematics, 14(17), 3037. https://doi.org/10.3390/math14173037

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Article metric data becomes available approximately 24 hours after publication online.
Back to TopTop