HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: arydshln

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: CC BY 4.0
arXiv:2402.16765v1 [eess.SY] 26 Feb 2024
\old@ps@headings

Oscillations-Aware Frequency Security Assessment via Efficient Worst-Case Frequency Nadir Computation

Yan Jiang and Baosen Zhang Department of Electrical and Computer Engineering
University of Washington, Seattle, U.S.A.
{jiangyan, zhangbao}@uw.edu
   Hancheng Min Department of Electrical and Systems Engineering
University of Pennsylvania, Philadelphia, U.S.A.
[email protected]
Abstract

Frequency security assessment following major disturbances has long been one of the central tasks in power system operations. The standard approach is to study the center of inertia frequency, an aggregate signal for an entire system, to avoid analyzing the frequency signal at individual buses. However, as the amount of low-inertia renewable resources in a grid increases, the center of inertia frequency is becoming too coarse to provide reliable frequency security assessment. In this paper, we propose an efficient algorithm to determine the worst-case frequency nadir across all buses for bounded power disturbances, as well as identify the power disturbances leading to that severest scenario. The proposed algorithm allows oscillations-aware frequency security assessment without conducting exhaustive simulations and intractable analysis.

Index Terms:
Frequency security assessment, power system oscillations, worst-case frequency nadir.
\thanksto

Y. Jiang and B. Zhang are partially supported by NSF award ECCS-2153937.

I Introduction

Frequency security assessment following major disturbances is an important problem in power system operations. In compact power systems where the whole system can be modelled as an equivalent synchronous machine, there is a relatively complete understanding of the frequency dynamics, with explicit formulas derived for quantities such as frequency nadir and rate of change of frequency [jiangtps2021]. However, for power systems whose inter-machine oscillations are unignorable, the frequency security assessment becomes challenging as the magnitude and location of oscillations depend on a number of factors, including inertia, dam**, spatial shape of the excitation, network connectivity, and other operating conditions.

One approach to reduce the size of the problem is to study the center of inertia (COI) frequency, which is the inertia-weighted average of the frequency signals at individual buses [milano2017rotor, azizi2020local]. This approach works well when all buses exhibit a relatively coherent frequency response [Min2021lcss]. However, as increased amount of low-inertia renewable resources located in remote areas enter the grid through long transmission lines, it becomes insufficient to only consider the COI frequency since significant oscillations can occur which makes the transient frequencies on individual buses deviate drastically from the COI frequency.

Large oscillations can become a major obstacle towards power system stability, which makes them receive extensive attention from the power engineering community (see [klein1991fundamental, rogers2000, aboul1996dam**, rafique2022bibliographic] and references within). However, the fact that oscillations present a variety of highly-coupled interaction among individual buses makes it nontrivial to provide analytical results in large-scale power systems. For example, although it has been widely realized that the transmission network topology and line parameters play prominent roles in spatiotemporal dynamics of oscillations, their exact impact on system oscillatory behavior is far from well-understood. Therefore, dynamical simulations are typically needed to study the impact of network structure and parameters changes [rogers2000, Gautam2009TPS, Pagnier2019Plos, zhangtseoscillation], which is inefficient since the number of possible scenarios that needs to be simulated can be significant before one can gain insight. A recent effort to avoid dynamical simulations is by providing a conservative analytical boundary for individual oscillatory bus frequencies under any given power disturbances [Khamisov2024TPS], whose cumbersome expressions, however, make it still hard to reveal the system level tolerance to arbitrary bounded power disturbances without running extensive numerical tests.

Recently, techniques and results directly providing analytical insights on oscillations at weak grid conditions have gained renewed interest, which are typically done by investigating the network Laplacian [guo2018cdc, rouco1998eigenvalue, Minl4dc23cluster] or adjacency [AllibhoyOJCSoscillation] matrix. These approaches have uncovered many interesting patterns, but they cannot yet answer some specific power system operational questions. For instance, an important question is to find the worst-case oscillations (in terms of frequency nadir) for bounded power disturbances, which can serve as more reliable frequency security assessment in power systems with high renewables than the COI frequency. However, there is no existing guideline on how to do this beyond exhaustive simulations or conservative bounds from spectral graph theory.

In this paper, we propose an efficient worst-case frequency nadir computation algorithm, which enables us to conduct oscillations-aware frequency security assessment without the need for exhaustive simulations and intractable analysis. Moreover, we demonstrate that what allocation of power disturbances will lead to the worst-case frequency nadir varies with the network connectivity. Particularly, we show the worstness of evenly injected disturbances in homogeneous power networks with strong connectivity. As for more practical settings, one can resort to our proposed algorithm to avoid exhaustive simulations and intractable analysis.

The rest of this paper is organized as follows. Section II describes the power system model and formalizes the worst-case frequency nadir problem. Section III derives an efficient algorithm to solve this problem, where a proportionality assumption on generation unit parameters is used to ease the problem. Section LABEL:sec:homo-case illustrates, through theoretical analyses on power networks with homogeneous generation units, the high dependency of the worst-case frequency nadir on network connectivity. Section LABEL:sec:simulation validates the performance of our algorithm through detailed simulations. Section LABEL:sec:conclusion gathers our conclusions and outlook.

II Modeling Approach and Problem Formulation

In this section, we describe the power system model used in this paper and motivate the worst-case frequency nadir problem we aim to solve.

II-A Power System Model

We consider a connected power network composed of n𝑛nitalic_n buses indexed by i𝒩:={1,,n}𝑖𝒩assign1𝑛i\in\mathcal{N}:=\{1,\dots,n\}italic_i ∈ caligraphic_N := { 1 , … , italic_n } and transmission lines denoted by unordered pairs {i,j}{{i,j}:i,j𝒩,ij}𝑖𝑗conditional-set𝑖𝑗formulae-sequence𝑖𝑗𝒩𝑖𝑗\{i,j\}\in\mathcal{E}\subset\{\{i,j\}:i,j\in\mathcal{N},i\neq j\}{ italic_i , italic_j } ∈ caligraphic_E ⊂ { { italic_i , italic_j } : italic_i , italic_j ∈ caligraphic_N , italic_i ≠ italic_j }, whose linearized dynamics around an operating point is shown in Fig.1. This is a standard model and interested readers can refer to [Zhao:2013ts] for details on the linearization procedure. The system is modeled as a feedback interconnection of bus dynamics and network dynamics [pm2019preprint, jiang2021tac, jiang2021lcss], where the input and output are the power disturbances 𝒑:=(pi,i𝒩)nassign𝒑subscript𝑝𝑖𝑖𝒩superscript𝑛absent\boldsymbol{p}:=\left(p_{i},i\in\mathcal{N}\right)\in^{n}bold_italic_p := ( italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG) and the bus frequency deviations from the nominal value 𝝎:=(ωi,i𝒩)nassign𝝎subscript𝜔𝑖𝑖𝒩superscript𝑛absent\boldsymbol{\omega}:=\left(\omega_{i},i\in\mathcal{N}\right)\in^{n}bold_italic_ω := ( italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG), respectively.111Throughout this paper, vectors are denoted in lower case bold and matrices are denoted in upper case bold, while scalars are unbolded, unless otherwise specified. Also, 1n,0nnsuperscript𝑛subscript1𝑛subscript0𝑛absent\mathbbold{1}_{n},\mathbbold{0}_{n}\in^{n}1 start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , 0 start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT denote the vectors of all ones and all zeros, respectively, and 𝒆knsuperscript𝑛subscript𝒆𝑘absent\boldsymbol{e}_{k}\in^{n}bold_italic_e start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT denotes the k𝑘kitalic_kth standard basis vector.

Refer to caption
Figure 1: Block diagram of power network.

The bus dynamics that map the net bus power imbalance 𝒑n:=(pn,i,i𝒩)nassignsubscript𝒑nsubscript𝑝n𝑖𝑖𝒩superscript𝑛absent\boldsymbol{p}_{\mathrm{n}}:=\left(p_{\mathrm{n},i},i\in\mathcal{N}\right)\in^% {n}bold_italic_p start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT := ( italic_p start_POSTSUBSCRIPT roman_n , italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG) to the frequency deviations 𝝎𝝎\boldsymbol{\omega}bold_italic_ω can be described by a diagonal transfer matrix 𝑮^(s):=diag(g^i(s),i𝒩)assign^𝑮𝑠diagsubscript^𝑔𝑖𝑠𝑖𝒩\hat{\boldsymbol{G}}(s):=\mathrm{diag}\left(\hat{g}_{i}(s),i\in\mathcal{N}\right)over^ start_ARG bold_italic_G end_ARG ( italic_s ) := roman_diag ( over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_s ) , italic_i ∈ caligraphic_N ) whose diagonal element g^i(s)subscript^𝑔𝑖𝑠\hat{g}_{i}(s)over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_s ) represents the transfer function of a generation unit on bus i𝑖iitalic_i, say a synchronous generator or a grid-forming inverter. A standard example typically includes inertia mi>0subscript𝑚𝑖0m_{i}>0italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 (in  stimesabsentsecond\text{\,}\mathrm{s}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_s end_ARG) and dam** di>0subscript𝑑𝑖0d_{i}>0italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG) terms, i.e.,

g^i(s)=1mis+di,i𝒩.formulae-sequencesubscript^𝑔𝑖𝑠1subscript𝑚𝑖𝑠subscript𝑑𝑖for-all𝑖𝒩\displaystyle\hat{g}_{i}(s)=\dfrac{1}{m_{i}s+d_{i}}\,,\quad\forall i\in% \mathcal{N}\,.over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_s ) = divide start_ARG 1 end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_s + italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG , ∀ italic_i ∈ caligraphic_N . (1)

Then, we have

𝝎^(s)=𝑮^(s)𝒑^n(s),^𝝎𝑠^𝑮𝑠subscript^𝒑n𝑠\displaystyle\hat{\boldsymbol{\omega}}(s)=\hat{\boldsymbol{G}}(s)\hat{% \boldsymbol{p}}_{\mathrm{n}}(s)\,,over^ start_ARG bold_italic_ω end_ARG ( italic_s ) = over^ start_ARG bold_italic_G end_ARG ( italic_s ) over^ start_ARG bold_italic_p end_ARG start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT ( italic_s ) , (2)

where 𝝎^(s)^𝝎𝑠\hat{\boldsymbol{\omega}}(s)over^ start_ARG bold_italic_ω end_ARG ( italic_s ) and 𝒑^n(s)subscript^𝒑n𝑠\hat{\boldsymbol{p}}_{\mathrm{n}}(s)over^ start_ARG bold_italic_p end_ARG start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT ( italic_s ) denote the Laplace transforms of 𝝎𝝎\boldsymbol{\omega}bold_italic_ω and 𝒑nsubscript𝒑n\boldsymbol{p}_{\mathrm{n}}bold_italic_p start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT, respectively.222We use hat to distinguish the Laplace transform from its time domain counterpart.

The network dynamics characterizes the relationship between the fluctuations in power drained into the transmission network 𝒑e:=(pe,i,i𝒩)nassignsubscript𝒑esubscript𝑝e𝑖𝑖𝒩superscript𝑛absent\boldsymbol{p}_{\mathrm{e}}:=\left(p_{\mathrm{e},i},i\in\mathcal{N}\right)\in^% {n}bold_italic_p start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT := ( italic_p start_POSTSUBSCRIPT roman_e , italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG) and the frequency deviations 𝝎𝝎\boldsymbol{\omega}bold_italic_ω, which is given by a linearized model of the power flow equations [Purchala2005dc-flow]:

𝒑^e(s)=𝑳Bs𝝎^(s),subscript^𝒑e𝑠subscript𝑳B𝑠^𝝎𝑠\displaystyle\hat{\boldsymbol{p}}_{\mathrm{e}}(s)=\frac{\boldsymbol{L}_{% \mathrm{B}}}{s}\hat{\boldsymbol{\omega}}(s)\;,over^ start_ARG bold_italic_p end_ARG start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT ( italic_s ) = divide start_ARG bold_italic_L start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_ARG start_ARG italic_s end_ARG over^ start_ARG bold_italic_ω end_ARG ( italic_s ) , (3)

where the matrix 𝑳B:=[LB,ij]n×nassignsubscript𝑳Bdelimited-[]subscript𝐿B𝑖𝑗superscript𝑛𝑛absent\boldsymbol{L}_{\mathrm{B}}:=\left[L_{\mathrm{B},{ij}}\right]\in^{n\times n}bold_italic_L start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT := [ italic_L start_POSTSUBSCRIPT roman_B , italic_i italic_j end_POSTSUBSCRIPT ] ∈ start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT is an undirected weighted Laplacian matrix of the network whose ij𝑖𝑗ijitalic_i italic_jth element is

𝑳B,ij=Ω0θjl=1n|Vi||Vl|Bilsin(θiθl)|𝜽=𝜽0.subscript𝑳B𝑖𝑗evaluated-atsubscriptΩ0subscriptsubscript𝜃𝑗superscriptsubscript𝑙1𝑛subscript𝑉𝑖subscript𝑉𝑙subscript𝐵𝑖𝑙subscript𝜃𝑖subscript𝜃𝑙𝜽subscript𝜽0\boldsymbol{L}_{\mathrm{B},{ij}}=\Omega_{0}\partial_{\theta_{j}}{\sum_{l=1}^{n% }|V_{i}||V_{l}|B_{il}\sin(\theta_{i}-\theta_{l})}\Bigr{|}_{\boldsymbol{\theta}% =\boldsymbol{\theta}_{0}}.bold_italic_L start_POSTSUBSCRIPT roman_B , italic_i italic_j end_POSTSUBSCRIPT = roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT | italic_V start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | | italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT | italic_B start_POSTSUBSCRIPT italic_i italic_l end_POSTSUBSCRIPT roman_sin ( italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) | start_POSTSUBSCRIPT bold_italic_θ = bold_italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT .

Here, 𝜽:=(θi,i𝒩)nassign𝜽subscript𝜃𝑖𝑖𝒩superscript𝑛absent\boldsymbol{\theta}:=\left(\theta_{i},i\in\mathcal{N}\right)\in^{n}bold_italic_θ := ( italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT are the voltage angles with 𝜽0subscript𝜽0\boldsymbol{\theta}_{0}bold_italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT being the equilibrium angles (in  radtimesabsentradian\text{\,}\mathrm{rad}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_rad end_ARG), |Vi|subscript𝑉𝑖|V_{i}|| italic_V start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | is the (constant) voltage magnitude at bus i𝑖iitalic_i (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG), Bijsubscript𝐵𝑖𝑗B_{ij}italic_B start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is the line {i,j}𝑖𝑗\{i,j\}{ italic_i , italic_j } susceptance (in  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG), and Ω0:=2πF0assignsubscriptΩ02𝜋subscript𝐹0\Omega_{0}:=2\pi F_{0}roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT := 2 italic_π italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the nominal frequency (in  rad/stimesabsentrads\text{\,}\mathrm{rad}\mathrm{/}\mathrm{s}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_rad / roman_s end_ARG) with F0subscript𝐹0F_{0}italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT being 50 Hztimes50hertz50\text{\,}\mathrm{Hz}start_ARG 50 end_ARG start_ARG times end_ARG start_ARG roman_Hz end_ARG or 60 Hztimes60hertz60\text{\,}\mathrm{Hz}start_ARG 60 end_ARG start_ARG times end_ARG start_ARG roman_Hz end_ARG depending on the particular system.

We are interested in the closed-loop response of frequency deviations 𝝎𝝎\boldsymbol{\omega}bold_italic_ω following power disturbances 𝒑𝒑\boldsymbol{p}bold_italic_p in the power network shown in Fig. 1. This can be obtained by combining (2) and (3) through the relation 𝒑n=𝒑𝒑esubscript𝒑n𝒑subscript𝒑e\boldsymbol{p}_{\mathrm{n}}=\boldsymbol{p}-\boldsymbol{p}_{\mathrm{e}}bold_italic_p start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT = bold_italic_p - bold_italic_p start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT as

𝝎^(s)=(𝑰n+𝑮^(s)𝑳Bs)1𝑮^(s)𝒑^(s).^𝝎𝑠superscriptsubscript𝑰𝑛^𝑮𝑠subscript𝑳B𝑠1^𝑮𝑠^𝒑𝑠\hat{\boldsymbol{\omega}}(s)=\left(\boldsymbol{I}_{n}+\hat{\boldsymbol{G}}(s)% \frac{\boldsymbol{L}_{\mathrm{B}}}{s}\right)^{-1}\hat{\boldsymbol{G}}(s)\hat{% \boldsymbol{p}}(s)\,.over^ start_ARG bold_italic_ω end_ARG ( italic_s ) = ( bold_italic_I start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + over^ start_ARG bold_italic_G end_ARG ( italic_s ) divide start_ARG bold_italic_L start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT end_ARG start_ARG italic_s end_ARG ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over^ start_ARG bold_italic_G end_ARG ( italic_s ) over^ start_ARG bold_italic_p end_ARG ( italic_s ) . (4)

However, although (4) is a closed-form expression, it is difficult to work with since the size of the matrices and vectors involved could be quite high. A standard simplification is to work with the center of inertia (COI) frequency, defined as

ω¯:=i=1nmiωii=1nmi,assign¯𝜔superscriptsubscript𝑖1𝑛subscript𝑚𝑖subscript𝜔𝑖superscriptsubscript𝑖1𝑛subscript𝑚𝑖\bar{\omega}:=\dfrac{\sum_{i=1}^{n}m_{i}\omega_{i}}{\sum_{i=1}^{n}m_{i}}\,,over¯ start_ARG italic_ω end_ARG := divide start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG , (5)

which is the inertia-weighted average of individual bus frequencies. The COI frequency is a good representative of the system frequency response if the power network is tightly-connected [Min2021lcss]. However, as more renewable resources are integrated, especially at edges of the power network, significant oscillatory behavior could occur. Thus, it becomes insufficient to only consider the COI frequency.

II-B Illustrative Example of Frequency Oscillations

Refer to caption
Refer to caption
(a) All buses are tightly-connected
Refer to caption
Refer to caption
(b) Bus 1111 is weakly-connected from buses 2222 and 3333
Figure 2: A 3333-bus example showing that COI frequency is insufficient for frequency security assessment since the oscillations due to weak connectivity can make the transient frequencies on individual buses deviate drastically from the COI frequency.

To see this, we provide a toy 3333-bus power network example in Fig. 2 to show different types of oscillatory behaviors. Basically, we compare the frequency responses of the system with strong and weak network connectivity by varying the line impedance parameters on the same network topology, where the same generation units are deployed and the same power disturbances are applied in two cases for a fair comparison.333Parameters of generation units are chosen to emulate the Great Britain power system under the high renewable penetration scenario [jiangtps2021, Table 1], i.e., mi=4.38 ssubscript𝑚𝑖times4.38secondm_{i}=$4.38\text{\,}\mathrm{s}$italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = start_ARG 4.38 end_ARG start_ARG times end_ARG start_ARG roman_s end_ARG and di=16 ssubscript𝑑𝑖times16secondd_{i}=$16\text{\,}\mathrm{s}$italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = start_ARG 16 end_ARG start_ARG times end_ARG start_ARG roman_s end_ARG for all buses. When sudden power disturbances 𝒑=[0.1689,0,0]T𝕌t0𝒑superscript0.168900𝑇subscript𝕌𝑡0\boldsymbol{p}=[-0.1689,0,0]^{T}\mathds{U}_{t\geq 0}bold_italic_p = [ - 0.1689 , 0 , 0 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT blackboard_U start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT  p.u.\text{\,}\mathrm{p.u.}start_ARG end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG occur at t=1 s𝑡times1secondt=$1\text{\,}\mathrm{s}$italic_t = start_ARG 1 end_ARG start_ARG times end_ARG start_ARG roman_s end_ARG,444𝕌t0subscript𝕌𝑡0\mathds{U}_{t\geq 0}blackboard_U start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT denotes the unit-step function. the trajectories of the frequencies are as shown in Fig. 2.

For the more tightly-connected system in Fig. 2(a), the frequency trajectories at all buses closely track each other, even though the disturbance is only at bus 1111. In this case, the COI frequency acts as a good proxy of the nodal frequencies. In contrast, the frequency trajectories in Fig. 2(b) exhibit significant oscillations against each other with large nadirs while the COI frequency is well-behaved. Therefore, relying just on the COI frequency could lead to an erroneous conclusion about the frequency security of the system. Of course, the behavior in Fig. 2(b) is not unexpected since bus 1111 is “weakly” connected with the other buses. However, as the power network gets larger, it is more challenging to draw intuitive conclusions, which makes additional analysis techniques become necessary.

II-C Oscillations-Aware Frequency Security Assessment

To provide quantitative tools for frequency security assessment, we focus on the metric of frequency nadir in the rest of the paper, which is defined as the maximum frequency deviation from the nominal frequency at each bus during a transient response, i.e., maxt0|ωi(t)|subscript𝑡0subscript𝜔𝑖𝑡\max_{t\geq 0}|\omega_{i}(t)|roman_max start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT | italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) |. Since a too large frequency nadir could trigger undesired protection measures and even cause cascading failures, its value is crucial to frequency security. For example, the maximum allowed frequency nadir is 800 mHztimes800millihertz800\text{\,}\mathrm{mHz}start_ARG 800 end_ARG start_ARG times end_ARG start_ARG roman_mHz end_ARG (0.016 p.u.0.016\text{\,}\mathrm{p.u.}start_ARG 0.016 end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG on a 50 Hztimes50hertz50\text{\,}\mathrm{Hz}start_ARG 50 end_ARG start_ARG times end_ARG start_ARG roman_Hz end_ARG base) for the European system [Knap2016size] and 500 mHztimes500millihertz500\text{\,}\mathrm{mHz}start_ARG 500 end_ARG start_ARG times end_ARG start_ARG roman_mHz end_ARG (0.01 p.u.0.01\text{\,}\mathrm{p.u.}start_ARG 0.01 end_ARG start_ARG times end_ARG start_ARG roman_p . roman_u . end_ARG on a 50 Hztimes50hertz50\text{\,}\mathrm{Hz}start_ARG 50 end_ARG start_ARG times end_ARG start_ARG roman_Hz end_ARG base) for the Great Britain system [NG2016, NG2016standard].

To make a power network more reliable, our first order of business involves securing its frequency response against unanticipated power disturbances. That is, we would like to prejudge whether the frequency nadir on each bus would stay in the allowed threshold for any step power disturbances 𝒑=𝒖0𝕌t0𝒑subscript𝒖0subscript𝕌𝑡0\boldsymbol{p}=\boldsymbol{u}_{0}\mathds{U}_{t\geq 0}bold_italic_p = bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT blackboard_U start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT with 𝒖0nsuperscript𝑛subscript𝒖0absent\boldsymbol{u}_{0}\in^{n}bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT being arbitrary up to a norm constraint 𝒖0ρnormsubscript𝒖0𝜌\|\boldsymbol{u}_{0}\|\leq\rho∥ bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∥ ≤ italic_ρ for some ρ>0𝜌0\rho>0italic_ρ > 0. Compactly, this asks for the solution of the following worst-case frequency nadir problem:

max𝒑=𝒖0𝕌t0{𝒖0n|𝒖0ρ}\displaystyle\max_{\begin{subarray}{c}\boldsymbol{p}=\boldsymbol{u}_{0}\mathds% {U}_{t\geq 0}\\ \left\{\boldsymbol{u}_{0}\in^{n}\!\,\middle|\,\mathopen{}\!\|\boldsymbol{u}_{0% }\|\leq\rho\right\}\end{subarray}}\!\!\!\!\!\!roman_max start_POSTSUBSCRIPT start_ARG start_ROW start_CELL bold_italic_p = bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT blackboard_U start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL { bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT | ∥ bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∥ ≤ italic_ρ } end_CELL end_ROW end_ARG end_POSTSUBSCRIPT maxi𝒩maxt>0|ωi(t)|subscript𝑖𝒩subscript𝑡0subscript𝜔𝑖𝑡\displaystyle\max_{i\in\mathcal{N}}\ \ \max_{t>0}|\omega_{i}(t)|roman_max start_POSTSUBSCRIPT italic_i ∈ caligraphic_N end_POSTSUBSCRIPT roman_max start_POSTSUBSCRIPT italic_t > 0 end_POSTSUBSCRIPT | italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) | s.t.dynamics(4),\displaystyle\mathrm{s.t.}\quad\mathrm{dynamics}\ \eqref{eq:twp}\,,roman_s . roman_t . roman_dynamics italic_( italic_) , (8)

which is computationally challenging due to the nested maximums over all power disturbance profiles, all buses, and all time.

Our goal is to design an efficient algorithm to solve the above problem. This is in general challenging due to the high complexity of frequency dynamics. Nevertheless, when the parameters of generation units satisfy a commonly used proportionality assumption [guo2018cdc, pm2019preprint, jiang2021tac], the frequency responses can be decomposed in a way that allows us to solve (8) efficiently. Moreover, for certain types of networks, (8) can be solved analytically, providing interesting intuition about the spatial and temporal behavior of oscillations.

III Efficient Worst-Case Frequency Nadir Algorithm for Proportional Power Networks

In this section, we show that, under a simplifying assumption, it is possible to decompose the frequency dynamics, which enables us to propose an efficient algorithm to solve the worst-case frequency nadir problem formulated in Section II-C.

III-A Modal Decomposition of Frequency Dynamics

The example in Section II-B shows that the frequency nadir of a power network is a result of interference between the frequency oscillations at each bus, which can have a complicated dependence on the parameters and topology of the network. Hence, a better evaluation of the worst-case frequency nadir requires a deeper understanding of frequency oscillations. However, since the oscillations present a variety of highly-coupled interactions between individual buses, it is challenging to solve (8) in large-scale power systems with heterogeneous generation units. To make the analysis tractable, we consider proportionality as a reasonable first-cut approximation to heterogeneity [pm2019preprint], under which the frequency dynamics (4) are decoupled and thus the problem (8) can be solved efficiently. Hence, we adopt the following assumption in the rest of this paper:

Assumption 1 (Proportionality).

There exists a group of proportional parameters ri>0subscript𝑟𝑖0r_{i}>0italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0, i𝒩𝑖𝒩i\in\mathcal{N}italic_i ∈ caligraphic_N, such that

g^i(s)=g^o(s)ri,subscript^𝑔𝑖𝑠subscript^𝑔o𝑠subscript𝑟𝑖\hat{g}_{i}(s)=\dfrac{\hat{g}_{\mathrm{o}}(s)}{r_{i}}\,,over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_s ) = divide start_ARG over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ,

where g^o(s)subscriptnormal-^𝑔normal-o𝑠\hat{g}_{\mathrm{o}}(s)over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) is called the representative generation unit.

For example, for the case where g^i(s)subscript^𝑔𝑖𝑠\hat{g}_{i}(s)over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_s ) has (1) as its model, Assumption 1 is satisfied provided that inertia and dam** are both proportional to risubscript𝑟𝑖r_{i}italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. That is, i𝒩for-all𝑖𝒩\forall i\in\mathcal{N}∀ italic_i ∈ caligraphic_N, ri>0subscript𝑟𝑖0\exists r_{i}>0∃ italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 such that mi=rimsubscript𝑚𝑖subscript𝑟𝑖𝑚m_{i}=r_{i}mitalic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_m and di=ridsubscript𝑑𝑖subscript𝑟𝑖𝑑d_{i}=r_{i}ditalic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_d for some m𝑚mitalic_m and d𝑑ditalic_d, i.e.,

g^o(s)=1ms+d.subscript^𝑔o𝑠1𝑚𝑠𝑑\hat{g}_{\mathrm{o}}(s)=\dfrac{1}{ms+d}\,.over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) = divide start_ARG 1 end_ARG start_ARG italic_m italic_s + italic_d end_ARG . (9)
Remark 1 (Proportionality extensions).

The practical relevance of Assumption 1 is justified in many empirical studies. For example, [oakridge2013] shows that, at least in regards of order of magnitude, Assumption 1 is a reasonable first-cut approximation to heterogeneity. In fact, the heterogeneous case can be considered as a diagonal perturbation from the ideal proportional case [pm2019preprint, Section VI-A]. Thus, the results derived from proportional power networks can be extended to networks with heterogeneous generation units. In this case, the performance can be assessed through a robustness analysis, which is an interesting direction for further research.

Under Assumption 1, it has been well-established that the dynamics in (4) can be decoupled as [pm2019preprint, jiang2021tac]

𝝎^(s)=𝑹12𝑽diag(z^k(s),k𝒩)𝑽T𝑹12𝒑^(s),^𝝎𝑠superscript𝑹12𝑽diagsubscript^𝑧𝑘𝑠𝑘𝒩superscript𝑽𝑇superscript𝑹12^𝒑𝑠\displaystyle\hat{\boldsymbol{\omega}}(s)=\boldsymbol{R}^{-\frac{1}{2}}% \boldsymbol{V}\mathrm{diag}\left(\hat{z}_{k}(s),k\in\mathcal{N}\right)% \boldsymbol{V}^{T}\boldsymbol{R}^{-\frac{1}{2}}\hat{\boldsymbol{p}}(s)\;,over^ start_ARG bold_italic_ω end_ARG ( italic_s ) = bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_V roman_diag ( over^ start_ARG italic_z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_s ) , italic_k ∈ caligraphic_N ) bold_italic_V start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT over^ start_ARG bold_italic_p end_ARG ( italic_s ) , (10)

with

z^k(s):=sg^o(s)s+λkg^o(s),k𝒩,formulae-sequenceassignsubscript^𝑧𝑘𝑠𝑠subscript^𝑔o𝑠𝑠subscript𝜆𝑘subscript^𝑔o𝑠for-all𝑘𝒩\displaystyle\hat{z}_{k}(s):=\frac{s\hat{g}_{\mathrm{o}}(s)}{s+\lambda_{k}\hat% {g}_{\mathrm{o}}(s)}\;,\quad\forall k\in\mathcal{N}\,,over^ start_ARG italic_z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_s ) := divide start_ARG italic_s over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG italic_s + italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) end_ARG , ∀ italic_k ∈ caligraphic_N , (11)

where 𝑹:=diag(ri,i𝒩)n×nassign𝑹diagsubscript𝑟𝑖𝑖𝒩superscript𝑛𝑛absent\boldsymbol{R}:=\mathrm{diag}\left(r_{i},i\in\mathcal{N}\right)\in^{n\times n}bold_italic_R := roman_diag ( italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT is the proportionality matrix and

𝑽:=[𝒗1:=(i=1nri)12𝑹121n𝒗2𝒗n]n×nassign𝑽matrixassignsubscript𝒗1superscriptsuperscriptsubscript𝑖1𝑛subscript𝑟𝑖12superscript𝑹12subscript1𝑛subscript𝒗2subscript𝒗𝑛superscript𝑛𝑛absent\displaystyle\boldsymbol{V}\!:=\!\begin{bmatrix}\boldsymbol{v}_{1}\!:=\!(\sum_% {i=1}^{n}\!r_{i})^{-\frac{1}{2}}\boldsymbol{R}^{\frac{1}{2}}\mathbbold{1}_{n}% \!&\!\boldsymbol{v}_{2}&\!\cdots\!&\boldsymbol{v}_{n}\end{bmatrix}\!\!\in\!^{n% \times n}bold_italic_V := [ start_ARG start_ROW start_CELL bold_italic_v start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT := ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_R start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT 1 start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL start_CELL bold_italic_v start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL ⋯ end_CELL start_CELL bold_italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] ∈ start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT (13)

satisfying 𝑽T𝑽=𝑽𝑽T=𝑰nsuperscript𝑽𝑇𝑽𝑽superscript𝑽𝑇subscript𝑰𝑛\boldsymbol{V}^{T}\boldsymbol{V}=\boldsymbol{V}\boldsymbol{V}^{T}=\boldsymbol{% I}_{n}bold_italic_V start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_V = bold_italic_V bold_italic_V start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = bold_italic_I start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is an orthonormal matrix whose columns 𝒗k:=(vk,i,i𝒩)nassignsubscript𝒗𝑘subscript𝑣𝑘𝑖𝑖𝒩superscript𝑛absent\boldsymbol{v}_{k}:=\left(v_{k,i},i\in\mathcal{N}\right)\in^{n}bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT := ( italic_v start_POSTSUBSCRIPT italic_k , italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT are unit eigenvectors associated with the scaled Laplacian matrix

𝑳:=𝑹12𝑳B𝑹12n×nassign𝑳superscript𝑹12subscript𝑳Bsuperscript𝑹12superscript𝑛𝑛absent\displaystyle\boldsymbol{L}:=\boldsymbol{R}^{-\frac{1}{2}}\boldsymbol{L}_{% \mathrm{B}}\boldsymbol{R}^{-\frac{1}{2}}\in^{n\times n}bold_italic_L := bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_L start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ∈ start_POSTSUPERSCRIPT italic_n × italic_n end_POSTSUPERSCRIPT (14)

such that 𝑳=𝑽diag(λk,k𝒩)𝑽T𝑳𝑽diagsubscript𝜆𝑘𝑘𝒩superscript𝑽𝑇\boldsymbol{L}=\boldsymbol{V}\mathrm{diag}\left(\lambda_{k},k\in\mathcal{N}% \right)\boldsymbol{V}^{T}bold_italic_L = bold_italic_V roman_diag ( italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_k ∈ caligraphic_N ) bold_italic_V start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT with λksubscript𝜆𝑘\lambda_{k}italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT being the k𝑘kitalic_kth eigenvalue of 𝑳𝑳\boldsymbol{L}bold_italic_L ordered non-decreasingly (0=λ1<λ2λn)0subscript𝜆1subscript𝜆2subscript𝜆𝑛(0=\lambda_{1}<\lambda_{2}\leq\ldots\leq\lambda_{n})( 0 = italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≤ … ≤ italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT )555Recall that we assume the power network is connected, which means that 𝑳𝑳\boldsymbol{L}bold_italic_L has a single zero eigenvalue..

Note that 𝑽𝑽\boldsymbol{V}bold_italic_V has orthonormal columns 𝒗ksubscript𝒗𝑘\boldsymbol{v}_{k}bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, k𝒩for-all𝑘𝒩\forall k\in\mathcal{N}∀ italic_k ∈ caligraphic_N, which are automatically linearly independent [Horn2012MA, Theorem 2.1.2]. It readily follows that 𝑹12𝒗ksuperscript𝑹12subscript𝒗𝑘\boldsymbol{R}^{\frac{1}{2}}\boldsymbol{v}_{k}bold_italic_R start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, k𝒩for-all𝑘𝒩\forall k\in\mathcal{N}∀ italic_k ∈ caligraphic_N, are linearly independent as well since 𝑹𝑹\boldsymbol{R}bold_italic_R is nonsingular by its construction. Thus, the n𝑛nitalic_n linearly independent vectors 𝑹12𝒗ksuperscript𝑹12subscript𝒗𝑘\boldsymbol{R}^{\frac{1}{2}}\boldsymbol{v}_{k}bold_italic_R start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, k𝒩for-all𝑘𝒩\forall k\in\mathcal{N}∀ italic_k ∈ caligraphic_N, form a basis that spans n𝑛{}^{n}start_FLOATSUPERSCRIPT italic_n end_FLOATSUPERSCRIPT. This implies that any step power disturbances 𝒑=𝒖0𝕌t0𝒑subscript𝒖0subscript𝕌𝑡0\boldsymbol{p}=\boldsymbol{u}_{0}\mathds{U}_{t\geq 0}bold_italic_p = bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT blackboard_U start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT that the power network undergoes can always be decomposed along this basis, i.e., 𝜶:=(αi,i𝒩)nassign𝜶subscript𝛼𝑖𝑖𝒩superscript𝑛absent\exists\boldsymbol{\alpha}:=\left(\alpha_{i},i\in\mathcal{N}\right)\in^{n}∃ bold_italic_α := ( italic_α start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) ∈ start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT such that

𝒖0=k=1nαk𝑹12𝒗k=𝑹12𝑽𝜶.subscript𝒖0superscriptsubscript𝑘1𝑛subscript𝛼𝑘superscript𝑹12subscript𝒗𝑘superscript𝑹12𝑽𝜶\displaystyle\boldsymbol{u}_{0}=\sum_{k=1}^{n}\alpha_{k}\boldsymbol{R}^{\frac{% 1}{2}}\boldsymbol{v}_{k}=\boldsymbol{R}^{\frac{1}{2}}\boldsymbol{V}\boldsymbol% {\alpha}\,.bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT bold_italic_R start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = bold_italic_R start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_V bold_italic_α . (15)

Combining (10) and (15) via 𝒑^(s)=𝒖0/s^𝒑𝑠subscript𝒖0𝑠\hat{\boldsymbol{p}}(s)=\boldsymbol{u}_{0}/sover^ start_ARG bold_italic_p end_ARG ( italic_s ) = bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_s yields the following decomposition of frequency responses along the scaled Laplacian eigenvectors.

Lemma 1 (Decomposition along scaled Laplacian eigenvectors).

Under Assumption 1, if the power network in Fig. 1 undergoes step power disturbances 𝐩=𝐮0𝕌t0𝐩subscript𝐮0subscript𝕌𝑡0\boldsymbol{p}=\boldsymbol{u}_{0}\mathds{U}_{t\geq 0}bold_italic_p = bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT blackboard_U start_POSTSUBSCRIPT italic_t ≥ 0 end_POSTSUBSCRIPT, then the frequency responses can be decoupled into

𝝎(t)=𝝎𝑡absent\displaystyle{\boldsymbol{\omega}}(t)=bold_italic_ω ( italic_t ) = k=1nαkhk(t)𝑹12𝒗ksuperscriptsubscript𝑘1𝑛subscript𝛼𝑘subscript𝑘𝑡superscript𝑹12subscript𝒗𝑘\displaystyle\sum_{k=1}^{n}\alpha_{k}h_{k}(t)\boldsymbol{R}^{-\frac{1}{2}}% \boldsymbol{v}_{k}∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT (16)
=\displaystyle== α1h1(t)i=1nri1n+k=2nαkhk(t)𝑹12𝒗k,subscript𝛼1subscript1𝑡superscriptsubscript𝑖1𝑛subscript𝑟𝑖subscript1𝑛superscriptsubscript𝑘2𝑛subscript𝛼𝑘subscript𝑘𝑡superscript𝑹12subscript𝒗𝑘\displaystyle\ \dfrac{\alpha_{1}h_{1}(t)}{\sqrt{\sum_{i=1}^{n}r_{i}}}% \mathbbold{1}_{n}+\sum_{k=2}^{n}\alpha_{k}h_{k}(t)\boldsymbol{R}^{-\frac{1}{2}% }\boldsymbol{v}_{k}\,,divide start_ARG italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG square-root start_ARG ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG end_ARG 1 start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k = 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (17)

where

𝜶:=assign𝜶absent\displaystyle\boldsymbol{\alpha}:=bold_italic_α := (αi,i𝒩)=𝑽T𝑹12𝒖0,subscript𝛼𝑖𝑖𝒩superscript𝑽𝑇superscript𝑹12subscript𝒖0\displaystyle\left(\alpha_{i},i\in\mathcal{N}\right)=\boldsymbol{V}^{T}% \boldsymbol{R}^{-\frac{1}{2}}\boldsymbol{u}_{0}\,,( italic_α start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i ∈ caligraphic_N ) = bold_italic_V start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , (18)
hk(t):=assignsubscript𝑘𝑡absent\displaystyle h_{k}(t):=italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) := 1{g^o(s)s+λkg^o(s)},k𝒩.superscript1subscript^𝑔o𝑠𝑠subscript𝜆𝑘subscript^𝑔o𝑠for-all𝑘𝒩\displaystyle\ \mathscr{L}^{-1}\left\{\frac{\hat{g}_{\mathrm{o}}(s)}{s+\lambda% _{k}\hat{g}_{\mathrm{o}}(s)}\right\}\;,\quad\forall k\in\mathcal{N}\,.script_L start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT { divide start_ARG over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG italic_s + italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) end_ARG } , ∀ italic_k ∈ caligraphic_N . (19)
Proof.

See the Appendix LABEL:app:lem1-pf. ∎

Lemma 1 makes the physical interpretation of modal decomposition more clear. We can observe from (16) that the frequency responses are a linear combination of independent modes along the directions dictated by the scaled Laplacian eigenvectors. For example, hk(t)subscript𝑘𝑡h_{k}(t)italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) captures the frequency response of the power network along 𝑹12𝒗ksuperscript𝑹12subscript𝒗𝑘\boldsymbol{R}^{-\frac{1}{2}}\boldsymbol{v}_{k}bold_italic_R start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_v start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT to step power disturbances. Particularly, as shown in (17), the first mode actually characterizes the common behavior among individual buses as a scaled step response of the representative generation unit g^o(s)subscript^𝑔o𝑠\hat{g}_{\mathrm{o}}(s)over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT roman_o end_POSTSUBSCRIPT ( italic_s ) while the remaining modes represent the oscillations among them. In fact, one can easily show by a similar argument as in [pm2019preprint] that the common behavior is the risubscript𝑟𝑖r_{i}italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT-weighted average of individual bus frequencies, i.e., (i=1nriωi)/(i=1nri)superscriptsubscript𝑖1𝑛subscript𝑟𝑖subscript𝜔𝑖superscriptsubscript𝑖1𝑛subscript𝑟𝑖(\sum_{i=1}^{n}r_{i}\omega_{i})/(\sum_{i=1}^{n}r_{i})( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) / ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ), which is exactly the COI frequency defined in (5) if g^i(s)subscript^𝑔𝑖𝑠\hat{g}_{i}(s)over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_s ) has (1) as its model. Therefore, the modal decomposition in (17) confirms our intuition that the COI frequency becomes insufficient for frequency security assessment in a power network where those oscillatory modes are unignorable.

III-B Worst-Case Frequency Nadir Algorithm

The decoupled frequency dynamics (16) derived in Section III-A enables us to propose an efficient algorithm summarized in Algorithm LABEL:alg:Nadir to solve the worst-case frequency nadir problem (8) in Section II-C. We now explain the rationale behind Algorithm LABEL:alg:Nadir in detail.

\patchcmd