Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1143terminada PDF
1143terminada PDF
en la especialidad de:
Ingeniería Eléctrica
Director de Tesis
Dr.Dr. Arturo
Juan Román
Martín Messina
Santana Corte
Dr. Juan Luis del Valle Padilla
1RQOLQHDU3RZHU6\VWHP$QDO\VLVXVLQJ
.RRSPDQ0RGH'HFRPSRVLWLRQDQG
3HUWXUEDWLRQ7KHRU\
$WKHVLVSUHVHQWHGE\
0DUFRV$OIUHGR+HUQiQGH]2UWHJD
WRREWDLQWKHGHJUHHRI
'RFWRURI6FLHQFH
LQWKHVXEMHFWRI
(OHFWULFDO(QJLQHHULQJ
7KHVLV$GYLVRU
'U$UWXUR5RPiQ0HVVLQD
&,19(67$9GHO,318QLGDG*XDGDODMDUD*XDGDODMDUD-DOLVFR1RYHPEHU
Metodologías
Análisis noTCAD
Linealpara diseñar diodos
de Sistemas de
epitaxiales
Potencia de recuperación
usando rápidaModal
Descomposición de silicio
de
usando
Koopmanuna estructura
y Teoría de+con contacto tipo
Perturbación
mosaico P /N+
Tesisde
Tesis deDoctorado
Maestría enenCiencias
Ciencias
Ingeniería Eléctrica
Por:
HectorAlfredo
Marcos Eduardo Aldrete Vidrio
Hernández Ortega
Ingeniero enMaestro
Comunicaciones y Electrónica
en Ciencias
Universidad
CINVESTAV deUnidad
del IPN Guadalajara 1992-1996
Guadalajara 2012-2014
Director de Tesis
Dr.Dr.
Juan Martín
Arturo Santana
Román Corte
Messina
Dr. Juan Luis del Valle Padilla
CINVESTAV del
CINVESTAV del IPN
IPN Unidad
Unidad Guadalajara,
Guadalajara, Enero
Junio del 2002.
de 2019.
1RQOLQHDU3RZHU6\VWHP$QDO\VLVXVLQJ
.RRSPDQ0RGH'HFRPSRVLWLRQDQG
3HUWXUEDWLRQ7KHRU\
'RFWRURI6FLHQFH7KHVLV
,Q(OHFWULFDO(QJLQHHULQJ
%\
0DUFRV$OIUHGR+HUQiQGH]2UWHJD
0DVWHURI6FLHQFH
&,19(67$9GHO,318QLGDG*XDGDODMDUD
6FKRODUVKLSJUDQWHGE\&21$&<71R
7KHVLV$GYLVRU
'U$UWXUR5RPiQ0HVVLQD
&,19(67$9GHO,318QLGDG*XDGDODMDUD1RYHPEHU
ii
Acknowledgements
I would also like to thank to my family for the support that they had provided me
through my entire life.
Finally, acknowledgements are also due to the CONACYT for its support.
Resumenȱ
ȱ
Losȱ movimientosȱ transitoriosȱ delȱ sistemaȱ puedenȱ variarȱ desdeȱ unȱ comportaȬ
mientoȱlocalȱaȱeventosȱdeȱescalaȱglobal,ȱyȱpuedenȱestarȱaltamenteȱcorrelacionados;ȱ
especialmenteȱenȱelȱcasoȱdeȱoscilacionesȱpobrementeȱamortiguadasȱoȱinestablesȱ
queȱsurgenȱdespuésȱdeȱgrandesȱdisturbios.ȱTalesȱinteraccionesȱpuedenȱserȱdescriȬ
tasȱútilmenteȱenȱtérminosȱdeȱmodosȱinteractuandoȱporȱmedioȱdeȱlaȱestructuraȱdeȱ
laȱredȱyȱdeȱlasȱcondicionesȱiniciales.ȱȱ
Entenderȱ cómoȱ estosȱ modosȱ evolucionanȱ eȱ interactúanȱ esȱ claveȱ noȱ solaȬ
menteȱparaȱevaluarȱlaȱestabilidadȱdelȱsistema,ȱsinoȱtambiénȱparaȱidentificarȱlosȱ
dispositivosȱdinámicos,ȱyȱsusȱsistemasȱdeȱcontrol,ȱqueȱesténȱenvueltosȱenȱlasȱosȬ
cilaciones,ȱyȱparaȱelȱdiseñoȱdeȱcontroles.ȱȱ
Enȱestaȱtesis,ȱunȱnuevoȱmarcoȱdeȱtrabajoȱbasadoȱenȱmodelosȱqueȱcombinaȱ
elȱanálisisȱmodalȱdeȱKoopmanȱyȱlaȱteoríaȱdeȱperturbaciónȱesȱintroducido.ȱEnȱesteȱ
marco,ȱ elȱ comportamientoȱ noȱ linealȱ esȱ interpretadoȱ comoȱ laȱ proyecciónȱ deȱ lasȱ
funcionesȱpropiasȱdelȱoperadorȱdeȱKoopmanȱdeȱunȱsistemaȱextendidoȱsobreȱlasȱ
variablesȱfísicasȱdelȱsistema.ȱȱ
Esquemasȱ eficientesȱ paraȱ suȱ cálculoȱ sonȱ derivados,ȱ asíȱ comoȱ medidasȱ
cuantitativasȱdeȱobservabilidadȱyȱparticipaciónȱdeȱlosȱmodosȱnoȱlineales.ȱȱ
Porȱotraȱparte,ȱconȱelȱobjetivoȱdeȱreducirȱelȱcostoȱcomputacionalȱdelȱcálculoȱ
deȱlasȱmatricesȱdeȱcoeficientes,ȱunaȱnovedosaȱtécnicaȱdeȱlinealizaciónȱesȱpropuestaȱ
basadaȱenȱlaȱteoríaȱdeȱlaȱperturbaciónȱyȱlaȱreglaȱdeȱlaȱcadena.ȱȱ
Posteriormente,ȱelȱdesarrolloȱdeȱunȱcontroladorȱcuadráticoȱnoȱlinealȱ(trunȬ
cado)ȱconȱlimitacionesȱestructuralesȱesȱpresentado,ȱbasadoȱenȱelȱanálisisȱperturȬ
badoȱdeȱKoopmanȱyȱlaȱteoríaȱdeȱcontrolȱlinealȱóptimo.ȱȱ
ResultadosȱnuméricosȱenȱvariosȱsistemasȱdeȱpotenciaȱmultiȬmáquinaȱsonȱ
usadosȱparaȱvalidarȱeȱilustrarȱlasȱmetodologíasȱpropuestas.ȱAsíȱtambién,ȱseȱenlisȬ
tanȱlosȱtrabajosȱfuturosȱyȱramasȱdeȱinvestigaciónȱoriginadosȱdeȱesteȱtrabajo.ȱȱ
iv
Abstractȱ
ȱ
Powerȱsystem’sȱtransientȱmotionsȱmayȱvaryȱfromȱlocalizedȱbehaviorȱtoȱlargeȬscaleȱ
globalȱ motionȱ andȱ mayȱ beȱ highlyȱ correlated,ȱ especiallyȱ inȱ theȱ caseȱ ofȱ poorlyȱ
dampedȱorȱunstableȱoscillationsȱfollowingȱlargeȱdisturbances.ȱSuchȱinteractionsȱ
canȱbeȱusefullyȱdescribedȱinȱtermsȱofȱmodesȱinteractingȱwithȱeachȱotherȱviaȱtheȱ
networkȱstructureȱandȱviaȱtheȱinitialȱoperatingȱconditions.ȱ
UnderstandingȱhowȱtheseȱmodesȱevolveȱandȱinteractȱisȱkeyȱnotȱonlyȱtoȱasȬ
sessingȱsystemȱstability,ȱbutȱalsoȱtoȱidentifyingȱdynamicȱdevicesȱandȱtheirȱcontrolȱ
systemsȱinvolvedȱinȱtheȱoscillations,ȱandȱtoȱdesignȱcontrollers.ȱȱ
EfficientȱschemesȱforȱtheȱcomputationȱofȱtheseȱextendedȱmodelsȱandȱquanȬ
titativeȱmeasuresȱforȱassessingȱtheȱnonȬlinearȱmodesȱobservabilityȱandȱparticipaȬ
tionȱareȱderived.ȱȱ
Furthermore,ȱaȱnovelȱlinearizationȱmethodȱbasedȱonȱperturbationȱtheoryȱ
andȱtheȱchainȱruleȱisȱintroducedȱtoȱreduceȱtheȱcomputationalȱburdenȱofȱobtainingȱ
theȱmatricesȱofȱcoefficients.ȱȱ
Posteriorly,ȱtheȱdevelopmentȱofȱaȱ(truncated)ȱnonȬlinearȱquadraticȱcontrolȬ
lerȱ withȱ structuralȱ constraintsȱ isȱ presented,ȱ basedȱ onȱ theȱ perturbedȱ Koopmanȱ
modeȱanalysisȱmethodȱandȱtheȱlinearȱoptimalȱcontrolȱtheory.ȱ
iii
Resumenȱ
ȱ
Losȱ movimientosȱ transitoriosȱ delȱ sistemaȱ puedenȱ variarȱ desdeȱ unȱ comportaȬ
mientoȱlocalȱaȱeventosȱdeȱescalaȱglobal,ȱyȱpuedenȱestarȱaltamenteȱcorrelacionados;ȱ
especialmenteȱenȱelȱcasoȱdeȱoscilacionesȱpobrementeȱamortiguadasȱoȱinestablesȱ
queȱsurgenȱdespuésȱdeȱgrandesȱdisturbios.ȱTalesȱinteraccionesȱpuedenȱserȱdescriȬ
tasȱútilmenteȱenȱtérminosȱdeȱmodosȱinteractuandoȱporȱmedioȱdeȱlaȱestructuraȱdeȱ
laȱredȱyȱdeȱlasȱcondicionesȱiniciales.ȱȱ
Entenderȱ cómoȱ estosȱ modosȱ evolucionanȱ eȱ interactúanȱ esȱ claveȱ noȱ solaȬ
menteȱparaȱevaluarȱlaȱestabilidadȱdelȱsistema,ȱsinoȱtambiénȱparaȱidentificarȱlosȱ
dispositivosȱdinámicos,ȱyȱsusȱsistemasȱdeȱcontrol,ȱqueȱesténȱenvueltosȱenȱlasȱosȬ
cilaciones,ȱyȱparaȱelȱdiseñoȱdeȱcontroles.ȱȱ
Enȱestaȱtesis,ȱunȱnuevoȱmarcoȱdeȱtrabajoȱbasadoȱenȱmodelosȱqueȱcombinaȱ
elȱanálisisȱmodalȱdeȱKoopmanȱyȱlaȱteoríaȱdeȱperturbaciónȱesȱintroducido.ȱEnȱesteȱ
marco,ȱ elȱ comportamientoȱ noȱ linealȱ esȱ interpretadoȱ comoȱ laȱ proyecciónȱ deȱ lasȱ
funcionesȱpropiasȱdelȱoperadorȱdeȱKoopmanȱdeȱunȱsistemaȱextendidoȱsobreȱlasȱ
variablesȱfísicasȱdelȱsistema.ȱȱ
Esquemasȱ eficientesȱ paraȱ suȱ cálculoȱ sonȱ derivados,ȱ asíȱ comoȱ medidasȱ
cuantitativasȱdeȱobservabilidadȱyȱparticipaciónȱdeȱlosȱmodosȱnoȱlineales.ȱȱ
Porȱotraȱparte,ȱconȱelȱobjetivoȱdeȱreducirȱelȱcostoȱcomputacionalȱdelȱcálculoȱ
deȱlasȱmatricesȱdeȱcoeficientes,ȱunaȱnovedosaȱtécnicaȱdeȱlinealizaciónȱesȱpropuestaȱ
basadaȱenȱlaȱteoríaȱdeȱlaȱperturbaciónȱyȱlaȱreglaȱdeȱlaȱcadena.ȱȱ
Posteriormente,ȱelȱdesarrolloȱdeȱunȱcontroladorȱcuadráticoȱnoȱlinealȱ(trunȬ
cado)ȱconȱlimitacionesȱestructuralesȱesȱpresentado,ȱbasadoȱenȱelȱanálisisȱperturȬ
badoȱdeȱKoopmanȱyȱlaȱteoríaȱdeȱcontrolȱlinealȱóptimo.ȱȱ
ResultadosȱnuméricosȱenȱvariosȱsistemasȱdeȱpotenciaȱmultiȬmáquinaȱsonȱ
usadosȱparaȱvalidarȱeȱilustrarȱlasȱmetodologíasȱpropuestas.ȱAsíȱtambién,ȱseȱenlisȬ
tanȱlosȱtrabajosȱfuturosȱyȱramasȱdeȱinvestigaciónȱoriginadosȱdeȱesteȱtrabajo.ȱȱ
iv
Table of Contents
Index of tables………………………………………………….x
Index of figures……………………………………………….xii
Glossary............................................................................. xv
A. Abbreviations ........................................................................................ xv
B. Functions .............................................................................................. xvi
A. Indexes ................................................................................................ xvii
B. Parameters ......................................................................................... xviii
C. Sets ....................................................................................................... xxi
D. Symbols ............................................................................................... xxii
E. Variables ............................................................................................ xxiii
Chapter 1. Introduction...................................................... 1
1.1 Background and motivation .................................................................... 2
1.2 Problem statement ................................................................................... 2
1.3 A brief review of previous work ............................................................... 3
1.4 Dissertation objectives ............................................................................. 6
1.5 Research contributions ............................................................................ 6
1.6 Organization of the dissertation .............................................................. 7
1.7 Publications .............................................................................................. 8
1.7.1 Conference papers ............................................................................. 8
1.7.2 Refereed journal papers .................................................................... 8
1.8 References................................................................................................. 9
v
2.3.2.2 Finite linear representations ..................................................................... 29
2.4 Concluding remarks ............................................................................... 29
2.5 References............................................................................................... 30
vi
4.5.3 Efficient computation of initial conditions ..................................... 77
4.5.4 Sparsity-promoting criteria............................................................. 78
4.6 Concluding remarks ............................................................................... 80
4.7 References............................................................................................... 81
viii
8.3.5 Complexity analysis ...................................................................... 159
8.4 Koopman observability measures........................................................ 160
8.4.1 Application to transient stability data ......................................... 161
8.4.1.1 The IEEE 39-bus system........................................................................ 161
8.4.1.2 Six-area, 377-machine model of the Mexican Interconnected System
(MIS) .................................................................................................................. 162
8.4.2 Application to measured data ....................................................... 167
8.4.3 Application to extended Koopman eigenfunctions-based models 170
8.4.3.1 Two-area power system ......................................................................... 171
8.4.3.2 16-machine test system .......................................................................... 173
8.5 PKMA-based quadratic non-linear controller ..................................... 175
8.5.1 Two-area, four-machine power system ......................................... 175
8.5.2 IEEE 16-machine, 68-bus power system ...................................... 176
8.5.2.1 Full quadratic non-linear controller ....................................................... 176
8.5.2.2 Truncated quadratic non-linear controller ............................................. 179
8.5.2.3 Online design ......................................................................................... 181
8.6 Concluding remarks ............................................................................. 184
8.7 References............................................................................................. 185
ix
Index of tables
Table 8.1. Loading conditions in p.u. on a 100 MVA base. .......................... 140
Table 8.2. Linear modes of the three-machine system. ............................... 140
Table 8.3. Selected linear stability eigenmodes of the two-area, four-machine
power system. ................................................................................................ 141
Table 8.4. Linear stability eigenmodes of the 16-machine, 68-bus power
system. ........................................................................................................... 142
Table 8.5. Selected oscillatory modes of the IEEE 50-machine system. ..... 144
Table 8.6. Selected multi-machine cases of study. ....................................... 144
Table 8.7. Computational times and achieved accuracy. ............................. 155
Table 8.8. Koopman modes with largest amplitudes. .................................. 156
Table 8.9. Computational times and achieved accuracy. ............................. 157
Table 8.10. Eight largest non-linear interaction indices for Koopman
eigenfunctions. IEEE 50-machine test system ............................................. 158
Table 8.11. Eight largest non-linear interaction indices for the 3rd order MNF.
........................................................................................................................ 159
Table 8.12. Computational times and achieved accuracy. ........................... 160
Table 8.13. Complexity of extended Koopman model for the IEEE 50-machine
system ............................................................................................................ 160
Table 8.14. Nine top-ranked KMs. Norm and absolute value criteria. ....... 162
Table 8.15. Eigenvalues of the MIS for the base case condition. ................. 163
Table 8.16. Five top-ranked KMs for Case 1. ............................................... 164
Table 8.17. Comparison of modal estimates for Case 2. Time window: 0-10
sec. .................................................................................................................. 166
Table 8.18. Computational effort in seconds. Time window: 0-10 sec. ........ 167
Table 8.19. Identified KMs. Time interval: 0-160 sec. ................................. 169
Table 8.20. Most observable slow non-linear Koopman modes of the two-area
system. ........................................................................................................... 173
Table 8.21. Most observable slow non-linear Koopman modes of the 16-
machine system. ............................................................................................ 174
Table 8.22. Quadratic controller’s performance for different configurations.
........................................................................................................................ 179
Table 8.23.Numerical comparison for a different number of non-linear modes.
........................................................................................................................ 180
x
Table 8.24. Time required for computing K11 for the different configurations.
........................................................................................................................ 183
Table 8.25. Value of J for the regarded communication networks. ............. 183
Table 8.26. Time required for the regarded communication networks. Seconds.
........................................................................................................................ 183
xi
Index of figures
xii
Fig. 8.6. (a) Absolute error of the computed A11 matrix of the synthetic system.
(b) Eigenvalue with the largest magnitude. Comparison of the RL, FDA, and
CDA methods with N = 100 and perturbation from ρ=1×10-4 through ρ =1×10-
1. ...................................................................................................................... 149
Fig. 8.7. Absolute error of the computed matrices (a) H2 and (b) H3. Comparison
of the RL, FDA, and CDA methods. N = 100 and perturbation from ρ=1×10-4
through ρ =1×10-1. .......................................................................................... 150
Fig. 8.9. (a) Absolute error of the computed A11 matrix. (b) Eigenvalue
corresponding to the inter-area mode. Comparison of the RL, FDA, and CDA
methods for the 50-machine power system with a PSS at bus 111 and a
perturbation magnitude from ρ = 1×10-5 through ρ = 1×10-1. .. 151
Fig. 8.10. Comparison of the recursive linearization method with the
conventional linearization techniques for the power systems of Table 8.4. (a)
CPU time required for computing H2 and (b) H3. (c) Absolute error of the
computed matrix H2 and (d) H3 with ρ=1×10-4. ............................................. 152
Fig. 8.11. Absolute error of the computed matrices (a) H2 and (b) H3.
Comparison of the RL, FDA, and CDA methods. IEEE 50-machine power
system with a PSS at bus 111 and perturbation from ρ=1×10-5 through ρ
=1×10-1............................................................................................................ 153
Fig. 8.12. Comparison of PKMA method of third order with the third-order
MNF, the linear solution, and the full solution. Speed deviation of Gen 3. 155
Fig. 8.13. Comparison of PKMA estimates with the linear solution, the full
solution, and the MNF without terms of fourth and sixth order. (a) Speed
deviation of Gen 94. (b) Rotor speed deviation of Gen 137. ......................... 156
Fig. 8.14. Speed deviation of dominant machines. (a) Case 1. (b) Case 2. .. 164
Fig. 8.15. Global behavior of the leading KMs in Table 8.16 based on the
modulus of the Koopman measures of observability. ................................... 165
Fig. 8.16. Global behavior of the three leading oscillatory KMs in Table 8.17
based on the Koopman observability measures. .......................................... 167
Fig. 8.17. Normalized time traces of recorded data. (a) Frequency
measurements. (b) Power and voltage measurements................................. 168
Fig. 8.18. Details of the recorder measurements. (a) Voltage (PMU #22) and
power (PMUs #19, 20, and 21) measurements. (b) Frequency measurements
(PMUs #1-18). ................................................................................................ 168
Fig. 8.19. Time evolution of the 0.99 Hz Koopman mode. ........................... 169
Fig. 8.20. Mode shape of the 0.99 Hz KM. (a) PMUs #1-18. (b) PMUs #19-22.
........................................................................................................................ 170
Fig. 8.21. Highest ςj when the rotor speed deviations of all the generators are
the system’s output signals. Two-area power system. ................................. 171
xiii
Fig. 8.22. Highest ˆ j when the rotor speed deviations of all the generators are
the system’s output signals. Two-area power system. ................................. 172
Fig. 8.23. Highest ˆ j when the rotor speed deviations of all the generators are
the system’s output signals. Two-area power system. ................................. 173
Fig. 8.24. Highest j when the rotor speed deviations of all the generators are
the system’s output signals. 16-machine power system. ............................. 174
Fig. 8.25. Scheme for the two-area, four-machine system used for analysis.
........................................................................................................................ 175
Fig. 8.26. Scheme for the two-area, four-machine system used for analysis.
........................................................................................................................ 176
Fig. 8.27. Communication structures: a) 1 Case 1. b) 2 Case 1, c) 1 Case 2,
and d) 2 Case 2. ............................................................................................ 177
Fig. 8.28. Communication structure 1ord for configurations (a) 2, and (b) 4.
........................................................................................................................ 178
Fig. 8.29. Comparison of speed deviations for the linear LQR (black) and the
quadratic LQR (blue). .................................................................................... 178
Fig. 8.30. Extra configurations for the 16-machine power system. ............. 182
xiv
*ORVVDU\
$ $EEUHYLDWLRQV
AL ¢ȱ£ǯȱ
CDA Ȭȱ¡ǯȱ
DARE ȱȱȱǯȱ
DFT ȱȱ.
DMD ¢ȱȱ.
FACT ¡ȱȱȱǯȱ
FDA Ȭȱ¡ǯȱ
GDARE £ȱȱȱȱǯȱȱ
KM ȱǯȱ
KMA ȱȱ¢ǯȱ
KMD ȱȱ.ȱ
KV ȱǯȱ
LQR ȱȱǯȱ
ODE ¢ȱȱǻǼǯȱ
PSS ȱ¢ȱ£ǯȱ
RL Recursiveȱ£ǯȱ
sep ȱȱǯȱ
Ȭȱ¢ȱȱ
[Y
ȱȱ¢ȱ¢ȱ
ȱ ȱȱǯȱ
% )XQFWLRQV
F̂ ȱȱȱȱȱȱȱ¢ȱȱȱ
ȱȱǯȱȱ
f: Z ĺ Z ȬȱȱȱȱȬȱȱȱȱ¢Ȭ
ȱ¢ǯȱ
~ ~
fDZ G ĺX Ȭȱȱȱȱȱȱ¢ȱȱȱ¢Ȭ
ȱ¢ȱȱȱȱǯȱȱ
g: X ĺ Gȱ Ȭȱȱȱȱȱȱȱ¢ǯȱȱ
ƣ: (X,U) ĺ Xȱ ȬȱȬȱȱȱȱ¢ȱ¢ȱ
ȱXǯȱȱ
~
g~ DZ(X,U) ĺ G ȬȱȬȱȱȱȱȱ¢ȱ
ȱȱ¢ȱ¢ǯȱȱ
_:_Z_ĺ_Y
ȱ S T.
h: Y ĺ Yȱ ȬȱȬȱȱȱȱ¢ȱ¢ȱ
ȱȱǯ
~
h DZȱS ĺ Ǔȱ ȬȱȱȱȱȱȱȱSȱȱȱȬ
ȱǯȱȱ
[YL
J: (X,U) ĺ ℜȱ ȱȱȱȱǯȱ
S_:_Y_ĺ_Yȱ Ȭȱȱȱȱȱȱȱ¢ȱ¢ȱȱ
yȬǯȱ
T: Z ĺ Zȱ ȱȱȱȱȱȱȱ¢ȱ¢ȱȱzȬȬ
ǯȱȱ
$ ,QGH[HV
d∈ℵ ȱȱȱȱȱȱȱ¢ǯȱ
j,k,l,m,p,q∈ℵ ¡ȱȱ
J∈ℵ ȱȱǯȱ
L∈ℵ ȱȱȱȱȱȱ¢ǯȱ
M ∈ℵ ǯȱ
ȱȱȱȱȱȱȱ¡ȱ X
m∈ℵȱ ȱȱȬȱȱȱȱ¢ǯȱ
N∈ℵȱ ȱ ȱȱȱȱȱǯȱ
Ñ∈ℵ ǯȱ
ȱȱȱȱȱȱȱ¡ȱ X
n∈ℵȱ ȱȱ¡ȱȱȱ¢ȱȱȱȱȬȱ¢ǯȱ
nb∈ℵȱ ȱȱȱȱȱ ȱ¢ǯȱ
ng∈ℵȱ ȱȱȱȱȱ ȱ¢ǯȱ
[YLL
nl∈ℵȱ ȱȱȱȱȱ ȱ¢ǯȱ
~
r∈ℵȱ ȱ ȱȱȱȱ G ǯȱ
R∈ℵȱ ȱ ȱȱȱȱȱȱ¢ȱ¢ǯȱ
Rk∈ℵȱ ȱȱȱȱkȬȱȱȱȱȱǯȱ
S∈ℵȱ ȱ ȱȱȱȱSǯȱȱ
% 3DUDPHWHUV
B12∈ℜng×ngȱ ¢ȱȱȱȱ¡ȱȱȱȱȱȱ
ȱȱȱȱȱȱȱ¢ȱȱǯȱȱ
Bgrid∈ℜng×ngȱ ¢ȱȱȱȱ¡ȱȱȱȱ ȱȬ
ȱǯȱ
BL∈ℜnl×nlȱ ¡ȱȱȱȱȱȱȱǯȱ
Bsh∈ℜnl×nlȱ ¡ȱȱȱȱȱȱȱǯȱ
Dj∈ℜȱ ȱ ȱȱȱȱjȬȱǯȱ
įj∈ℜȱ ȱ ȱȱȱȱjȬȱȱǯȱ
ǻįj∈ℜ ȱ ȱȱȱȱjȬȱȱǯȱ
Ebus∈ℜnbȱ ȱȱȱȱȱȱȱ¢ǯȱ
Efdj∈ℜȱȱȱȱǯȱ
E’DjǰȱE’Dj∈ℜȱ DȬȱȱQȬ¡ȱȱȱE’jȱȱǯ
E’djǰȱE’qj∈ℜȱ dȬȱȱqȬ¡ȱȱȱE’jȱȱǯȱ
edjǰȱeqj∈ℜȱ dȬȱȱqȬ¡ȱȱȱETjȱȱǯȱ
Err j∈ℜȱȱǯȱ
[YLLL
ET j∈ℜȱȱ ȱȱȱȱjȬȱȱȱǯȱ
FV∈ℜnbȱ ¡¢ȱȱȱȱȱȱȱȱȱǰȱșǯȱ
G12∈ℜnb×ngȱ ȱȱȱȱȱ¡ȱȱȱȱȱȱȬ
ȱȱȱȱȱȱȱ¢ȱȱǯȱȱ
Ggrid∈ℜng×ngȱ ȱȱȱȱ¡ȱȱȱȱ ȱȱ
ǯȱ
GL∈ℜnl×nlȱ ¡ȱȱȱȱȱȱȱǯȱ
Hj∈ℜ ȱȱȱȱjǯȱ
Ij ∈ ngȱ ȱȱȱǯȱ
IL∈ nl ȱȱ¡ȱȱ ȱȱȱȱǯȱȱ
ILim∈ℜnl ȱȱ¢ȱȱ ȱȱȱȱǯȱȱ
ILre∈ℜnl ȱȱȱȱ ȱȱȱȱǯȱȱ
IT j ∈ ng ȱ ¡ȱȱȱ¢ȱǯȱ
ITimj∈ℜngȱ ¢ȱȱȱȱ¡ȱȱȱ¢ȱǯȱ
ITrej∈ℜngȱ ȱȱȱȱ¡ȱȱȱ¢ȱǯȱ
ITrejǰȱITimj∈ℜȱ ȱȱȱ¢ȱȱȱȱjȬȱȂȱȱȬ
ȱȱǯȱ
idjǰȱiqj∈ℜȱ dȬȱȱqȬ¡ȱȱȱȱjȬȱȂȱȱȱǯȱ
KA j∈ℜȱȱ ȱȱȱȱǯǯȱ
Ȧ0∈ℜȱ ȱ ¢ȱ¢ǯȱ
ǻȦj∈ℜȱ ȱȱȱȱȱjȱȱǯȱ
[L[
Pj∈ℜȱ ȱ ȱ ȱȱ¢ȱȱjǯȱ
PE j∈ℜȱȱ ȱȱȱ ȱȱǯǯȱ
Pline∈ℜnl ȱȱȱ ȱ ǯȱȱ
Qj∈ℜȱ ȱ ȱ ȱȱ¢ȱȱjǯȱ
Raj∈ℜȱȱ ȱȱȱȱjȱȱǯȱ
TAj∈ℜ ȱȱȱȱȱǯȱ
Tbj∈ℜ ȱȱȱȱȱȱǯȱ
TCj∈ℜ ȱȱȱȱȱȱǯȱ
TRj∈ℜ ȱȱȱȱȱǯȱ
t∈ℜ ǯȱ
ș j∈ℜȱ ȱ ȱȱȱjȬȱȱȱǯȱ
VAsj∈ℜȱ ȱȱȱȱȱǯǯȱ
Vbim∈ℜnbȱ ȱȱȱȱȱȱ¡ȱȱǯȱ
Vbre∈ℜnbȱ ¢ȱȱȱȱȱȱ¡ȱȱǯȱ
[[
VExj∈ℜȱ ȱȱȱǯǯȱ
Vrefj∈ℜȱ ȱȱȱȱǯǯȱ
VTrj∈ℜȱ ȱȱȱȱǯǯȱ
Xdj∈ℜ ȱ dȬ¡ȱȱȱȱjǯȱ
X’dj∈ℜȱ ȱȱȱdȬ¡ȱȱȱjǯȱ
Xqj∈ℜȱȱ qȬ¡ȱȱȱȱjǯȱ
X’qj∈ℜȱ ȱȱȱqȬ¡ȱȱȱjǯȱ
YL∈ nl×nl
ȱ ¡ȱȱȱȱȱȱȱǯȱ
& 6HWV
¡ȱȱǯȱ
G⊂ Jȱȱ ȱȱȱǯȱȱ
~
G⊂ r
ȱ ȱȱȱȱȱȱȱȱȱȱ¢Ȭ
ȱȱȱ¢ȱ¢ǯȱȱ
ℵȱ ȱ ȱȱȱǯȱ
Ω1⊂ℜR×Nȱ ¢ȱȱȱȱ ȱȱȱǯȱȱǰȱ
ȱǯȱ
Ω1ord⊂ℜR×Nȱ ¢ȱ ȱ ȱ ȱ ȱ ȱ ȱ ǯȱ ȱ ȱ
ȱǰȱȱǯȱ
[[L
Ω2⊂ℜR×Nȱ ¢ȱȱȱȱ ȱȱȱǯȱȱȬ
ǰȱȱǯȱ
Ω2ord⊂ℜR×N2ȱ ¢ȱ ȱ ȱ ȱ ȱ ȱ ȱ ǯȱ ȱ ȱ
ȱǰȱȱǯȱ
ℜȱ ȱ ȱȱǯȱ
S⊂ Sȱ ȱȱȱȱȱȱȱȱȱȱ
ȱȱȱǯȱȱ
U⊂ ℜRȱȱ ȱȱȱȱǯȱȱ
X⊂ ℜNȱ ȱȱȱȱǯȱȱ
Ǔ⊂ℜLȱ ȱ ȱȱȱȱȱȱȱ¢ȱ¢ǯȱȱ
Z⊂ Mȱȱ ȱȱǯȱ
' 6\PEROV
⊂ Part of
∈ Belongs to
i, j ¢ȱ¢ȱǯȱ
ǻȱ ȱ ǯȱ
ǻ jȱ ȱ ȱȱȱjǯȱ
ǻ(j)ȱ ȱ ȱ£ȱȱȱjǯȱ
Ɇȱ ȱ ȱȱȱȱǯȱ
H ȱȱǯȱ
[[LL
ȱ ȱ ȱǯȱ
Ȋȱ ȱ
ȱǯȱ
żȱ ȱ ¢ȱȱȱȱȱǯȱ
*ȱ ȱ ¢ȱȱȱȱǯȱ
¢²ȱ ȱ ¢ȱȱȱȱǯȱ
-1ȱ ȱ ¢ȱȱȱȱȱǯȱ
Ƹ
ȱ ȱ ¢ȱȱȱȱȬȱǯȱ
||·||Fȱ ȱ ȱǯȱ
( 9DULDEOHV
1ng∈ℜng ȱȱȱngȱȱȱǯȱȱ
A11(i)∈ℜN ȱȱiȱȱ¡ȱA11ǯȱ
B11∈ℜN×R Ȭȱȱ¡ȱȱȱǯȱȱ
B 11∈ℜN×R Ȭȱȱ¡ȱȱȱǯȱȱ
Bd∈ℜN×d ȱȱȱ¡ǯȱȱ
Bjk∈ℜNj×Rk ¡ȱȱȱȱȱȱkȱȱȱ¢ȱȱȱȱ
ȱ jǯȱ
B kj ∈ℜR×(k-1)R ¡ȱȱkȬȱȱȱȱȱȱȱȱȱȱ
ȱȱxjȱ ȱȱȱȱȱȱȱuǯȱ
[[LLL
B jk∈ Nj×Rk ¡ȱȱȱȱȱȱkȱȱȱ¢ȱȱȱȱ
ȱ jǯȱȱȱǯȱ
Bˆ k ∈ℜm× M
¡ȱȱȱȱȱȱȱȱȱȱ
ȱȱ¢ȱȱψˆ jǯȱ
ȕjk∈ ȱȱȱkȬȱȱȱȱȱȱȱjǯȱ
C1∈ℜL×N ȱ¡ȱȱȱȱȱȱ¢ȱ¢ǯȱ
Cj∈ℜL×Nj ¡ȱȱȱȱȱȱjǯȱ
C1(i)∈ℜL ȱiȱȱ¡ȱC1ǯȱ
Cnord∈ℜL×M ¡ȱȱȱȱȱȱ¡ȱ¢ȱȱȱnǯȱ
Ƙ ∈ℜN ×N ,Y
ȱ¡ȱȱ ȱȱȱȱ X ǯȱ
~
C ∈ ^ M ×M ȱ Ȭȱȱȱ¡ȱƘǯȱ
~
C kj ∈ℜL×(k-1)N ¡ȱȱkȬȱȱȱȱȱȱȱȱȱȱ
ȱȱyjȱ ȱȱȱȱȱȱȱxǯȱ
ƙ ∈ℜN ȱȱȱ¡ Ƙǯȱ
DJ∈ℜL×N ¡ȱȱȱȱȱȱȱȱȱǯȱ
d(k)∈ℜN×d ȱȱȱȱ¢ȱ¢ǯȱ
İ1∈ℜ ȱȱȱ¢ȱȱǯȱȱ
İ2∈ℜ ȱȱȱȬȱȱ¡ȱȱȱȱ¡Ȭ
ȱ¢ǯȱȱ
ε1 ∈ℜ ȱȱȱȱ¢ȬȱȱȱȱŚǯśǯŚǯȱ
[[LY
ε2 ∈ℜ ȱ ȱ ȱ ȱ ¢Ȭȱ ȱ ȱ ȱ
ŚǯśǯŚǯȱ
Ș1 ȱȱȱȱȱȱȱȱȱȱ
ǯȱ
Ș2 ȱȱȱȱȱȱȱȱȱȬ
ȱǯȱ
Fk∈ℜN×Nk ¡ȱȱȱȱȱkȬȱȱȱȱȱ¢ȱȱȱ
ȱȱȱxǯ
·j∈ℜ ȱ¢ȱȱȱȱ¢ȱȱȜjǯ
H12∈ L×N2
¡ȱȱȱȱȱkȬȱȱȱȱȱ¢ȱȱȱ
ȱȱȱyǯȱȬȱ¢ǯȱ
H’k_(ǻx) ȱ ȱ ȱ kȬȱ ȱ Ȭȱ ȱ ȱ ǻx ȱ ȱ
ȱȱȱȱ.
12∈
H L×N2
¡ȱȱȱȱȱ-ȱȱȱȱ¢ȱȱ
ȱȱȱȱyǯȱȬȱ¢ǯȱ
[[Y
Ĥ 12∈ L×N2 ¡ȱȱȱȱȱȱȱȱȬȱ¢Ȭ
ȱȱȱȱȱȱȱȱȬȱ¢ȱ¢Ȭ
ǯȱ
ȱijj(ǻy)ȱȱijl(ǻy) ȱȱȱȱȱijk(ǻy).
Icj∈ℜR×Nj ȱ¡ȱȱȱΩjordȱ ȱȱ¢ȱƼȱȱȱ¢ȱ
ŗȂǯȱ
I 2j k ,l ∈ℜ ¡ȱȱȱȱȱijklȱȱȱȱȱijjǯȱ
I 3j k ,l , m ∈ℜ ¡ȱȱȱȱȱijklmȱȱȱȱȱijjǯȱ
I 3j ,k l , m , p ∈ℜ ¡ȱȱȱȱȱijlmpȱȱȱȱȱijjkǯȱ
ˆ ∈
K m× m
ȱȱȱȱ
ȱȱȱ¢ȱȱ
O
ȱȱȱǯȱȱ
K11∈Ωŗ ȱȱ¡ǯȱȱ
Kjk∈ℜNj×Nk ȱ¡ȱȱkȬȱȱȱȱȱjȬȱȱ¢ȱ¢Ȭ
ǯȱȱ
jk∈
K Nj×Nk ȱ¡ȱȱkȬȱȱȱȱȱȱjȬȱȱȬ
ȱǯȱȱ
[[YL
L11∈ℜN×N ¡ȱ¡ȱȱȱȱȱ Ωŗ.
L j,k∈ℜN×N ¡ȱȱȱȱȱȱȱȱȱ ȱ
ǻxȱȱȱȱǻujȱȱǻuk.
~
Lj3 ∈ℜN×R2 ¡ȱȱȬȱȱȱȱȱȱȱȱ
ȱȱȱxjȱ ȱȱȱxǰȱuǰȱȱuǯȱ
ȁ1 ∈ N×N ȱ¡ȱ ȱȱȬȱȱ¢ȱȬ
ǯȱ
k∈
ȁ Nk×Nk ȱ¡ȱ ȱȱkȬȱȱȱȱȱȬȱ
¢ǯ
Ȝj∈ ȱ¢ȱȱȱȱ¢ǯȱ
λ j∈ ȱȱHnordǯ
Mj∈ℜR×N2 ¢ȱ ¡ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ
ȱȱȱȱǯȱȱ
Ȃ 1∈ N×N ȱ¡ȱ ȱȱȬȱȱ¢ȱǯȱ
j∈ℜN×N2
M Matrix of coefficients of third order ȱ ȱ ȱ ȱ
ǻ2xȱȱȱȱǻuj.
ˆ ∈ ^ N × N
Ȃ ȱ¡ȱ ȱȱ¡ȱ
ȱ μ~ j.
Ȃ ∈ ^ M ×M ȱ¡ȱ ȱȱ¡ȱ
ȱ μ̂ j.
j ∈ℜN×RN
M ¡ȱȱȬȱȱȱȱȱȱȱȱ
3
ȱȱȱxjȱ ȱȱȱxǰȱxǰȱȱuǯȱ
[[YLL
ȝj∈ ȱ ȱ
ȱȱǯȱ
μ~ j∈ ȱ ȱ ¡ȱ ȱǯȱȱ
~
μ̂ j∈ ȱ ȱ ¡ȱ
ȱȱȱȱ C ǯȱ
N j ∈ℜN×R ¡ȱȱȱȱȱȬȱȱȱȱ¢ȱȱ
ȱȱȱ ȱȱȱǻxȱȱȱȱǻuǯȱ
N kj ∈ℜNj×R ¡ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ Ȭ
ȱȱȱȱǻxȱȱȱȱǻukȱȱȱȱ
¢ȱȱȱjǯȱȱ
N 2j ∈ℜN×R ¡ȱȱȬȱȱȱȱȱȱȱȱ
ȱȱȱxjȱ ȱȱȱxȱȱuǯȱ
j∈
N Nj×R ¡ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ Ȭ
k
ȱȱȬȱȱȱǻyȱȱȱȱǻukȱȬ
ȱȱȱ¢ȱȱȱjǯȱȱ
ˆ j∈
N Nj×R ¡ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ ȱ Ȭ
k
o j∈ℜN PKMAǯȱ
Vector of
ȱ¢ȱ ¡ O
OKMD∈ ℜÑ ×M ¡ȱȱ
ȱ¢ȱ ȱȱ
ȱȱ
ȱǯȱ
[[YLLL
OPKMA∈ℜN×M ¡ȱ ȱ
ȱ ¢ȱ ȱ ȱ ȱ
ȱȱ¢ȱǯȱ
p1(t)∈ℜR ȱ£ȱǯȱȱ
pˆ jk ∈ℜ ȱȱȱkȬȱȱȱȱȱȱȱjǯȱ
P11∈ℜN×N ȱȬȱ¡ȱ¢ȱȱȬȱȱȬ
ǯȱȱ
P 11∈ N×N
ȱ ¡ȱ ¢ȱ ȱ ȱ ȱ ȱ ȱ Ȭ
ǯȱȱǯȱ
P 2ord∈ N2ord×N2ord
ȱ¡ȱ¢ȱȱȱȱȱȱȬ
ǯȱȱǯȱ
ĭnord (ǻy)∈ M
ȱȱȱ
ȱȱȱȱŗȱȱnȱȱȱ
ǰȱȱȱ¢ȱ ǯȱ
j∈ ȱ ȱ ȱȱȱȱȂȱǯȱȱ
φˆ j∈ ȱ ȱ ¡ȱ ȱȱȱȱȱǯȱ
[[L[
ȌkǻtǼ∈ Nkȱ
ȱȱȱȱȱkȱȱzȬǯȱ
M ×m
Ȍ̂ ∈ ¡ȱȱ¢ȱȱψ̂ jǯȱ
M
ψ̂ j∈ Ȭȱȱȱȱ¢ȱȱȱȱǯȱ
Q11∈ℜƼȱ ȱ Ȭȱ ¡ȱ ȱ ȱ ȱ ȱ ȱ ȱ
ȱǯȱ¢ȱǯȱ
11∈ℜƼȱ
Q ȱ Ȭȱ ¡ȱ ȱ ȱ ȱ ȱ ȱ ȱ
ȱǯȱȱǯȱ
Q2ord∈ℜŘƼŘȱ ȱȬȱ¡ȱ ȱȱȱȱȱ
ȱȱȱȱȱȱȱǯȱȱ
2ord∈ℜŘƼŘȱ
Q ȱȬȱ¡ȱ ȱȱȱȱ
ȱȱȱȱȱȱȱȱǯȱȱ
R∈ℜR×Rȱ ȱȬȱ¡ȱ ȱȱȱȱȱȱȱ
ǯȱ
σj∈ℜ ¢ȱȱȱȱȱ¢ȱȱȜjǯȱ
Ȣj∈ℜ ¡ȱȱȱȱȱȱ¢ȱȱojǯȱ
Ȉ ∈ ^M ×M
ǯȱ
ȱ¡ȱ ȱȱȱȱȱ X
~ N × N
T∈ ȱ ¡ȱȱȱȱȱȱ¡ȱ
ȱǯȱ
~
T̂ ∈ ^M ×M ¡ȱȱȱȱ C ǯȱ
[[[
t∈ℜ ǯȱ
u∈ℜR ȱ ȱȱȱȱȱȱ¢ȱ¢ǯȱ
uOpt∈ℜR ȱȱȱ ȱȱȱǯȱ
ǻ2u∈ℜR2ȱ ȱȱȱȱȱȂȱȱȱȱŘǯȱ
ǻ3u∈ℜR3ȱ ȱȱȱȱȱȂȱȱȱȱřǯȱ
uj+∈ℜRȱ ȱȱȱȱ¢ȱȱȱȱȡȱȱusepȱȱ
ȱjȬȱǯȱ
uj-∈ℜRȱ ȱȱȱȱ¢ȱȱȱȱȡȱȱ
usepȱȱȱjȬȱǯȱ
ǻuj+∈ℜRȱ ȱȱuj+ȱȱusepǯȱ
ǻuj-∈ℜRȱ ȱȱui-ȱȱusepǯȱ
Û ∈ ^M ×M ȱ ǯȱ
ȱ¡ȱȱȱȱȱ X
υ jk ∈ ȱ
l
ȱȱȱȱlȬȱȬȱȱȱǻx2ȱȱȱȬ
ȱȱǻyjǻykǯȱ
ৼj_∈ N
ȱȱ ǻǼȱ
ȱǯȱ
ৼj,k_∈ Nȱ ȱȱȱȱ ǯȱ
ৼj,k,ll∈ Nȱ ȱȱȱȱǯȱ
[[[L
V11∈ N×Nȱ ¡ȱȱȱȱȱȱȱ¡ȱȱȱȬȱ
¢ǯȱ
V̂ ∈ ^M × Ñ ȱ ¡ȱȱȬȱ¡ȱ
ȱǯȱ
V̂ 11∈ N×N
ȱ ¡ȱȱȱȱȱȱȱ¡ȱȱȱȬȱ
¢ǯȱ
11∈
V N×Nȱ ¡ȱȱȱ ȱȱȱ ȱ ȱȱ Ȭȱ
¢ȱȱȱȬȱ¢Ȃȱȱǯȱȱ
Ǒ ∈ ^ Ñ ×M ȱ
ǯȱ
ȱ¡ȱȱȱȱȱ X
j_∈
w Mȱ ȱȱȱHnordǯȱ
w j_∈ Mȱ £ȱȱȱȱHnordǯȱ
,Y
X ∈ℜM ×N ȱȱȱǯȱ
xk∈ℜNȱȱ ȱȱȱȱ¢ȱȱȬȱ ǯȱ
x∈ℜNȱ ȱ ȱȱȱȱ¢ȱȱȬȱ ǯȱ
ǻ2xi,j∈ℜN2ȱ ȱȱȱȱȱȱȱȱȱŘȱȱ
ȱȱ£ȱǯȱ
ǻ2x∈ℜN2ȱ ȱȱȱȱȱȂȱȱȱȱŘǯȱ
[[[LL
ǻ3x∈ℜN3ȱ ȱȱȱȱȱȂȱȱȱȱřǯȱ
ǻ3xi,j,k∈ℜN3ȱ ȱȱȱȱȱȱȱȱȱřȱȱ
ȱȱ£ȱǯȱ
xi+∈ℜNȱ ȱȱȱȱ¢ȱȱȱȱȡȱȱxsepȱȱ
ȱiȬȱǯȱ
xi-∈ℜNȱ ȱȱȱȱ¢ȱȱȱȱȡȱȱ
xsepȱȱȱiȬȱǯȱ
ǻxi+∈ℜNȱ ȱȱxi+ȱȱxsepǯȱ
ǻxi-∈ℜNȱ ȱȱxi-ȱȱxsepǯȱ
ǻxi∈ℜNȱ ȱȱxi+ȱȱ-xi-ǯȱ
Ui+∈ℜNȱ ȱȱȱȱȱȱ¢ȱȱȱȱȱ
ȱȱȡȱȱȱiȬȱȱǯȱ
ǻUi+∈ℜNȱ ȱȱUi+ȱȱsepǯȱ
ǻkx∈ℜNkȱ ȱȱȱȱȱȱȱȱkȱȱȱȬ
ȱ£ȱǯȱȱ
ǻ1xi∈ℜNkȱ ȱȱȱȱȱŗȱȱȱȱ£ȱȬ
ǯȱ
y∈ N
ȱ ȱȱȱȱȬȱ¢ǯȱ
y ∈ N ȱ ȱȱȱȱȬȱ¢ǯȱ
ǔ∈ℜL ȱ ȱȱȱȱȱȱ¢ȱ¢ǯȱ
ǻǔi+∈ℜL ȱȱȱȱȱ ȱi+ȱȱǯȱ
[[[LLL
ǻǔi-∈ℜL ȱȱȱȱȱ ȱi-ȱȱǯȱ
z∈ Mȱ ȱ ȱǯȱȱ
zj∈ Mȱ ȱ ȱȱȱȱjǯȱȱ
znord∈ Mȱ ȱȱȱȱŗȱȱnǯȱ
[[[LY
Chapter 1
Introduction
This introductory chapter presents a brief description of the research work in this disser‐
tation.
The background and motivations are explained as well as the statement of the
problem that is addressed in the research.
A concise review of the previous work related to the topics treated in this disser‐
tation is presented. Also, the goals and objectives of this research work, the obtained re‐
sults, and the limitations of the proposed approach are stated.
Moreover, the main contributions are summarized, and the publications generat‐
ed from this work are listed.
The last part of the chapter is an outline of the general structure of the disserta‐
tion.
1.1 Background and motivation
The description and characterization of spatiotemporal oscillatory dynamics is a
central question in power system stability and control [1]‐[5]. Global mode anal‐
ysis techniques are of interest because they can be used to extract a small set of
global variables with which to characterize the short‐term swing dynamics in
cases where linear methods fail.
With such an approach, the essential dynamical coordinates or modes of
high‐dimensional measured trajectories that have an important influence on
system behavior can be isolated, and the mechanisms leading to a system insta‐
bility can be identified [4].
Transient motions associated with system modes can vary from localized
behavior to large‐scale global motion and may be highly correlated for a given
time interval, especially in the case of poorly damped or unstable oscillations
following large disturbances [1], [2]. Such interactions can be usefully described
in terms of modes interacting with each other via the network structure and via
the initial operating conditions [2], [3].
Understanding how these modes evolve and interact is key not only to
assessing system stability but also to identifying dynamic devices and their con‐
trol systems involved in the oscillations and to design controllers [6], [7].
The extracted global coordinates can then be correlated with specific sys‐
tem behavior and be used to identify coherent patterns and global trends. This is
the subject of this research.
The increasing complexity of electric power systems and their operation under
high loading conditions require the availability of efficient techniques capable to
provide useful information about intrinsic global dynamic behavior [2], [3], [8]‐
[10], as well as appropriate schemes for monitoring and control those slow
wide‐area oscillations [11]‐[13].
2
Model‐based techniques for describing global behavior of complex tran‐
sient processes are of particular interest for characterization of wide‐area phe‐
nomena.
However, the application of this type of analyses is limited to small pow‐
er systems due to the enormous computational burden [2], opening an oppor‐
tunity to develop methodologies that allow this kind of non‐linear analysis to be
applied on medium‐sized and large multi‐machine power systems.
Finally, the use of efficient analysis techniques is of utmost importance to
the ultimate utilization of these non‐linear analysis techniques to the develop‐
ment of new control laws or devices.
In the following section, the research work related to the mentioned areas
of investigation is briefly described. Areas of application and future research are
also identified.
Central to this framework is the decomposition of observables or outputs
based on the projection onto eigenfunctions of a linear Koopman operator asso‐
3
ciated with the dynamical evolution of the underlying transient process [16]‐
[18].
In the literature, non‐linear analysis techniques have been efficiently used
to investigate global system behavior [3], [8]‐[10] and modal interactions [19],
[20], to define non‐linearity indexes [2], [5], [9], [21], [22], to predict power sys‐
tem inter‐area separation [20], to assess the effect of renewable energy [23], and
to analyze [19] or design controllers [24]‐[27].
In reference [25], the authors redesign a non‐linear controller to eliminate
Hopf bifurcations from the systemʹs normal operation region. References [26]
and [27] use non‐linear participation factors to locate power system stabilizers
(PSSs) and to retune the generatorʹs excitation system, respectively.
On the other hand, many wide‐area controllers have been designed based
on linearized representations of the system and optimal linear control theory
[11]‐[13], whereas non‐linear controllers have been designed based on linear
feedback linearization [24], [28]‐[29] or Lyapunov energy functions [30]‐[31].
As stated in [24], the Lyapunov function‐based methods need to find a
Lyapunov energy function for a certain system, while the normal forms meth‐
ods have well‐established procedures. These methods are based on Lie deriva‐
tives of a non‐linear power system model [24] and can be used to study the ef‐
fect of non‐linear modal interaction on power system dynamic behavior as well
as to design and locate system controllers.
The extension of these approaches to deal with large, sparse system mod‐
els has been recently addressed in the power system literature [32] but several
4
issues warrant further investigation. These include the incorporation of trans‐
mission network devices, the efficient solution of the resulting models and the
analysis of system‐device interactions, among other issues. More recently, mod‐
el‐driven approaches with the ability to analyze complex system models have
been proposed that provide an alternate characterization of non‐linear system
behavior [33]. These models are of special interest here since they can be used in
conjunction with data‐based analysis methods based on Koopman mode analy‐
sis.
In closing, it must be mentioned that the characterization of dynamical
systems’ global behavior and the development of new control laws has been
usually addressed under perturbation theory, with techniques such as linear
stability analysis [2], [34], the method of normal forms [2], [9], [35], and modal
series [23], [36].
Key issues of these approaches that require further investigation include
[2], [3], [9]:
2. The computational burden of computing the higher‐order matrices of
coefficients is high
3. It is required to have knowledge about the system stable equilibrium
points.
4. Obtaining the system response in the non‐linear coordinates is com‐
putationally demanding.
5. The size of the problem grows exponentially with system dimension
and stress.
5
The emergence of new techniques and approaches in non‐linear systems
theory opens the possibility to extend the realm of applicability of non‐linear
methods to circumvent some of the above limitations.
Specific objectives include:
1. The development of a general high‐order theory for studying non‐linear
behavior in complex power system models.
2. The design of simple and straightforward schemes for the efficient appli‐
cation of the developed methods.
3. To gain insight into the non‐linear phenomena arising from complex sys‐
tem formulations, and how these phenomena can be visualized and char‐
acterized in terms of relevant modes of motion.
4. To derive measures of observability to identify critical system modes
based on the notion of observables in Koopman mode analysis.
5. To develop an analytical framework for relating the measured evolution
of a non‐linear response with the obtained higher‐order approximation.
The main original contributions of this research work are:
The development of an analytical approach based on the chain rule to
rapidly linearize a dynamical system up to a certain order of analysis.
6
The development of a method that combines Koopman mode analysis
with perturbation theory to obtain a closed‐form approximation to the
system response, in which the influence of mode interactions on system
response can be singled out in an efficient manner.
The development of an efficient methodology to compute the proposed
non‐linear perturbed model, as well as the corresponding initial condi‐
tions and eigendecomposition.
The derivation of non‐linear measures of observability, measures of non‐
linearity, and non‐linear residues.
The development of a quadratic non‐linear controller with structural con‐
straints and the inclusion of a truncated set of non‐linear dynamics.
This dissertation is structured into nine chapters. After this introductory chap‐
ter, Chapter 2 presents a theoretical background on Koopman operator analysis
and briefly describes its most relevant properties. A review of both, data‐driven
and model‐based Koopman‐based analysis techniques is presented along with a
review of Koopman operator theory.
Chapter 3 presents a novel methodology for the linearization of dynam‐
ical systems of differential equations. This method is named “Recursive Lineari‐
zation” and is based on the chain rule and perturbation theory that extend exist‐
ing analysis methods to the non‐linear case. Efficient algorithms for its straight‐
forward and fast implementation are also introduced.
In addition, a new method that combines Koopman mode analysis and
perturbation theory to analyze and characterize weak non‐linearities of a dy‐
namical system around a stable system equilibrium point is then presented in
Chapter 4. Efficient schemes for its implementations are also provided.
7
In Chapter 5 Koopman observability measures in the Koopman operator
theory and the data‐driven frameworks are derived. These non‐linear observa‐
bility measures are extended to the perturbed Koopman mode analysis.
An illustrative application of the recursive linearization method to ana‐
lyze multi‐machine power systems is presented in Chapter 6. Additionally, non‐
linear interactions of the type state‐state and state‐input are assessed for a cubic
extended Koopman eigenfunctions‐based model.
In Chapter 7 the development of a truncated quadratic non‐linear control‐
ler to damping wide‐area oscillations is presented. The proposed control law is
based on optimal control theory and the perturbed Koopman mode analysis in
Chapter four. Structural constraints of the communication network are consid‐
ered for the controller design, and a structural architecture for online application
is suggested.
Numerical results are provided in Chapter 8 for various test systems
Finally, in Chapter 9 conclusions, and suggestions for future work are
summarized.
1.7 Publications
The following publications are the result of this research work.
1.7.1 Conference papers
‐ M. A. Hernández‐Ortega and A. R. Messina, “Koopman mode analysis of
measured oscillations: An observability‐based approach,” North American
Power Symposium (NAPS), Charlotte, NC, October 2015.
‐ M. A. Hernández‐Ortega and A. R. Messina, “Koopman mode analysis of
very large datasets: Numerical experience,” Transmission and Distribution‐
Latin America (T&D LA), Morelia, Mex., Sept. 2016.
8
1.7.2 Refereed journal papers
‐ M. A. Hernández‐Ortega and A. R. Messina, “An observability‐based
approach to extract spatiotemporal patterns from power system
Koopman mode analysis,” Electric Power Components and Systems, vol. 45,
no. 4, pp. 355‐365, Feb. 2017.
‐ M. A. Hernández‐Ortega and A. R. Messina, “Nonlinear power system
analysis using Koopman mode decomposition and perturbation theory,”
IEEE Transactions on Power Systems, vol. 33, no. 5, pp. 5124‐5134, Sept.
2018.
‐ M. A. Hernández‐Ortega and A. R. Messina, “Recursive linearization of
third order for electric power systems,” IEEE Transactions on Power Sys‐
tems, submitted.
‐ M. A. Hernández‐Ortega, A. Chakrabortty, and A. R. Messina, “Design
of a non‐linear quadratic controller for damping wide‐area oscillations
through the perturbed Koopman mode analysis,” IEEE Transactions on
Power Systems, submitted.
1.8 References
[1] J. Thapar, V. Vittal, W. Kliemann, and A. A. Fouad, “Application of the
normal form of vector fields to predict interarea separation in power sys‐
tems,” IEEE Trans. Power Syst., vol. 12, no. 2, pp. 844‐850, May 1997.
[2] J. J. Sanchez‐Gasca, V. Vittal, M. J. Gibbard, A. R. Messina, D. J. Vowles, S.
Liu, and U. D. Annakkage, “Inclusion of higher order terms for small‐
signal (modal) analysis: committee report‐task force on assessing the need
to include higher order terms for small‐signal (modal) analysis”, IEEE
Trans. Power Syst., vol. 20, no. 4, pp. 1886–1904, 2006.
9
[3] V. Vittal, N. Bhatia, and A. A. Fouad, “Analysis of the inter‐area mode
phenomenon in power systems following large disturbances,” IEEE Trans.
Power Syst., vol. 6, no. 4, pp. 1515‐1521, Nov. 1991.
[4] Y. Susuki and I. Mezić, “Nonlinear Koopman modes and precursor to
power system swing instabilities,” IEEE Trans. Power Syst., vol. 27, no. 3,
pp. 1182‐11191, Aug. 2012.
[5] H. Amano, T. Kumano, and T. Inoue, “ Nonlinear stability indexes of pow‐
er swing oscillation using normal form analysis,” IEEE Trans. Power Syst.,
vol. 21, no. 2, pp. 825‐834, May 2006.
[6] J. J. Sanchez‐Gasca and D. J. Trudnowski, “Identification of electromechan‐
ical modes in power systems,” IEEE Task Force Report, Special Publication
TP462, June 2012.
[7] A. R. Messina, Inter‐area Oscillations in Power Systems: A Nonlinear and
Nonstationary Perspective, New York, Springer, 2009.
[8] P. Kundur, Power System Stability and Control, New York, Mc‐Graw‐Hill,
1994.
[9] T. Tian, X. Kestelyn, O. Thomas, A. Hiroyuki, and A. R. Messina, “An ac‐
curate third‐order normal form approximation for power system nonlinear
analysis,” IEEE Trans. Power Syst., vol. 33, no. 2, pp. 2128‐2139, Mar. 2018.
[10] N. Pariz, M. H. Shanechi, and E. Vaahedi, ʺExplaining and validating
stressed power systems behavior using modal series,” IEEE Trans. Power
Syst., vol. 18, no. 2, pp. 778‐785, May 2003.
[11] A. Chakrabortty and P. M. Khargonekar, “Introduction to wide‐area con‐
trol of power systems,” IEEE American Control Conference (ACC) 2013, pp.
6758‐6770, Washington DC, USA, June 2013.
10
[12] A. Chakrabortty, “Wide‐area damping control of power systems using dy‐
namic clustering and TCSC‐based redesigns,” IEEE Trans. Smart Grid, vol.
3, no. 3, pp. 1503‐1514, May 2012.
[13] A. Jain, A. Chakrabortty, and E. Biyik, “An online structurally constrained
LQR design for damping oscillations in power system networks,” IEEE
American Control Conference (ACC) 2017, pp. 2093‐2098, Seattle, WA, USA,
July 2017.
[14] M. Budišíc, R. Mohr, and I. Mezić, “Applied Koopmanism,” Chaos: Inter‐
discip. J. Nonlinear Sci., vol. 22, no. 4, pp. 047510, December 2012.
[15] A. Mauroy and I. Mezić., “Global stability analysis using the eigenfunc‐
tions of the Koopman operator,” IEEE Trans. Automatic Control, vol. 61,
no. 11, pp. 3356–3369, Nov. 2016.
[16] Y. Susuki and I. Mezić, “Nonlinear Koopman modes and power system as‐
sessment without models,” IEEE Trans. Power Syst., vol. 29, no. 2, pp. 899–
907, March. 2014.
[17] E. Barocio, B. C. Pal, N. F. Thornhill, and A. R. Messina, “A dynamic mode
decomposition framework for global power system oscillation analysis,”
IEEE Trans. Power Syst., vol. 30, no. 6, pp. 2902–2912, November 2015.
[18] I. Mezić, “Analysis of fluid flows via spectral properties of Koopman oper‐
ator”, Annu. Rev. Fluid Mech., vol. 45, pp. 357‐378, 2013.
[19] C.‐M. Lin, V. Vittal, W. Klienmann, and A. A. Fouad, “Investigation of
modal interaction and its effect on control performance in stressed power
systems using normal forms of vector fields,” IEEE Trans. Power Syst., vol.
11, no. 2, pp. 781‐787, May 1996.
[20] X. Y. Ni, V. Vittal, W. Klienmann, and A. A. Fouad, “Nonlinear modal in‐
teraction in hvdc/ac power systems with dc power modulation,” IEEE
Trans. Power Syst., vol. 11, no. 4, pp. 2011‐2017, Nov. 1996.
11
[21] S. K. Starret and A. A. Fouad, “Nonlinear measures of mode‐machine par‐
ticipation [transmission system stability],” IEEE Trans. Power Syst., vol. 13,
no. 2, pp. 389‐394, May 1998.
[22] J. Arroyo, E. Barocio, R. Betancourt, and A. R. Messina, “A bilinear analysis
technique for detection and quantification of nonlinear modal interaction
in power systems,” 2006 IEEE PES GM, Montreal, Canada, June 2006.
[23] R. Z. Davarani, R. Ghazi, and N. Pariz, “Non‐linear analysis of DFIG based
wind farm in stressed power systems,” IET Renew. Power Gener., vol. 8, no.
8, pp. 867‐877, Nov. 2014.
[24] A. K. Singh and B. C. Pal, “Decentralized nonlinear control for power sys‐
tems using normal forms and detailed models,ʺ IEEE Trans. Power Syst.,
vol. 33, no. 2, pp. 1160‐1172, Mar. 2018.
[25] P. M. Vahdati, A. Kazemi, M. H. Amini, and L. Vanfretti, ʺHopf bifurcation
control of power system nonlinear dynamics via a state feedback control‐
ler‐Part I: Theory and modeling,ʺ IEEE Trans. Power Syst., vol. 32, No. 4, pp.
3217‐3228, July 2017.
[26] S. Liu, A. R. Messina, and V. Vittal, “A normal form analysis approach to
siting power system stabilizers (PSSs) and assessing power system nonlin‐
ear behavior,” IEEE Trans. Power Syst., vol. 21, no. 4, pp. 1755‐1762, Nov.
2006.
[27] H. Lomei, M. Assili, D. Sutanto, and K. M. Muttaqi, “A new approach to
reduce the nonlinear characteristics of a stressed power system by using
the normal form technique in the control design of the excitation system,”
IEEE Trans. on Industry Applications, vol. 53, no. 1, pp. 492‐500, Jan./Feb.
2017.
[28] M. A. Mahmud, M. J. Hossain, H. R. Pota, and Amanullah M. T. Oo, ʺRo‐
bust partial feedback linearizing excitation controller design for multi‐
12
machine power systems,ʺ IEEE Trans. Power Syst., vol. 32, No. 1, pp. 3‐16,
Jan. 2017.
[29] J. W. Chapman, M. D. Ilic, C. A. King, L. Eng, and H. Kaufman, ʺStabilizing
a multimachine power system via decentralized feedback linearizing exci‐
tation control,ʺ IEEE Trans. Power Syst., vol. 8, No. 3, pp. 830‐839, Aug.
1993.
[30] H. Liu, Z. Hu, and Y. Song, “Lyapunov‐based decentralized excitation con‐
trol for global asymptotic stability and voltage regulation of multi‐machine
power systems,” IEEE Trans. Power Syst., vol. 27, No. 4, pp. 2262‐2270, Nov.
2002.
[31] R. Yousefian and S. Kamalasadan, “A Lyapunov function based optimal
hybrid power system controller for improved transient stability,” Electric
Power Syst. Res., vol. 137, pp. 6‐15, Aug. 2015.
[32] I. Martínez, A. R. Messina, and V. Vittal, “Normal form analysis of com‐
plex system models: a structure preserving approach,” IEEE Trans. Power
Syst., vol. 22, no. 4, pp. 1908‐1915, Nov. 2007.
[33] M. A. Hernández‐Ortega and A. R. Messina, “Nonlinear power system
analysis using Koopman mode decomposition and perturbation theory,”
IEEE Trans. Power Syst., vol. 33, no. 5, pp. 5124‐5134, Sept. 2018.
[34] J. Persson and L. Söder, “Comparison of three linearization methods,”
Proc. of the 16th PSCC, Glasgow, 14‐18 July 2008.
[35] V. Vittal, N. Bhatia, and A. A. Fouad, “Analysis of stressed power systems
following using normal forms,” Proc. of the IEEE ISCAS, vol. 5, pp. 2553‐
2556, USA, 1992.
[36] O. Rodríguez and A. Medina, “Stressed power systems analysis by using
higher order modal series method: a basic study,” IEEE PES Transmission
and Distribution Conference and Exposition 2010, LA, USA, 2010.
13
Chapter 2
Koopman Mode Analysis
Over the last few years, Koopman mode analysis has emerged as an alternative approach
to the study of data-driven system representations.
In this context, Koopman mode analysis captures the full information of a (non-
)linear system through the spectral analysis of the Koopman operator and provides a
very general analysis tool to investigate the stability of both, model-based, and data-
driven-based representations. The associated Koopman modes represent spatial flow
structures and have an associated temporal frequency and growth rate that may be
viewed as a non-linear generalization of linear global modes.
In discrete time, mapping the state z(t0) forward in time, yields zk+1 =
T(z(k)) = T(zk), where zk = z(k∆t), and T is a discrete map, T(∆t): Z → Z.
z k +1 = T(z k )
(2. 2)
x k +1 = f (z k +1 ) = f (T(z k ))
where the terms within brackets [∙] are functions acting over the vector of varia-
bles zk, and f ○T denotes the composition of the functions f and T.
15
UT gives insight into the dynamics of the system in a similar way to the case of
finite-dimensional systems [2], [3].
Property 2.1 (Linearity). Since UT is linear, it holds that for any functions
f1, f2, and scalars α, β
U T (ψ 1ψ 2 ) ( z ) = [U T ψ 1 ] ( z ) [U T ψ 2 ] ( z ) = ( µ1 µ 2 ) [ψ 1ψ 2 ] ( z ) (2. 7)
16
2.1.2 Koopman modes
Assume that the function f is defining the observables in the span of a set of lin-
early independent eigenfunctions ψj. Then, the function f in (2.2) can be expand-
ed as
f ( z ) = ∑ j =1ψ j ( z ) vɶ j
∞
(2. 8)
where the vectors of coefficients ṽj ∈ N are the Koopman modes (KMs), and are,
in general, not necessarily orthogonal [2], [3].
The dynamic evolution of the system (2.2), given by the iterations of (2.7)
and (2.8) from the initial value z0, is [2], [4]:
[
f (z1 ) = f (T(z 0 )) = U T1 f (z 0 ) ]
[ ]
f (z 2 ) = f (T(z1 )) = U T f (z1 ) = U T f (z 0 )
1 2
[ ] (2. 9)
⋮
[
f (z k ) = U Tk f (z 0 ) ]
and, in accordance with (2.3), (2.4), and (2.8)
∞ ∞
f ( z k ) = ∑ U T k ψ j ( z 0 ) vɶ j = ∑ µ kjψ j ( z 0 ) vɶ j (2. 10)
j =1 j =1
where the terms μj are the discrete-time Koopman eigenvalues with a decay rate
σ j and oscillate to at a unique frequency γj, such that for the considered frame-
work, their evolution is given by μj k = exp (λjk∆t) = exp ((σj +iγj)k∆t).
To further illustrate this notion, let now {μ1, μ2, …, μN} be the set of linear
eigenvalues of f, and {ψ1, ψ2,…, ψN} be the set of corresponding linear eigenfunc-
tions. By making use of properties 2.2 and 2.3 in equation (2.10), one has that
∞ ∞ N N
f ( z k ) = ∑ j =1 µ kjψ j ( z 0 ) vɶ j + ∑∑∑∑ µ jp µlq ψ jpψ lq ( z 0 ) vɶ ( p ,q , j ,l )
N
(2. 11)
p =1 q =1 j =1 l =1
17
2.2 Particular cases of analysis
Three particular cases for analysis that are of interest to this research are
discussed below:
18
2.2.2 KMA of a linear system
Let us consider again a linear system with the form ẋ = A11x, and let A11 be de-
composed as A11= V11Λ1U11 with V11 = [v1 v2 ∙∙∙ vN], where vj is a right eigenvector
of A11 corresponding to the linear eigenvalue λ_j. Then, if wj is the j-th right ei-
genvector of the adjoint A11, A11*, we can define the observable ϕj(x) = 〈x, wj〉 and
write [3]
N N
g ( x ) = ∑ x, w j v j = ∑φ j ( x ) vɶ j (2. 15)
j =1 j =1
From this expression, we can see that the eigenvector vj of the linear map
A11 is the Koopman mode corresponding to ϕj.
x k +1 = A11x k
(2. 16)
yˆ k = C1x k
19
where A 11∈ℜN×N is the discrete-time system matrix, C 1∈ℜL×N is the discrete-
time matrix of output signals and ŷk∈ℜL are the system output signals evaluated
at time step k.
Then, at k =1
g ( x1 ) = yˆ 1 = C1x1
= C1A11x 0 (2. 19)
+ −1 +
= C1A11C x 0 = C1V11M1 V C x 0
1 11 11
U 1A U 1A
g ( x k ) = yˆ k = C1x k
= C1 A11
k
x0 (2. 20)
+ −1 +
= C1 A C yˆ 0 = C1V11M V C yˆ 0
k
11 1
k
1 11 1
U Ak U Ak
g ( x k ) = ∑ j =1 µ kj φ j ( x0 ) vɶ j
N
(2. 21)
ɶ = [ vɶ vɶ ⋯ vɶ ] = C V
V (2. 22)
1 2 N 1 11
20
and the values of the Koopman eigenfunctions may be calculated from:
Θ ( x0 ) = φ1 ( x0 ) φ2 ( x0 ) ⋯ φN ( x0 ) = V11−1x0
T
(2. 23)
21
In what follows, the data-driven approaches and the two types of finite
representations of the Koopman operator (exact and approximated) are de-
scribed.
ɶ
Following [2] and [7], if xɶ k ∈ℜM is a snapshot, then the snapshot data ma-
ɶ ∈ℜMɶ × Nɶ can be defined as:
ɶ ,Y
trices X
ɶ = xɶ
X xɶ 2 ⋯ xɶ Mɶ −1 (2. 24)
0
ɶ = xɶ xɶ ⋯ xɶ ɶ
Y (2. 25)
1 2 M
ɶ =g X
Y ( )
ɶ = XC
ɶˆ (2. 26)
ɶ ɶ
i.e., Ĉ ∈ℜN ×N is the associated companion matrix resembling the effect of the
~
Koopman operator in the data set X , and is constructed as:
0 0 0 0 cˆ0
1 0 0 ⋯ 0 cˆ1
ˆ = 0
C 1 0 0 cˆ2 (2. 27)
⋮ ⋱ ⋮ ⋮
0 0 0 ⋯ 1 cˆNɶ −1
22
where ĉ = (ĉ0, …, ĉ Nɶ −1 )T is the vector of coefficients of the linear combination [10]
and r is the residue of the linear combination. We note that, in the limit, r ≈ 0 as
~
Mɶ increases and rank( X ) → Nɶ .
~ ~
Consider now the eigendecomposition Ĉ= T -1 Μ̂ T , Μ̂ =diag( µ~1,…, µ~Nɶ ).
The eigenvalues µ~ j ∈ C of Ĉ are then approximations to the eigenvalues μj of g,
Nɶ
called empirical Ritz eigenvalues. The empirical Ritz eigenvectors v̂ j∈ are
defined to be the columns of the matrix V̂= [ v̂ 1 v̂ 2 ⋅⋅⋅ v̂ Nɶ ], where [3]
V ɶ Tɶ −1
ˆ =X (2. 29)
Nɶ
xɶ k = ∑ µɶ jk vˆ j , k = 0,… , Nɶ − 1 (2. 30)
j =1
Nɶ
xɶ Nɶ = ∑ µɶ jN vˆ j + r, r ⊥ span {xɶ 0 ,… , xɶ Nɶ −1}
ɶ
(2. 31)
j =1
It can be observed from (2.21), (2.30), and (2.31) that the Ritz eigenvalues,
µ~ j, are approximations to the Koopman eigenvalues μj as the empirical Ritz ei-
genvectors v̂ j are approximations to the Koopman modes ṽj multiplied by the
value of the corresponding Koopman eigenfunctions ϕj(x0), i.e. ϕj(x0)ṽj. However,
equation (2.30) approximates each snapshot via a finite sum of modes, rather
than an infinite sum.
There are three main sources of computational error affecting the imple-
mentation of the Koopman mode decomposition method:
23
1. Ill-conditioning of the computations: This is the most common and im-
ɶ in (2.29), when T
portant factor. It is associated with the inversion of T ɶ
( )
+
ɶ
cˆ = X xɶ Ñ (2. 32)
~
whereas in [12] the economy-size QR decomposition of X is used.
~ ɶ ɶ ɶ
This means that with X = QR, Q∈ ℜ M × M , R∈ ℜ M × Ñ , the vector ĉ is
calculated as:
For the case of power systems, we propose the use of the formula
( )
+
ɶ TX
cˆ = X ɶ ɶɶ
Xx (2. 34)
Ñ
2. Dependence of the results on the last snapshot: This implies that the
Koopman mode estimates may vary from one sampling window to an-
other. Numerical experience shows that this variation on the estimations
decreases as the dataset and the sampling rate increases.
24
3. Similarity with the discrete Fourier transform (DFT): Analogously to the
DFT, the rate of oscillation of the Koopman modes is limited by the
Nyquist criterion; the Koopman eigenvalues are separated around the
unit circle by a differential of frequency Δf almost equal to that defined
for the DFT, except for the most dominant Koopman modes.
This essentially means that the resolution of the Koopman mode decom-
position method increases as the observational period increases.
As can be noted, the second and third numerical issues associated with
the Koopman mode decomposition method are intrinsically enhanced when
large datasets are used. It should be stressed, however that the results of these
numerical methods are still estimations of the true Koopman modes.
ɶ such that X
This variant computes the SVD of the matrix X ɶ = ÛΣŴH,
Mɶ ×Mɶ ɶ ɶ ɶ ɶ
where Û∈ , Ŵ∈ N ×M , and Σ∈ M ×M is a diagonal matrix containing the
ɶ . ŴH denotes the conjugate transpose of Ŵ [5].
singular values of X
ɶ =U
C ɶ ˆ −1 = ΣW
ˆ H YWΣ ˆ ˆ −1
ˆ H CWΣ (2. 35)
25
~
where C generally allows a more robust implementation and preserves the most
dominant patterns encountered in matrix Ĉ. This alternate algorithm is exact
ɶ is full-rank [11].
when X
⌢
where M =diag( µˆ 1 , … , µˆ J ) contains the set of most dominant eigenvalues of Ĉ
~
and T̂ ∈ Nɶ × Nɶ
is the matrix of right eigenvectors of C .
The dynamic modes are set as V̂ = Û T̂ , whereas the time coefficients are
ˆ −1ΣW
computed either with T ˆ H or by scaling the columns of V̂ by appropriate
complex scalars.
In this sense, the main numerical issue of the dynamic mode decomposi-
tion method resides in the fact that its estimates may result in mode mixing and
lead to an ill-conditioning problem, especially for datasets with a reduced num-
ber of sensors [12].
26
2.3.2.1 Extended dynamic mode decomposition
The extended dynamic mode decomposition (EDMD) was first proposed in [7].
This method approximates not just the Koopman modes and eigenvalues, but
also the Koopman eigenfunctions.
ɶ and Y
Here, the definition of the previously used snapshots matrices X ɶ ,
is extended by simply considering
ɶ and Y
where X ɶ are not necessarily time series [13].
ɶ ) = ψˆ (X
1 ) ψˆ 2 (X) ⋯ ψˆ m (X)
ˆ (X
Ψ ɶ ɶ ɶ (2. 38)
The optimal choice of the functions being part of the dictionary is an open
problem, but here it is assumed to be rich enough to accurately approximate the
most dominant Koopman tuples [7].
ɶ ) = [Ψ
ˆ ]( X
[U Ψ ɶ)=Ψ
ˆ gˆ ]( X ɶ )K
ˆ (X ˆ +r (2. 39)
O
ɶ ) and Ψ
ˆ (X
tions Ψ ɶ ) [7], or by sparse regression [14].
ˆ (Y
27
ˆ with eigenvalue µ~ j, the ap-
Thus, if ξj is the j-th right eigenvector of K O
φˆj (xɶ k ) = Ψ
ˆ (xɶ )ξ
k j (2. 40)
m
g j ( xɶ k ) = ∑ψˆ l ( xɶ k )bˆk ( l ) = Ψ
ˆ ( xɶ )bˆ
k k (2. 41)
l =1
g ( xɶ k ) = Bˆ T Ψ
ˆ T ( xɶ )
k (2. 42)
where Bˆ T = [bˆ 1 bˆ 2 ⋯ bˆ m ] .
obtained that:
ˆ (xɶ ) = Ψ
Φ ˆ (xɶ )Ξ (2. 43)
k k
m
ˆ ˆ T (xɶ ) = ∑ vˆ φˆ (xɶ )
g (xɶ k ) = VΦ (2. 44)
k j j k
j =1
with
ˆ = [ vˆ
V 1 vˆ 2 ⋯ vˆ m ] = (Ξ−1Bˆ )T (2. 45)
28
Although this method is thought to use data for obtaining the Koopman
tuples, knowledge about the nature of the dynamical system and the analyzed
data is required for a proper selection of the dictionary’s basis functions [7], [14].
29
were used: methods based on data and methods based on the dynamical equa-
tions.
2.5 References
[2] I. Mezić, “Analysis of fluid flows via spectral properties of Koopman oper-
ator”, Annu. Rev. Fluid Mech., vol. 45, pp. 357–378, 2013.
[4] A. Mauroy and I. Mezić., “Global stability analysis using the eigenfunc-
tions of the Koopman operator,” IEEE Trans. Automatic Control, vol. 61,
no. 11, pp. 3356–3369, Nov. 2016.
[5] L. Perko, Differential Equations and Dynamical Systems, 3rd edition, Springer-
Verlag, NY, 2001.
30
[6] P. J. Schmid, “Dynamic mode decomposition of numerical and experi-
mental data,” J. Fluid Mechanics, vol. 656, Cambridge University Press 2010,
pp. 5–28.
31
Chapter 3
Recursive Linearization
Recent studies in the use of analytical perturbation methods have shown that the exploi‐
tation of the structure of the underlying models can greatly enhance the performance of
these tools and produce, in certain applications, efficient algorithms for performing
modal analysis.
In this chapter, a novel methodology for the linearization of a dynamical system
up to the third order based on the use of chain‐rule based techniques is presented that
provides a straightforward and fast alternative for the linearization of large and complex
power system dynamic models.
First, the concept of recursive linearization is introduced to aid in simplifying the
system model. Expressions are developed and techniques for exploiting the structure of
the expansions are then presented. Associated relationships for computing second‐ and
higher‐order approximations to the power series expansion terms of a non‐linear analyt‐
ical model are also developed. This renders the proposed framework highly suitable for
automated non‐linear analysis of complex models.
3.1 Mathematical background
Non‐linear dynamical systems often exhibit complicated performance that fall
outside the domain of traditional linear analysis methods. To obtain more local‐
ized and accurate information, extensions to linear methods are required, which
account for non‐linear behavior around a stable system equilibrium point (sep)
[1]‐[6].
Obtaining these higher‐order approximations is generally a computation‐
ally demanding task that makes the application of non‐linear analysis methods
difficult [3], [5]. In this chapter, a novel linearization scheme is presented, which
reduces computational effort when analyzing complex dynamical systems ex‐
pressed as a set of (real‐ or complex‐valued) ordinary differential equations
(ODEs).
As a basis for our discussion, assume that the non‐linear equations corre‐
sponding to a dynamical system can be expressed as a set of ODEs [1], [2]
x t ĝ xt , u t (3. 1)
yˆ t h' x t (3. 2)
where xX are the state variables, uU are the input signals, and ŷŶ are the
output signals; XN, UR, and ŶL represent the space where the state var‐
iables, the entries, and the outputs evolve, respectively.
In the context above, the functions defining the time derivatives of the
state variables can be stacked into a vector ĝ(x, u) = [ĝ1(x, u) ĝ 2(x, u) … ĝN(x, u)]T,
where:
33
Equation (3.3) can also be written as a function f j of embedded sub‐
~ j (x, u) as:
functions g
~
x j f j g~1 x1 , , x N , u1 , , u R , g~2 x1 , , x N , u1 , , u R , , g~r x1 , , x N , u1 , , u R (3. 4)
~ ~ ~ ~ ~ ~ ~
where f =[ f 1 f 2 … f N]T, f : G → X, and G represents the space generated by
~ j(x, u).
the sub‐functions g
In equation (3.3), the functions ĝj have a more complex representation
~ ~ j of (3.4).
than the sub‐functions f j or g
Analogously, for the output signals ŷj, we can write
~
yˆ j h ' j x1 , , x N h j s1 x1 , , x N , , s S x1 , , x N (3. 5)
~ ~ ~ ~ ~
where h =[ h 1 h 2 … h L]T and h : S → Ŷ, where S is the space generated by the
sub‐functions sj(x).
From the above description, the power series expansion of ẋ about a sep
results in [3], [4]:
where F1, F2, …, Fj refer to the terms of first‐, second‐, and j‐th order.
Additionally, for the output signals, we get
where H’j(Δx) contains terms of order j affecting the outputs’ evolution.
In the next sections, background on linear analysis techniques for compu‐
ting perturbation models is provided.
Broadly speaking, two approaches exist for linearizing system models: the ana‐
lytical methods and the perturbation‐based linearization methods [7], [8].
34
Although the conventional analytical method is accurate, it can be quite
computationally expensive [3]. On the other hand, the utilization of perturba‐
tion‐based methods offers a rapid performance but sacrifices accuracy [8].
3.2.1 First‐order linearization methods
If the model of (3.6) presents a small perturbation Δx, only a few terms in the
expansion are usually necessary [1]‐[3].
For linear stability analysis, a linear dynamical model is created from a
stable equilibrium, xsep, that shows how the system responds to small disturb‐
ances [2]. These models can be expressed in the form
where A11NN, B11NR, and C1L×N.
First‐order linearization of a non‐linear system requires that matrices A11,
B11, and C1 of (3.8) and (3.9) are computed. These methods can be classified into
three categories [8]:
a) Analytical Linearization (AL),
b) Forward‐Difference Approximation (FDA), and
c) Center‐Difference Approximation (CDA).
The first method is an analytical technique based on the non‐linear equa‐
tions describing a dynamical system. The other two methods, in contrast, are
numerical approximations.
35
In the following, the mathematical background of the three approaches is
presented. A numerical comparison of these methods and the proposed meth‐
odology is deferred until Chapter 8.
3.2.1.1 Analytical linearization
In the analytical linearization (AL) method, a description of the dynamical sys‐
tem in the form of equations (3.1) and (3.2) is used to obtain A11, B11, and C1 di‐
rectly from the linear matrices
gˆ1 gˆ1
x
xN
1
A11 (3. 10)
ˆ
g N
gˆ N
x1 xN sep
gˆ1 gˆ1
u
uR
1
B11 (3. 11)
ˆ
g N
gˆ N
u1 uR sep
and
h '1 h '1
x x
1 N
C1 (3. 12)
h 'L h 'L
x1 xN sep
3.2.1.2 Forward‐difference approximation (FDA)
The forward‐difference approximation is a numerical method based on the ad‐
dition of a small perturbation to each state variable to calculate the columns of
the matrix A11 one at a time [7], [8].
36
Starting from an equilibrium condition, a perturbed state vector xi+ is de‐
fined, where a small perturbation ρ is added to the i-th state variable. The differ‐
ence between xi+ and xsep is then denoted as:
xi xi x sep 0 0
T
(3. 13)
In this setting, the time derivatives ẋi+ are calculated with the vector Δxi+
as explained below. To make this precise, let the difference between ẋi+ and the
time derivatives at equilibrium (ẋsep = 0) be defined as:
Then, we can calculate each column i of A11, denoted as A11(i), by noting
that for Δẋi+ we have
0
x i A11xi A11(1) A11(i ) A11( N ) A11(i ) (3. 15)
0
so that
x i
A11(i ) (3. 16)
In a similar way, the column i of matrix C1 can be obtained from
yˆ i
C1(i ) (3. 17)
where Δŷi+ is the vector of functions of equation (3.5) evaluated with Δxi+, minus
the same equations evaluated with Δxsep.
Then, the j-th column of matrix B11, B11(j), is calculated as:
x U j
B11( j ) (3. 18)
37
with
and ẋUj+ being the value of (3.3) for a perturbation in the input signal j.
The size of the perturbation ρ affects the results obtained with the FDA
method; these are closer to the AL method as ρ gets smaller [7], [8].
3.2.1.3 Center‐difference approximation (CDA)
For this method, let the mean value between xi+ and ‐xi- be expressed as:
xi xi
0 0
T
xi (3. 20)
2
Given the size of the perturbation, , the time derivatives ẋi+ and ẋi- can be
calculated.
The difference between ẋi+ and the time derivatives at equilibrium (ẋsep =
0) is determined using (3.14), whereas for the case of ẋi- we have that:
The average of the two vectors Δẋi+ and Δẋi- is then given by:
x i x i x i x i
x i (3. 22)
2 2
Following a similar procedure to that of the FDA method, each column
A11(i) can be calculated as:
x i x i x i
A11(i ) (3. 23)
2
Similarly, C1(i) can be expressed in terms of average vectors as:
38
where Δŷi+ was defined above and Δŷi- is the vector of functions of equation (3.5)
evaluated at Δxi-, minus the same equations evaluated at Δxsep.
Further, the j-th column of matrix B11, B11(j), is calculated from
x U j x U j x U j
B11( j ) (3. 25)
2
where ẋUj- represents the value of equation (3.3) with a negative perturbation in
the input signal j.
3.2.2 Second‐ and higher‐order approximations
The above methods extend readily to the higher‐dimensional case. Following [3]
and [4], the terms of second‐ and third‐order in (3.6) are:
xT F21x xT Ν12 u uT B12 u
1 1 1
F2 x,u (3. 26)
2 2 N 2
x F2 x
T N x Ν2 u
T u B2 u
T N
and
x 0 x 0
T 1
x F3 x T 1
x M3 u
0 x 0 x
1 1
F3 x,u
3! 3!
x 0
x 0
T N
x F3
x xT M N u
3
0 x
0 x
u 0 u 0
T 1 T 1
x L3 u u B3 u
0 u 0 u
1 1
3! 3!
u 0 u 0
T N T N
x L3
u u B3
u
0 u 0 u
(3. 27)
39
3.2.2.1 Analytic linearization
j j
As is seen from equations (3.26) and (3.27), F2 and F3 , j = 1, 2, …, N are constant
matrices given by:
2 gˆ j 2 gˆ j
2
x1 x1xN
F2j (3. 28)
2
gˆ j 2 gˆ j
xN x1 2 xN sep
and
3 gˆ j 3 gˆ j 3 gˆ j 3 gˆ j
3
x1 2 x1x2 x1x2 x3 x1 2 xN
F3j (3. 29)
3
gˆ j 3 gˆ j 3 gˆ j 3 gˆ j
2
x1xN x1x2 xN x2 x3xN 3 xN sep
j
whereas B 2j and B 3 , j = 1, 2, …, N are given by:
2 gˆ j 2 gˆ j
2
u1 u1uR
B 2j (3. 30)
2
gˆ j 2 gˆ j
uR u1 2uR sep
and
3 gˆ j 3 gˆ j 3 gˆ j 3 gˆ j
3
u1 2u1u2 u1u2u3 u1 2uR
B3j (3. 31)
3
gˆ j 3 gˆ j 3 gˆ j 3 gˆ j
2
u1uR u1u2uR u2u3uR 3uR sep
40
j , and L j can be computed using
Similarly, the coefficient matrices Ν 2j , M 3 3
the second‐order sensitivity matrices
2 gˆ j 2 gˆ j
x1u1 x1uR
Ν 2j (3. 32)
2
gˆ j 2 gˆ j
xN u1 xN uR sep
3 gˆ j 3 gˆ j 3 gˆ j
3 gˆ j
2
x1u1 x1x2u1 x1x3u1 x1xN uR
j
M (3. 33)
3
gˆ j 3 gˆ j 3 gˆ j 3 gˆ j
3
xN x1u1 xN x2u1 xN x3u1 2 xN uR sep
3 gˆ j 3 gˆ j 3 gˆ j
3 gˆ j
x1 2u1 x1u2u1 x1u3u1 x1 2uR
~
L3j (3. 34)
3 gˆ j 3 gˆ j 3 gˆ j
gˆ j
3
xN u1 xN u2u1 xN u3u1 xN 2uR sep
2
To third order, the output signals ŷ, are:
~
xT C12 x
1
H'2 x (3. 35)
2 ~
x C x
T L
2
x 0
T ~1
x C3 x
0 x
1
H'3 x (3. 36)
3! x 0
T~L
x C3
x
0 x
41
where:
2 h' j 2 h' j
2
x x1xN
~j 1
C2 (3. 37)
2
h' j 2
h' j
x x 2 x
N 1 N sep
2
x1xN x1x2xN x2x3xN 3 xN sep
~ ~
for C 2j , and C 3j , j = 1, 2, …, L.
Higher order terms can be obtained in like manner.
3.2.2.2 Perturbation‐based methods
The higher‐order coefficients of expressions (3.6) and (3.7) can also be approxi‐
mated by perturbation‐based methods.
First, the second‐ and third‐order terms of equations (3.26) and (3.27) are
rewritten in the alternate form
F2 x,u F2 2 x j 1 u j N j x B12 2u
R
(3. 39)
R R R
F3 x,u F3 3x u j M j 2 x u j uk L j ,k x B13 3u (3. 40)
j 1 j 1 k j
In these expressions, Nk and Rk are the number of permutations, of order
k, of the state variables and of the input variables, respectively, that are stacked
into the vectors 2x=[x1x1… xNxN]TN2, 3x=[x1x1x1 … xNxNxN]TN3,
2u=[u1u1 … uRuR]TR2, and 3u=[u1u1u1 … uRuRuR]TR3.
42
Using the above framework, equations (3.35) and (3.36), with C2L×N2
and C3L×N3, can be readily written in the compact form
H'2 x C2 2 x (3. 41)
Based on [8] and beginning from equation (3.14), the second‐order partial
derivative of ĝ (x, u) with respect to xjxk can be approximated by:
where xij denotes the vector of states x with a perturbation in the positions i
and j. For notational simplicity, the symbol denoting the direction of the pertur‐
bation has been omitted here in order to generalize for both, the FDA and CDA
methods.
Then, the column of F2 corresponding to the quadratic term xjxk can be
calculated from
2 x ij
F2(i , j ) (3. 44)
2
whereas the column of F3 corresponding to xixjxk is estimated as:
3x ijk
F3(i, j ,k ) (3. 46)
3
43
The same schemes applied in sections 3.2.1.2 and 3.2.1.3 are applied here
to obtain the FDA and CDA approximations.
This means that equations (3.43) through (3.46) are used with a positive
perturbation for the FDA, whereas for the CDA a negative perturbation ‐ is
also considered, and the obtained dynamics are averaged.
There are several limitations to these approaches.
1. The complexity of the system model grows exponentially. This, in
turn, leads to an exponential growth in the required computational
effort [3].
2. The second caveat to conventional analysis is the sensitivity of the
estimation accuracy on the size of the perturbation . While the
FDA method is fast, it leads to large estimation errors. On the oth‐
er hand, the CDA method is more accurate but results in a twofold
increased of CPU effort when compared with the FDA method [9].
3. The action of the limiters in the physical devices is generally not
properly addressed and may lead to miscalculations in the esti‐
mated models.
Numerical studies for assessing the behavior of the presented method in
the context of these limitations and in comparison with the performance of the
recursive linearization are provided in Chapter 8.
In the following Section, the recursive linearization technique is intro‐
duced. The mathematical formulation and an efficient scheme for its
computation are provided.
44
3.3 Recursive linearization
Several approaches to the automated linearization of non‐linear models are
available in the literature [7]‐[10].
This section introduces a methodology for the linearization of dynamical
systems up to an arbitrary order. The developed procedure is based on pertur‐
bation theory and the chain rule and is applicable for ODE systems.
The kernel of the recursive linearization method is obtained by analyzing
separately the embedded functions describing the parts composing a dynamical
system instead of dealing with the entire non‐linear expression. This is illustrat‐
ed in Fig. 3.1 for the first‐order linearization process.
To introduce the proposed linearization scheme for equations (3.1) and
(3.2) let us express (3.6) and (3.7) in the compact form
where Δ(j)ĝ represents the j-th order vector of linearized modules of ĝ, Δ(j)h’ is
the j-th order vector of modules of h’, and Δ(k)ẋ is the set of dynamical equations
denoting the recursive linearization of order k.
Fig. 3.1 Comparison of the conventional first-order linearization process with the proposed
recursive linearization.
45
3.3.1 Mathematical formulation
In order to compute the third‐order expansion of equations (3.47) and (3.48), we
introduce below the mathematical basis of the recursive linearization.
The presented developments are focused on the effect of the state varia‐
bles. The inclusion of u and extensions to the analysis of ŷ are straightforward.
3.3.1.1 First order
The chain rule provides a mechanism to compute the first‐order terms in the
system model Δ(1)ĝ and Δ(1)h’ in equations (3.47) and (3.48). Applying the chain
rule [11] to the j-th function ĝj of equation (3.1) for ĝj yields
or
fj g1 g1
x j
x1 xN
g1 x1 xN
sep
sep sep
(3. 50)
f j g r g
x1 r xN
g r x1 xN
sep
sep sep
Defining
g~k
1 ~ g~k
gk x1 xN (3. 51)
x1 sep
x N sep
equation (3.50) can be rewritten as
46
A key strength of this approach is its scalability. The form of these equa‐
~ k have other simpler functions embedded,
tions suggests that if the functions g
the same scheme presented above can be easily extended.
3.3.1.2 Second order
As with the first‐order case, we have:
gˆ j gˆ j
1 gˆ j
2
or
1 gˆ j 1 gˆ j
2 2
x j 1 gˆ j x
2
1 xN2
2 x12 sep
2 xN 2 sep
(3. 54)
2 gˆ j 2 gˆ j
x1x2 xN 1xN
x1x2 sep
xN 1xN sep
Then, if we analyze the second partial derivative of ĝj, with respect to the
k-th state variable, we have that [11]
~ ~ ~ ~ ~
2 gˆ j 2 f j f j f j g~1 f j g~2 f j g~r
~ ~ ~ (3. 55)
xk
2
xk
2
xk xk xk g1 xk g 2 xk g r xk
and if we take the first term of the right‐hand part of (3.55) we get:
fj 2 g1 g1 2 fj g1 g1 2 fj g 2 g1 fj g r
2
g1 xk 2 xk g12 xk xk g1g 2 xk xk g1g r xk
47
Moreover, for the second partial derivative of ĝj, with respect to the k-th
and the l-th state variables, we have:
2 gˆ j 2 fj fj
xk xl xk xl xk
xl
(3. 57)
fj g1 fj g 2 fj g r
xk g1 xl g 2 xl g r xl
Now, by taking into account the first term of (3.57), as in (3.56), we get:
fj 2 g1 g1 2 fj g1 g1 2 fj g 2 g1 fj g r
2
g1 xk xl xl g12 xk xl g1g 2 xk xl g1g r xk
Equations (3.55) through (3.58) are now used to expand (3.54). After rear‐
rangement, one has that:
1 fj N N 2 g
x j gˆ j
1
2 g1
k 1 l 1 xk xl
1
xk xl
sep sep
1 fj N N 2 g
r
xk xl
2 g r k 1 l 1 xk xl
sep sep
2 2
1 fj
2 N g 1 fj
2 N g
1 xk r xk (3. 59)
2 g12 k 1 xk 2 g r 2 k 1 xk
sep sep sep sep
2 fj N g N g
1 xm 2 xm
g1g 2 m 1 xm m 1 xm
sep sep sep
2 fj N g N g
r 1 xm r xm
g r 1g r m 1 xm m 1 xm
sep sep sep
48
Defining
and using (3.60) and (3.51), equation (3.59) can be rewritten as
fj fj
x j gˆ j g1 g r
1 2 2
g1 g r
sep sep
1 fj 1 fj
2 2
g
2 2
g1
1 1
r
(3. 61)
2 g12 2 g r 2
sep sep
2 fj 2 fj
g1 g 2 g r 1 g r
1 1 1 1
g1g 2 g r 1g r
sep sep
By recursively applying (3.60) we can define
~ ~
f j 2 ~f j
2
gˆ j ~ g1 ~ 2 g~r
g 1 g r
sep sep
~ 2~
1 fj 1 fj
2
2 g~ 2
g
1 ~
1
2
2 g~r 2
g~
1
r
2
(3. 62a)
1 sep sep
~ ~
2 f j 1 ~ 1 ~ 2 f j
~ ~ g1 g 2 ~ ~ 1 g~r 11 g~r
g g 1 2 g g r 1 r
sep sep
or
~ 2~
f j r
2 ~1 r r fj
gˆ j ~
2
g k ~ ~ 1 g~k 1 g~l
k 1 g k 2 k 1 l 1 g k gl
sep sep
(3. 62b)
Finally, substituting (3.62) in (3.61), it is obtained that
As in the first‐order linearization, if there are other simpler functions em‐
~ , the presented scheme can be extended.
bedded in the definition of functions g k
49
3.3.1.3 Third order
The Taylor series expansion of ĝj up to third order is
1 gˆ j 1 gˆ j
3 3
1 gˆ j 1 gˆ j
3 3
gˆ j
3
gˆ j
3
Details are omitted.
Then, defining
1 g j 1 g j
3 3
3
g j x 3
1 x12 x2
6 x13 sep
2 x12x2 sep
(3. 65)
g j
3
1 g j
3
and using definitions (3.51) and (3.62) we can obtain:
rfj r 2 fj
gˆ j
3
g k
3
2 g k 1 g k
k 1 g
k k 1 g 12
sep sep
fj
2
g g g g
r r
g g 2
k
1
l
1
k
2
l (3. 66)
k 1 l k 1 k l sep
1 r r r 3 fj
1 g k 1 g l 1 g m
6 k 1 l 1 m 1 g k g l g m
sep
Therefore, equation (3.64) may also be expressed as:
3.3.2 An efficient scheme for the third‐order recursive linearization
As emphasized above, the computation of terms Δ(1)ẋ, Δ(2)ẋ, and Δ(3)ẋ is succes‐
sive. In Fig. 3.2 below, an efficient scheme for the computation of the third‐order
50
recursive linearization is depicted that exploits the inner structure of the meth‐
od. The algorithm focuses on the computation of coefficient matrices corre‐
sponding to the state variables dynamics. A physical real‐valued system has
been considered.
Three main stages indicated by dotted‐lined rectangles can be distin‐
guished. First, some basic definitions are introduced.
51
3.3.2.1 Perturbation vectors
So far, the choice of perturbation vectors has been limited to linear models [8].
To introduce the general ideas that follow, let the high‐order perturbation vec‐
tor, xi,j,… be defined as:
and, more generally, to order k
T
k xi , j , x1k x1k 1x2 xNk (3. 69)
For the complex case,
xl 1 if l j
1x j ik x1 xN
T
with xl i if l k (3. 70)
x 0 otherwise
l
with i=√-1.
3.3.2.2 First stage
In this first stage, corresponding to the rightmost dotted rectangle in Fig. 3.2,
just one state variables is perturbed. Thus, the linear perturbed vector Δxi in
(3.68) is defined for each perturbed state, and the corresponding linear deriva‐
tive (1)ẋi , the i-th column of A11, A11(i), can be calculated from
0
1 x i A11xi A11(1) A11(i ) A11( N ) 1 A11(i ) (3. 71)
0
for i = 1, …, N.
52
In this setting, Δxi and the quadratic and cubic vectors Δ2xi,i and Δ3xi,i are
used as described in the definition (3.69).
The columns of F2 related to the terms Δxi2 are obtained by evaluating the
equations of second order presented in the previous section. Using this proce‐
dure, the vector of perturbed derivatives Δ(2)ẋi,i is obtained, which is equal to the
column of F2 corresponding to Δxi2, F2(i,i):
0
0
(2) x i ,i F2 2 xi ,i F2(1,1) F2(1,2) F2(i ,i ) F2( N , N ) F2( i ,i ) (3. 72)
1
0
Additionally, the columns of F3 related to the terms Δxi3 are computed by
iteratively evaluating the linearized dynamical equations to obtain Δ(3)ẋi,i,i, as
shown below
0
0
(3) x i ,i ,i F33xi ,i ,i F3(1,1,1) F3(1,1,2) F3(i ,i ,i ) F3( N , N , N ) F3(i ,i ,i ) (3. 73)
1
0
3.3.2.3 Second stage
In the central dotted rectangle of Fig. 3.2, two different states are perturbed
simultaneously; recalling Section 3.3.2.1, the vector Δxi,j for i ≠ j is defined.
This step defines the vector Δ2xi,j in equation (3.69), which is used to eval‐
uate the equations of second order to obtain Δ(2)ẋi,j. This results in
53
so that
Evaluating the corresponding recursive third‐order equations with Δ3xj+ik
we obtain that Δ(3)ẋj+ik can also be expressed as:
so that
Therefore, all the columns F3(iik) can be rapidly obtained with the latter
procedure.
3.3.2.4 Third stage
Finally, for the third stage of the algorithm, three different state variables are
perturbed at the same time for computing the columns F3(ijk) by using the vector
Δxi,j,k, properly defined according to (3.68).
where, in terms of this notation,
54
3.3.3 Recursive linearization for complex‐valued systems
The third‐order recursive linearization procedure presented above has been de‐
veloped for analyzing physical systems where the state variables evolve in a
subset of the real numbers space.
In some cases, however, a linear transformation may be required to ana‐
lyze the dynamical equations in a complex‐valued space. In this sense, the re‐
cursive linearization method can be easily expanded to the complex numbers’
domain. In fact, only the part presented in equation (3.76) through (3.78) corre‐
sponding to the computation of F3(jkk) and F3(jjk) needs to be modified. This is
because, as the system itself is complex, the presented strategy does not provide
a means to distinguish the term F3(jkk) from F3(jjk).
The latter term can then be expressed as:
Then, from (3. 76) we can define two terms, 1 and 2, as:
so that the columns F3(jkk) from F3(jjk) can be calculated as follows
1
F3( j , k , k ) 1 2 (3. 84)
2
The same procedure may be used to obtain higher order cascade approx‐
imations.
55
3.4 Concluding remarks
In this Chapter, a novel methodology for linearizing non‐linear dynamical sys‐
tems up to third order has been presented, but the approach in general can be
extended to higher dimensions. For later discussion, the technique is referred to
as the “Recursive Linearization” (RL) method and is based on the chain rule and
perturbation theory.
The mathematical formulation of the RL method was developed to obtain
simple formulae for its application to (real‐ or complex‐valued) non‐linear dy‐
namical systems expressed as a set of ordinary differential equations. Addition‐
ally, a straightforward scheme for computing the linear, quadratic, and cubic
parts of the model was presented for its implementation.
An illustrative case of application of the reported methodology to multi‐
machine power systems is presented further in Chapter 6, whereas a synthetic
size‐variable non‐linear system is utilized in Chapter 8. Numerical results for
the synthetic system and for several multi‐machine power systems are also pre‐
sented in the latter chapter.
3.5 References
[1] L. Perko, Differential Equations and Dynamical Systems, 3rd ed., Springer‐
Verlag, New York, USA, 2001.
[2] R. H. Enns & G. C. McGuire, Nonlinear Physics with Maple for Scientists and
Engineers, Springer, New York, 2000.
[3] J. J. Sanchez‐Gasca, V. Vittal, M.J. Gibbard, A.R. Messina, D.J. Vowles, S.
Liu, and U.D. Annakkage, “Inclusion of higher order terms for small‐signal
(modal) analysis: Committee report‐task force on assessing the need to in‐
clude higher order terms for small‐signal (modal) analysis,” IEEE Trans.
Power Syst., vol. 20, no. 4, pp. 1886‐1904, Nov. 2005.
56
[4] C. A. Tsiligiannis and G. Lyberatos, “Normal forms, resonance, and bifur‐
cation analysis via the Carleman linearization,” J. Math. Anal. Appl., vol.
139, pp. 123‐138, 1989.
[5] E. Salajegheh and J. Salajegheh, “Optimum design of structures with dis‐
crete variables using higher order approximation,” Comput. Methods Appl.
Mech. Engrg., vol. 191, no. 13‐14, pp. 1395‐1419, Jan. 2002.
[6] V. Vittal, W. Kliemann, S. K. Starret, and A. A. Fouad, “Analysis of
stressed power systems using normal forms,” Proc. of the IEEE ISCAS, vol.
5, pp. 2553‐2556, USA, 1992.
[7] P. E. Hill, W. Murray, and M. H. Wright, Practical Optimization, Academic
Press, 1981.
[8] J. Persson & L. Söder, ʺComparison of three linearization methods,ʺ Proc.
of the 16th PSCC, Glasgow, 14‐18 July 2008.
[9] W. Fellin et al, Analyzing Uncertainty in Civil Engineering, Springer, Berlin,
Germ. 2005.
[10] P. W. Sauer, M. A. Pai, and J. H. Chow, Power System Dynamics and Stabil‐
ity: With Synchrophasor Measurement and Power System Toolbox, Second edi‐
tion, John Wiley & Sons, NJ, USA, 2017.
[11] E. Kreyszig, Advanced Engineering Mathematics, John Wiley & Sons, 2005.
57
Chapter 4
Koopman eigenfunctions-based
extended model
Koopman mode analysis has shown considerable promise for the analysis and
characterization of the global behavior of power system transient processes recorded us-
ing wide-area sensors.
In this chapter, a new framework for feature extraction and mode decomposition
of model-based power system representations based on the Koopman operator is present-
ed. By combining perturbation theory with Koopman mode analysis, the proposed tech-
nique allows obtaining a closed-form approximation to the system response, in which the
influence of mode interactions can be singled out in an efficient manner.
First, a systematic and general high-order theory for studying non-linear behav-
ior in large power system models is presented. Drawing on this framework, weak non-
linearities up to an arbitrary order can be explicitly represented using conventional per-
turbation analysis. Non-linear behavior is then interpreted as the projection of the
Koopman operator eigenfunctions of an extended coordinate system onto the physical
variables of the system.
Methods for the specification and selection of the initial conditions of the
Koopman eigenfunctions-based extended model are proposed, and indices to measure
non-linear behavior are developed. Also, algorithms for efficient computation and spar-
sity promoting criteria intended to obtain reduced-order non-linear models are suggest-
ed.
4.1 Mathematical formulation
In this section, the linear and non-linear Koopman eigenfunctions obtained from
the linearization of a dynamical system are used to construct an extended ana-
lytical system that includes these eigenfunctions up to an arbitrary order.
x j t x j sep x j t (4. 1)
dx j t dx j sep dx j t
x j t x j t
dt dt dt
x j t ĝ j ( x j x j (t )) (4. 2)
sep
59
4.1.2 Transformation to an upper-triangular system
In order to obtain an expression for the analyzed dynamical system in terms of
the Koopman eigenfunctions obtained from its linearization, we use Property
2.4 and the results of Section 2.2.1 and propose a homeomorphism that trans-
forms the physical system
x ĝx (4. 3)
y hy (4. 4)
The required homeomorphism is, in fact, given by the matrix of left ei-
genvectors of the Jacobian of ĝ, (V11)-1, so that (4.3) is transformed into [1]
where Hk (Δy)=[h1k (Δy) h2k (Δy) ∙∙∙ hNk (Δy)]T, and h1k (Δy) is the k-th order
non-linear function of Δy corresponding to Δẏk [1]-[3].
Using this framework, the terms hjk(Δy) in the Koopman expansion (4.6)
can be expressed as [2], [3]
h2 k y Nj1 lN j hk2 jl y j yl Nj1 lN j hk2 jl j y l y (4. 7)
(4. 8)
60
It follows that each term of equations (4.6) can be rewritten in terms of the
linear and non-linear Koopman eigenfunctions as [4]:
Assume now that the variables Δyk are the observables of an extended
system characterized by the dynamics of the Koopman eigenfunctions φj up to
the n-th order, such that:
In the equation above, the matrices H1k, k=1,…, n are constant matrices de-
fined as [2], [3]
k
2 y k 2 y k 2 y
H1k 1 y 1 y 2 y N y
k k 1 k
k
N y k N y N y
k
y k 1 y
k 1
2 y N y sep
k
1
61
Formally,
with Flineal being a linear function. More attention is focused on (4.11) in Section
4.5. By now, it is assumed that the sub-matrices of the system (4.10) are given.
Λ1
Λ2
0
Λ nord (4. 12)
0
Λ n
1
In terms of this representation, the new coordinates are znord = Wnord
Φnord(Δy), and
62
The rest of the process is similar to other related analysis techniques. No-
tice from (4.13), that we can define the terms ψj(znord) = zj as the Koopman eigen-
functions of the Koopman operator UΛnord at eigenvalues j diag(Λnord) in the z-
coordinates system.
a) Given the initial conditions of the physical variables Δx0, calculate the
vector of initial conditions in the y-coordinates, Δy0 =V-1Δx0 [3],
b) Compute the initial point for the evolution of the extended system of
equation (4.10) as a function of the Koopman eigenfunctions φj(Δy), start-
ing with Δyj(0) as:
j y 0 y j 0
j y 0 k y 0 y j 0 y k 0
(4. 15)
j y 0 k y 0 l y 0 y j 0 y k 0 yl 0
z nord 0 Wnord
1
Φnord 0 (4. 16)
63
4.1.5 Solution of the non-linear response in physical variables
An advantage of using the Koopman-based approach is its simplicity. Once the
solution of equation (4.13) is obtained, the non-linear response of the system can
be expressed in the physical variables of the system as in (4.4).
It can be seen from equation (4.18) that the time evolution of the
Koopman modes of order 2 to n, i.e. eΛ2t, eΛ3t, …, eΛnt, are projected onto the first-
order Koopman eigenfunctions Φ1(t) through the matrices W12, W13, …, and W1n,
respectively.
where V11 is the matrix of right eigenvectors of the linear state representation. In
terms of the notation above,
64
which may be written as
Here, vectors ṽj, ṽjk, ṽjkl, … represent the spatial structures of the
Koopman modes of first and higher order, and the vectors ṽj coincide with the
linear right eigenvectors of the linear stability modes of the system [4].
65
Fig. 4.1. Flowchart of the proposed methodology. Extensions to the basic model are indicated
with an italic font.
66
4.3 Single-machine, infinite-bus system: an illustrative example
To illustrate the development of the theory, consider a single-machine, infinite-
bus (SMIB) system shown in Fig. 4.2 [9].
Fig. 4.2. Single-machine, infinite bus test system. Parameters are expressed in pu on a 2200 MVA
base [9].
a) A low-stress condition with P = 0.90 pu, Q = 0.30 pu, ET =1.0 pu, θ =36.0°,
and
b) A high-stress condition with P = 1.12 pu, ET =1.0 pu, θ = 47.0°, Q = 0.49 pu.
Following [9] and [11], the fourth-order machine model is given by:
gˆ1 (x) 0
1
gˆ 2 (x) (PMech Te D )
2H
1 (4. 24)
gˆ 3 (x) E 'q (E fd E 'q (X d Xd )id )
T 'd 0
1
gˆ 4 (x) Ed [(X q Xq )iq Ed ]
T 'q 0
67
Defining x=[δ Δω E’q E’d]T and applying the transformation x=V11y, the
generator terminal voltages E’D and E’Q can be expressed in D-Q (network coor-
dinates) as:
4 4 4 4
E ' D y v4 j y j sin v1 j y j v3 j y j cos v1 j y j
j 1 j 1 j 1 j 1
4 4 4 4
E 'Q y v3 j y j sin v1 j y j v4 j y j cos v1 j y j
j 1 j 1 j 1 j 1
ITre (y) jITim (y) [G grid jBgrid ][E 'D (y) jE 'Q (y)]
where Ggrid+jBgrid is the matrix of transfer admittances between the system ma-
chines.
id (y ) ITre (y )sin 4j 1 v1 j y j ITim (y )cos 4j 1 v1 j y j
iq (y ) ITre (y )cos 4j 1 v1 j y j ITim (y )sin 4j 1 v1 j y j
and
ed y j 1 v4 j y j R aid y Xd iq y
4
eq y j 1 v3 j y j R aiq y Xd id y
4
with
68
Using the procedure presented in Section 4.1.2, the system of equations
(4.24) becomes
gˆ1 (V11y ) 0 j 1 v2 j y j
4
gˆ 2 (V11y )
1
2H
PMech Te(y ) D j 1 v2 j y j
4
gˆ 3 (V11y )
1
T'd 0
E fd j 1 v3 j y j X d Xd id (y )
4
gˆ 4 (V11y )
1
T 'q 0
X q Xq iq (y ) j 1 v4 j y j
4
so that
y1 h 1 (y ) gˆ1 (V11y )
y h (y ) ˆ
2 2 V 1 g 2 (V11y )
y3 h3 (y ) 11
gˆ 3 (V11y )
y4 h4 (y ) gˆ 4 (V11y )
It is observed from the above analysis that equation (4.6) can be obtained
directly from the above-transformed equations, or alternatively using the proce-
dure presented in Section 4.2.
First, recalling (4.18), the cubic expression for the time-evolving Koopman
eigenfunctions in Jordan space φj(t) can be expressed as follows:
where the terms w12j(k,l) and w13j(k,l,m) are weights pondering the relative im-
portance of non-linear terms in system response.
69
Therefore, a non-linearity index (NInj), of order n, is defined as
This index provides a measure of the effect of the terms of order n relative
to the first order terms.
70
3. Efficient solution of the Koopman extended system.
Following Section 4.1.2, the first-, second-, and third-order Koopman ei-
genfunctions in the Jordan space are:
j ,k y y j ,k y j yk (4. 27)
j ,k ,l y y j ,k ,l y j yk yl (4. 28)
j ,k y y j ,k y j yk yk y j (4. 30)
j ,k ,l y y j ,k ,l yk yl y j y j yl yk y j yk yl (4. 31)
N N N N N
j y y j j y j h2j k ,l yk yl h3j k ,l ,m yk yl ym (4. 32)
k 1 l k k 1 l k m l
(1) y j
(2) y j (3) y j
71
4.5.1.1 Quadratic eigenfunctions
(1) j ,k y (1) y j ,k [ y j yk yk y j ]sep y j [ y j yk yk y j ]sep yk
y j yk (4. 33)
yksep y j yk sep (1) y j y j sep (1) yk y jsep yk 0
(1) j ,k ,l y (1) y j ,k ,l ( yk sep yl sep yl sep yk sep )y j ( y j sep yl sep yl sep y j sep )yk
( y j sep yksep yk sep y jsep )yl yk sep yl sep (1) y j (4. 36)
y j sep yl sep (1) yk y j sep yk sep (1) yl 0
72
(2) j ,k ,l y (2) y j ,k ,l yk sep yl sep (2) y j y j sep yl sep (2) yk y j sep yk sep (2) yl
yl sep y j yk yksep y j yl yl sep yk yl y j sep yk (1) yl yk sep y j (1) yl (4. 37)
y j sep yl (1) yk yl sep y j (1) yk yk sep yl (1) y j yl sep yk (1) y j 0
and
(3) j ,k ,l y (3) y j ,k ,l yk sep yl sep (3) y j y j sep yl sep (3) yk y j sep yk sep (3) yl
y j sep yk (2) yl yk sep y j (2) yl y j sep yl (2) yk
yl sep y j (2) yk yk sep yl (2) y j yl sep yk (2) y j (4. 38)
y j yk (1) yl y j yl (1) yk yk yl (1) y j
( j k l )y j yk yl
1 0 1
h21,1 1
h21,2 1
h22,2 1
h31,1,1 1
h31,1,2 1
h31,2,2 1
h32,2,2
0 2 h221,1 h221,2 h22 2,2 h321,1,1 h321,1,2 h321,2,2 2
h3 2,2,2
0 0 21 0 0 h31,11,1,1 h31,11,1,2 h31,11,2,2 h31,12,2,2
0 0 0 1 2 0 h31,21,1,1 h31,21,1,2 h31,21,2,2 h31,2 2,2,2
H 3ord 0 0 0 0 22 h32,21,1,1 h32,21,1,2 h32,21,2,2 h32,2 2,2,2
0 0 0 0 0 31 0 0 0
0 0 0 0 0 0 21 2 0 0
0 0 0 0 0 0 0 1 22 0
0 0 0 0 0 0 0 0 32
where the terms h3j ,k l ,m, p can be determined with the help of definition (4.35).
73
To understand the structure of the columns w j of W3ord, we evaluate the
eigenvalue problem W3ord w j= j w j:
1 0 1
h21,1 1
h21,2 1
h22,2 1
h31,1,1 1
h31,1,2 1
h31,2,2 1
h32,2,2 w1 j j w1 j
0 2 h221,1 h221,2 h22 2,2 h321,1,1 h321,1,2 h321,2,2 h32 2,2,2 w2 j j w2 j
0 0 21 0 0 h31,11,1,1 h31,11,1,2 h31,11,2,2 h31,12,2,2 w3 j j w3 j
0 0 0 1 2 0 h31,21,1,1 h31,21,1,2 h31,21,2,2 h31,2 2,2,2 w4 j j w4 j
0 0 0 0 22 h32,21,1,1 h32,21,1,2 h32,21,2,2 h32,2 2,2,2 w5 j j w5 j
0 0 0 0 0 31 0 0 0 w6 j j w6 j
0 0 0 0 0 0 21 2 0 0 w7 j j w7 j
0 0 0 0 0 0 0 1 22 0 w8 j j w8 j
0 0 0 0 0 0 0 0 32 w9 j j w9 j
(4. 39)
where j is an eigenvalue of H3ord and N=2. The constants N2=3 and N3=4 denote
the number of quadratic and cubic Koopman eigenfunctions, respectively.
From equation (4.39), it can be easily noted that w 1=e1 and w 2=e2, where
ej is the j-th column of the identity matrix IN3ord×N3ord, and N3ord=N+N2+N3.
~
Then, for the subset j {2λ1, λ1+ λ2, 2λ2}, we have that w kj =0 for k=3,…,
N3ord, j=3, 4, 5, and j≠k. Furthermore, by setting w jj=1, it can be defined that:
h2l j ,k
w2l j ,k (4. 40)
j k l
~
Now, for j {3λ1, 2λ1+ λ2, λ1+ 2λ2, 3λ2}, it can be found that w kj =0 for
j,k=6,…, N3ord, and j≠k. Once again, w jj can be set to a unitary value, resulting in:
h3m, p j ,k ,l
w3m, pj,k ,l (4. 41)
( j k l ) (m p )
and
74
Using expressions (4.40) through (4.42), W3ord can be rewritten as
I N N W12 W13
W3ord 0 N 2 N I N 2 N 2 W23
0 N 3 N 0 N 3 N 2 I N 3 N 3
1 0 w121,1 w121,2 w12 2,2 1
w31,1,1 1
w31,1,2 1
w31,2,2 w31 2,2,2
2 2
0 1 w21,1 w21,2 w222,2 2
w31,1,1 2
w31,1,2 2
w31,2,2 w322,2,2
0 0 1 0 0 w31,11,1,1 w31,11,1,2 w31,11,2,2 w31,12,2,2
0 0 0 1 0 w31,21,1,1 w31,21,1,2 w31,21,2,2 w31,22,2,2
0 0 0 0 1 w32,21,1,1 w32,21,1,2 w32,21,2,2 w32,22,2,2
0 0 0 0 0 1 0 0 0
0 0 0 0 0 0 1 0 0
0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 1
It can be noted that when all the diagonal elements of W3ord are chosen to
be equal to 1, the definitions (4.40) and (4.42) are consistent with the standard
normal forms method [3], [14].
However, for other cases (when the norm of w j must be unitary, for in-
stance) the computed non-linear participation factors and residues would not be
the same for both techniques.
75
y10 1 0 w121,1 w121,2 w12 2,2 1
w31,1,1 1
w31,1,2 1
w31,2,2 w31 2,2,2 z10
y 2 2
20 0 1 w21,1 w21,2 w222,2 2
w31,1,1 2
w31,1,2 2
w31,2,2 w322,2,2 z20
y1,10 0 0 1 0 0 w31,11,1,1 w31,11,1,2 w31,11,2,2 w31,12,2,2 z1,10
y1,20 0 0 0 1 0 w31,21,1,1 w31,21,1,2 w31,21,2,2 w31,22,2,2 z1,20
y1,20 0 0 0 0 1 w32,21,1,1 w32,21,1,2 w32,21,2,2 w32,22,2,2 z1,20 (4. 43)
y1,1,10 0 0 0 0 0 1 0 0 0 z1,1,10
y 0 0 0 0 0 0 1 0 0 z1,1,20
1,1,20
y1,2,20 0 0 0 0 0 0 0 1 0 z1,2,20
y
2,2,20 0 0 0 0 0 0 0 0 1 z2,2,20
z jkl 0 y jkl 0
N N N
z jk 0 y jk 0 w3jk lmp zlmp 0
l 1 m l p m
N N N N N
z j 0 y j 0 k2j kl zkl 0 k3j klm zklm 0
k 1 l k k 1 l k m l
1
whose use is simpler than the direct computation of W3ord .
1 (y ) 1 0 1
h21,1 h21 N , N 1
h31,1,1 h31N , N , N 1 (y )
N (y ) 0 N h2N 1,1 h2N N , N h3N 1,1,1 h3N N , N , N N (y )
1,1 (y ) 0 0 21 0 h31,11,1,1 h31,1N , N , N 1,1 (y )
N , N (y ) 0 0 0 2 N h3N , N 1,1,1 h31,1N , N , N N , N (y )
(y ) 0 0 0 0 31 0 1,1,1 (y )
1,1,1
N , N , N (y ) 0 0 0 0 0 3N N , N , N (y )
(4. 44)
76
We note that the extended system (4.44) is sparse in the lower triangular
part, but, the matrices Hjk, j = 1,…, n-1, k = j + 1, …, n are not.
h2j k ,l
I 2j k , l 100 (4. 45)
j
h3j k ,l ,m
I j
100 (4. 46)
j
3 k ,l , m
h3j ,k l ,m, p
I j ,k
100 (4. 47)
j k
3 l ,m, p
Furthermore, from (4.44) it can be noted that the dynamics are dominated
by the diagonal elements of H3ord.
h3j k ,l ,m 0 if I3j k ,l ,m 1
(4. 48b)
1
j (4. 49)
Re ( j )
1
jk (4. 50)
Re ( j k )
1
jkl (4. 51)
Re ( j k l )
77
Then, with the help of (4.49), (4.50), and (4.51), the following criteria can
be stated:
h3j k ,l ,m 0 for k 1, , N , l k, , N , m l, , N , if 5 j 2
(4. 52b)
h2j k ,l 0 for j 1, , N , if 5 k ,l 2
(4. 52c)
h3j k ,l ,m 0 for j 1, , N , if 5 k ,l ,m 2
(4. 52d)
After applying the criteria (4.48) and (4.52), the sparsity of H3ord can be
highly increased. Furthermore, the use of the two proposed criteria promotes
the sparsity, but also leads to an order reduction of the extended system.
The usefulness of the proposed framework lies in its simplicity; the phys-
ical variables of a system are interpreted as the observables of an extended sys-
78
tem that has the linear and non-linear Koopman functions as its state variables.
Such insights can guide the selection of control structures and can also help to
uncover hidden features in system dynamics that might not be accurately identi-
fied using conventional linear analysis.
4.7 References
[1] L. Perko, Differential Equations and Dynamical Systems, 3rd edition, Springer-
Verlag, NY, 2001.
[2] R. H. Enns and G. C. McGuire, Non-linear Physics with Maple for Scientists
and Engineers, Springer, New York, 2000.
79
[5] C. A. Tsiligiannis and G. Lyberatos, “Normal forms, resonance, and bifur-
cation analysis via the Carleman linearization,” J. Math. Anal. Appl., vol.
139, pp. 123-138, 1989.
[6] I. Mezić, “Analysis of fluid flows via spectral properties of Koopman oper-
ator,” Annu. Rev. Fluid Mech., vol. 45, pp. 357-378, 2013.
[9] P. Kundur, Power System Stability and Control, Mc-Graw Hill, NY, USA,
1994.
[11] P. Anderson and A. Fouad, Power System Control and Stability (IEEE Press
Power Engineering Series). Piscataway, NJ, USA, 2003.
80
linear analysis,” IEEE Trans. Power Syst., vol. 33, no. 2, pp. 2128-2139, Mar.
2018.
81
Chapter 5
Koopman Observability Measures
Koopman mode analysis has shown considerable promise for the analysis and
characterization of global behavior of power system transient processes recorded using
wide-area sensors.
This approach allows to selectively isolate and quantify the dominant physical
mechanisms underlying the recorded power system response, and it can be used for
wide-area monitoring and assessment.
5.1 Linear modal observability measures
yˆ C1x (5. 2)
where xN are the state variables, A11N×N is the system matrix, B11N×R is
the inputs matrix, uR is the vector of system inputs, x0 is the vector of initial
conditions, C1L×N is the output matrix, and ŷL is the vector of system out-
puts [1], [2].
N
yˆ t C1v j wTj x0 wTj B11 e u τ dτ e
t j jt
(5. 3)
j 1
0
From this expression and ignoring the effect of the input signals u(t), it is
clear that the elements of the vector C1vj determine the extent to which the j-th
mode appears at the different outputs of the system.
Then, by rewriting C1 = row[ c1T , cT2 , , cTL ], we obtain the matrix of linear
observability measures C1V11
83
where the magnitude of the terms cjTvk measures how much the k-th mode ap-
pears in the j-th output of ŷ(t).
Further, the observability measure cjTvk can also be interpreted as the j-th
output signal at t = 0+, subject to an initial condition x(0) = vk, i.e.
From the preceding result, it follows that any given vector of initial con-
ditions x(0) can be expressed as a linear combination
N
x 0 a j v j
j 1
with aj .
where Ka N×N
is a diagonal matrix containing the coefficients aj.
N N
1
yˆ t C1 v j w Tj x 0 e
jt t
C1 v j w Tj B11u 0 (1 e j ) (5. 7)
j 1 j 1 j
N
B11u 0 b j v j
j 1
84
with bj , equation (5.7) can be re-expressed as:
b b1
a1 1 0 e1t cT v
c v1
T
c vN
T
1 c v N 1
T
1 1 1 1 1
yˆ t (5. 8)
cTL v1 N t T
c L v N
T
b e c L v1 c L v N bN
T
0 aN N
C1V11 N N
K coef
Close inspection of this model shows that the first term of the right-hand
part (rhp) of (5.8) captures the time-varying behavior of ŷ(t), whereas the second
term on the rhp is interpreted as an offset value of ŷ(t) associated with the con-
stant-value inputs.
yˆ tk h '(x(tk )) (5. 9)
such that
85
Then [4]-[5],
yˆ tk 1 g x tk 1 g gˆ x tk Ug x tk
(5. 11)
U k 1 g x 0 kj 1 j x0 v j
j 1
x k 1 A11x k
j (x k ) x k , w j
In this case,
yˆ k 1 g gˆ xk C1 j j (xk ) v j j j (xk )C1v j (5. 13)
j 1 j 1
v j
is analogous to C1 v j (5. 14)
86
As a consequence, the Koopman modes ṽj can be stacked into a matrix
OKMA (a matrix of Koopman observability measures) as
Several criteria to select the most dominant Koopman modes have been
proposed in literature. For the Koopman mode decomposition (KMD) method,
Koopman modes can be ranked by their amplitude, frequency or growth rate, or
energy parameters.
87
However, these criteria may lead to false conclusions and do not contem-
plate a method to separate the physically meaningful modes from the spurious
modes.
M
yˆ tk kj j x0 v j kj vˆ j (5. 16)
j 1 j 1
The selection of the optimal number of Koopman modes p that are part of
is not a trivial problem. In our experience, p = Ñ*2/3 is found to give good re-
sults.
vˆ j j (x0 )
for
vˆ j
vj
vˆ j
In this sense,
bj
| vˆ jk | ak cTj v k
j
vˆ j
vj
vˆ j
vj (5. 18)
|| vˆ j ||
i.e., the normalized Koopman modes will approximate the linear stability modes.
In the more general case, the Koopman observability measures extend the
linear results to the non-linear setting.
89
First, making use of the recursive linearization method, equation (5.9) can
be approximated as
we can write
When the output signals are a linear combination of the state variables,
matrices C2 and C3 are null. In this case, equation (5.20) is simplified as:
ˆ
O PKMA C3ord W3ord diag (z 3ord (0))
(5. 24)
C1V11diag (z1 (0)) C1V11W12 diag (z 2 (0)) C1V11W13diag (z 3 (0))
Here, 1 = [1 ··· N]T, 2 = [1,1 ··· N,N]T, 3 = [1,1,1 ··· N,N,N]T, and 3ord = [1 T
2 T 3 T]T, and j, jk, jkl are the corresponding time constant defined in equations
4.65 to 4.67.
The weighted residues allow the analysis to be centered on the most ex-
cited, observable, and slow oscillations.
91
5.4.3 Importance for wide-area monitoring and control
The provided non-linear measures of observability can be used to assess the sta-
bility of the system and to generate proper laws of wide-area oscillations control
[12]-[14].
From the first point of view, the proposed non-linear measures of observ-
ability can be used to optimally locate sensors in a network, making sure that as
the linear as the non-linear dominant dynamics will be monitored appropriate-
ly.
For the second outlook, when a set of PMU devices are currently in-
stalled, the primary objective is to be able of determining which variables must
be measured, and which modes will be observable in each of them.
92
A physical interpretation of the Koopman modes as columns of a matrix
of observability measures has been provided that extends linear results to the
non-linear setting.
5.6 References
[1] K. Ogata, Modern Control Engineering, New Jersey, Prentice Hall, 2002.
[3] J. Qi, K. Sun, and W. Kang, “Optimal PMU placement for power system
dynamic state estimation by using empirical observability Grammian,”
IEEE Trans. on Power Syst., vol. 30, no. 4, pp. 2041–2054, July 2015.
[5] I. Mezić, “Analysis of fluid flows via spectral properties of Koopman oper-
ator”, Annu. Rev. Fluid Mech., vol. 45, pp. 357–378, 2013.
93
[7] E. Barocio, B. C. Pal, N. F. Thornhill, and A. R. Messina, “A dynamic mode
decomposition framework for global power system oscillation analysis,”
IEEE Trans. Power Syst., vol. 30, no. 6, pp. 2902–2912, November 2015.
[9] Y. Susuki and I. Mezić, “Nonlinear Koopman modes and coherency identi-
fication of coupled swing dynamics,” IEEE Trans. Power Syst., vol. 26, no.
4, pp. 1894-1904, Nov. 2011.
94
Chapter 6
Recursive Linearization of Power
System Models
The recursive linearization (RL) method developed in Chapter 3 is illustrated on a sim‐
ple power system model. By assuming that the system is represented by a transient mod‐
el, explicit analytical expressions are derived that show the efficiency and applicability of
automated linearization.
This simple model captures the inherent non‐linear dynamics and can be used to
study interactions between state variables as well as interactions with the system’s input
signals when a cubic Koopman eigenfunctions‐based model is utilized.
This analysis is intended to give valuable information for predicting the system’s
dynamical response in the presence of specific entries.
Based on this theoretical framework, the projection of the linear, quadratic, and
cubic representation onto some selected output signals is determined. This knowledge is
of fundamental importance for connecting the analytical knowledge obtained by means
of the model‐based Koopman mode analysis with the data‐driven techniques based on the
Koopman operator theory.
6.1 Non-linear model of a multi-machine power system
To illustrate the application of recursive linearization to complex system repre‐
sentations, a non‐linear power system model in which terms higher than the
third order in the amplitude of motion are discarded, is adopted.
In this representation, synchronous machines are represented by a transi‐
ent d‐q model and equipped with a simple exciter. Loads are considered as con‐
stant impedances and a power system stabilizer is added to the generator mod‐
el. The methods adopted, however, are general and can be applied to arbitrary
system representations.
6.1.1 Transient model of the generator
The equations of motion for the rotor of generator j are [1]‐[5]:
d j
0 j (6. 1)
dt
d j 1
dt
2H j
PMech j Tej D j j (6. 2)
dEq j 1
dt
Td 0 j
VEx j (X d j Xd j ) id j Eq j (6. 3)
dEd j 1
X q j Xq j iq j E 'd j (6. 4)
dt Tq0 j
where the above symbols have the usual meaning [5].
From the theory of synchronous machines, the electrical torque Tej in (6.2)
is defined as:
where edj and eqj are calculated from the expressions
96
and
Similarly, the d‐axis and q‐axis components of the terminal current on
system framework, idj and iqj, are calculated as:
in which, ITrej and ITimj are the real and imaginary parts of ITj, the complex ter‐
minal current in the system frame, so that
where j = √(‐1), ng is the number of generators of the power system, and Yred is
the matrix of admittances of the system, reduced to the internal buses of the
generators.
In equation (6.10), E’Dj and E’Qj are the terminal voltages in the network
frame, given by:
6.1.2 Simple exciter dynamics
A block‐diagram representation of the exciter used in this analysis is shown in
Fig. 6.1 [3].
Fig. 6.1. Schematic representation of the utilized simple exciter model.
97
With reference to Fig. 6.1, we can write [3], [5]:
dVTr j ET j VTr j
(6. 13)
dt TR j
dE fd j K A jVA j E fd j
(6. 15)
dt TA j
where ETj is the absolute value of the machine terminal voltage in p.u., defined
by
2 2
ET j ed j eq j (6. 16)
and pssoutj is the output signal of the PSS [3].
6.1.3 Power system stabilizer
A block diagram of the considered power system stabilizer (PSS) is shown in
Fig. 6.2, where the input signal is the rotor speed deviation of machine j, and the
output is a modulation signal that modifies the reference value of the exciter –
refer to Fig. 6.1 [3].
For this model,
1
d
dt
pss1 j
TW j
GPSS j pss1 j (6. 17)
1
d
dt
pss2 j
Td 1 j
Var1 j pss2 j (6. 18)
1
d
dt
pss3 j
Td 2 j
Var2 j pss3 j (6. 19)
98
Fig. 6.2. Schematic representation of the considered power system stabilizer model.
In this section, the third‐order recursive linearization method is applied to the
simplified system model. For reference, the state model is defined as x = [δT,
ΔωT, Eq T, E d T, VTrT, VAsT, EfdT, pss1T, pss2T, pss3T] T.
A method to determine the linearized system equations is as follows.
6.2.1 Recursive linearization of the dynamical equations
As a first step, the dynamical system equations are linearized to obtain the mod‐
el of equation (3.50),
where
δ 0 ω (6. 20)
ω (PMech
(1)
Te D
ω
(2)
e
T
(3)
e) M
T (6. 21)
First order Sec ond order Third order
99
In an analogous manner, the linear equations for the synchronous ma‐
chines model and their controllers are,
(V V pssout V ) T
V (6. 25)
As ref Tr As b
and
(K (1) V E ) T
E (6. 26)
fd A A fd A
so that,
In these equations, the symbol ∙ represents the Hadamard product [6], i.e.
x∙y = [x1y1 x2y2 … xnyn]T for x, yn . Additionally, the symbol x denotes x≡ [1/x1
1/x2 … 1/xn]T.
6.2.2 Analysis of the system’s embedded sub‐functions
The linearized modules of the inner dynamics of equations (6.1) to (6.4), (6.13) to
(6.15), and (6.17) to (6.19) can be obtained by following the procedure below.
6.2.2.1 Synchronous machines and grid equations
From (6.5) through (6.9), we can solve for the electric torque, Te, as:
for k=1, 2,…
100
The modules (k)iq and (k)id, are given by:
k
1 j ( k - j ) j ( k - j )
( k ) iq cos δsep ITre sin δsep ITim δ (6. 31)
j
j 0 j! 2 2
k
1 j ( k - j ) j ( k - j )
( k ) id sin δsep ITre cos δsep ITim δ (6. 32)
j
j 0 j! 2 2
where:
T
δ j 1j 2j ngj
Comparison of equations (6.11) and (6.12) with (6.8) and (6.9), shows that
both groups of equations have the same structure. Further, the formulations for
(k)E’D and (k)E’Q are analogous to those in equations (6.31) and (6.32). The de‐
tails are omitted.
6.2.2.2 Simple exciter and PSS
Linearization of the terminal voltages terms, (k)ET, in (6.16) yields
K1
( k ) ET ( j ) ed ( k j ) ed ( j ) ed ( k j ) ed ETsep
j 0
1 K K1 j
l !( j l )! ed ed ed ed
( j l ) ( j l )
(l ) (l )
2 j 1 l 0
(6. 35)
K2 j
m !(k j m)! ( m ) ed ( k j m ) ed ( m ) ed ( k j m ) ed ET3 sep
m 0
2k 3 ( 0)
ed (1) ed (0) ed (1) ed E1Tsep
k
(1) k 1 2( k 1)
k !
where k=1, 2, 3; K=k/2, K1(j)= j/2 , and K2(j)=(k-j)/2.
101
In (6.35), the terms (k)ed and (k)eq are given by
The modules corresponding to the other internal dynamics represented in
the diagrams of figures 6.1 and 6.2 can be easily obtained by applying the same
procedure.
In this section, the effect of the input signals on the non‐linear evolution of the
considered multi‐machine power system model is studied. From our previous
analyzes, we assume that the third‐order model of the system considering in‐
puts, u, can be written as
j
N N
j 1 y j N j j 1 k j y j yk M 3jk j 1 y j L 3j
3 N N
Recall from Chapter 3, that A11 is the Jacobian matrix of the system, V11 is
the corresponding matrix of right eigenvectors, and Λ1 a diagonal matrix con‐
taining the linear stability eigenvalues.
in (6.38) is computed as:
From these assumptions, matrix B11
where B11 is the input matrix of the system.
102
The other interaction matrices are defined similarly.
6.3.1 First‐order dynamics
In deriving the first‐order dynamics, we note from equations (6.1) and (6.21),
and Figure 6.1 that PMech does not have any direct influence on the second or
higher order terms. This is also seen for the reference voltage, Vref. As a result,
= 0 and B
one has that B = 0.
12 13
From the analysis above, it can be noted that there is not any an interac‐
tion between the input signals, PMech and Vref, and the state variables. Therefore,
1 , and L
1 , M
the matrices N 1 are null.
j jk j
6.3.2 Second‐order dynamics
Assume that equation (4.32) is expressed in the form
R N N N N N
y j j y j b1j k u j h2j k ,l yk yl h3j k ,l ,m yk yl ym (6. 40)
k 1 k 1 l k k 1 l k m l
Then, equations (4.33) to (4.35) and (6.40) are used to describe the evolu‐
tion of the quadratic Koopman eigenfunctions. Straightforward computation
shows that:
l 1 l 1 m l
where fourth and higher‐order effects are contained in O(4) and are neglected in
the analysis that follows.
103
Of interest, it can be noted from (6.41) that for the quadratic Koopman ei‐
genfunctions, the only set of non‐linear interactions that is not null is the one
2 , obtained from B
related to the matrices N , i.e.
j 11
2 F
N j
lineal B11
6.3.3 Third‐order dynamics
From (6.40) equations (4.36), (4.37), and (4.38), we have that
3 F
M jk
lineal B11
which leads upon simplification to the third‐order model
y Λ1 H12 H13 y B11 0 0
y 0 Λ H 23 y 2 0 u
2
N
2 y jN 0 (6. 43)
2
j 1 j
y 3 0 0 Λ3 y 3
j 1 k j y j yk M jk
N N 3
0 0
Attention is now turned to the assessment of the non‐linear content un‐
derlying some output signals of interest.
The selected observables of interest are the magnitudes and phases of the bus
voltages and the active power flow being transferred through the tie lines [2],
[3]. The analysis can be extended to include other output functions.
104
6.4.1 Bus voltages
6.4.1.1 Non‐linear equations
Let Y12=G12+jB12 be the matrix of admittances that projects the internal voltages
of the generators onto the bus voltages of the system as [3]
It follows that,
Ebus Vbre
2
Vbim
2
(6. 45)
and
where
6.4.1.2 Analysis of non‐linear content
Insight into the non‐linear effects of the state variables on the evolution of the
bus voltages can be obtained from cubic recursive linearization of the model.
In assessing these effects it should be observed that the analysis of equa‐
tion (6.44) is straightforward, whereas the formulation (6.45) for computing the
bus voltages Ebus is equivalent to the analysis of the bus magnitude equations in
(6.16). As a direct consequence, the terms (k)Vbre and (k)Vbim need not to be in‐
cluded in the analysis, whilst, for the modular analysis of Ebus, the same struc‐
ture presented in (6.35) must be considered.
Analysis of the vector of bus voltages’ phases, θbus, is more complicated
due to the nature of the function arctan and deserves some context. The lineari‐
zation of the bus angles is illustrated in Figure 6.3.
105
where
The linearization of the auxiliary term FV follows the same lines as that
presented in Fig. 6.3. The derivation has been omitted for reasons of space.
6.4.2 Active power flows
Let the vector of active power flows of all the lines of the system be Plinenl,
where nl represents the number of tie lines [1]‐[3], and VS nl
and VR nl
, be
the vectors of bus voltage magnitudes at the sending – receiving ends of the
lines, respectively, obtained from simple projections of the vector of bus voltag‐
es Vbus.
The procedure adopted to compute the output matrices is summarized
below.
6.4.2.1 Non‐linear equations
Thus, for instance, if VSj is equal to the voltage at bus 1,
VS j e1Vbus
where ej is the j‐th column of a properly‐sized identity matrix.
106
Noting that YL is the matrix of series admittances of the lines and that Bsh
is the vector of shunt susceptances, the line currents are determined from [3]
I L YL ( VS VR ) B sh VS (6. 48)
Recalling that YL = GL +jBL, we can write
VS VSre jVSim
V R V Rre j VRim
Similarly, the real and imaginary parts of the line currents, ILre and ILim,
are determined from equation (6.48), and can be expressed as:
and [1], [2]
Sline VS I*L
Also,
Based on these representations, the non‐linear effects of the state varia‐
bles on the output variables can be examined as discussed below.
6.4.2.2 Recursively linearized modules
Applying the recursive linearization method to equations (6.49) and (6.50) re‐
sults in:
Similarly, it can be proved that:
107
Finally, the modular expression of order k for the selected output signals,
following the notation of equation (3.48), would be:
k Ebus
k
h' θbus
k
(6. 55)
k
Pline
It is also observed that although the recursive linearization provides a
simple algebraic formulation, the number of required operations may grow ex‐
ponentially for some complex non‐linear functions. This may be a limiting factor
when higher‐order representations of complex dynamical systems are required.
In the next Chapter, the usefulness of the obtained third‐order model is
demonstrated when it is used to calculate a non‐linear quadratic controller.
6.6 References
[1] P. Kundur, Power System Stability and Control, The EPRI Power System En‐
gineering Series, McGraw‐Hill, New York, 1994.
[2] P. W. Sauer and M. A. Pai, Power system dynamics and stability, Prentice
Hall, New Jersey, 1998.
108
[3] G. Rogers, Power Systems Oscillations, Kluwer Academic Publishers, MA,
2000.
[4] J. J. Sanchez‐Gasca, V. Vittal, M.J. Gibbard, A.R. Messina, D.J. Vowles, S.
Liu, and U.D. Annakkage, “Inclusion of higher order terms for small‐signal
(modal) analysis: Committee report‐task force on assessing the need to in‐
clude higher order terms for small‐signal (modal) analysis,” IEEE Trans.
Power Syst., vol. 20, no. 4, pp. 1886‐1904, Nov. 2005.
[5] P. Anderson and A. Fouad, Power System Control and Stability (IEEE Press
Power Engineering Series). Piscataway, NJ, USA, 2003.
[6] K. J. Horadam, Hadamard Matrices and Their Applications, Princeton Univer‐
sity Press, NJ, USA, 2006.
109
Chapter 7
PKMA-based Truncated Non-
linear Quadratic Controller
In this chapter, the development of a truncated non-linear quadratic controller based on
the perturbed Koopman mode analysis (PKMA) method and the linear optimal control
theory is presented.
The theoretical developments behind the non-linear controller design are first es-
tablished, including the analysis of the bilinear effect arising in the quadratic Koopman
eigenfunctions-based extended models, the structural constraints on the quadratic gains
matrix, and the study of the second-order phenomena in the closed-loop system.
Finally, the main advantages and drawbacks of the proposed approach are
discussed, and a scheme for future online applications is provided.
7.1 Problem formulation
The high dimensionality of electric power systems and the possibly-limited
communications lead to the necessity of structurally constrained controllers [1]-
[3]. Moreover, the power system operation under high loading conditions and
the occurrence of stressing disturbances may require the design of high-order
controllers capable of extending the area of attraction of the linear quadratic
regulator (LQR) and of increasing the reliability of the system [4]-[7].
u k K11x k (7. 2)
that damps the closed-loop oscillations, where K11 satisfies the structural con-
straints denoted by 1 and minimizes the objective function:
J xT (k )Q11x(k ) uT (k )Ru(k ) (7. 3)
k 0
111
7.1.1.1 Distributed control
The problem of designing a distributed control strategy for determining 1 was
treated in [1] based on the modal participation analysis. In this sense, the evolu-
tion of the j-th system state variable can be expressed as:
Nˆ
x j k k 1 pˆ jk k k 1 pˆ jk k j k
N
(7. 4)
where p̂ jk is the residue of the k-th linear eigenmode in the state variable xj,
N is the number of state variables of the system, and N̂ is the number of elec-
tromechanical (or dominant) modes. The term βj(k) represents the joint effect of
the non-dominant linear modes.
u1 0 x1
u
2 0 x2
(7. 5)
u p 0 0 xN
1
with symbols × indicating the positions where a gain must be placed for the
feedback gain matrix K11.
112
Fig. 7.1. Scheme of a sparse communication structure (continuous blue lines), in comparison
with the full communication network (including the red dotted lines).
Following [2], the optimal gain matrix K11 that minimizes (7.3) is given by
K11 (R B11
T
P11B11 )1B1T P11A11 (7. 6)
with P11 being the unique positive semi-definite N×N matrix satisfying the dis-
crete algebraic Riccati equation (DARE)
However, the computed gain matrix, in general, do not satisfy the struc-
tural constraint of 1 [1].
In order to obtain the desired K11, we first define the matrix Ic1 as the in-
dicator matrix, which is equal to 1, but with 1’s instead of the ×’s. Then, the
following identity holds for the structurally-constrained gain matrix K11
where F̂ (K11) is the orthogonal projection of K11 onto the state variables ig-
nored by 1 [2]. In (7.8), the symbol · represents the Hadamard product [9].
Then, according to [2], for the discrete-time system of (7.1), and a control
law of the form (7.2), if the gain matrix K11 satisfies
113
where L11 is an arbitrary matrix, and P11 is the solution of the generalized dis-
crete algebraic Riccati equation (GDARE):
with
A simple and practical algorithm for the iterative solution of the problem
of finding P11 can be found in reference [1] and is here presented as the Algo-
rithm 7.1
2) Start k=0
3) L11
(k 1)
P11(k) Ic1 – Enforce structure 1
(k 1)
4) Q11 Q11
(0)
L(11k 1)T R B11
T
P11(k ) B11 L(11k 1) ,
114
7.1.2 General characteristics of the required quadratic controller
As has been established previously in several research works, the inclusion of
the second-order terms in the small-signal stability analysis of power systems
can be very demanding and unpractical [4]-[6].
With this objective in mind, the main requirements for designing the de-
sired controller are:
115
7.2 LQR design for quadratic Carleman models
where
The matrices A11, F2, and B11, B12, and N1j are properly sized real-valued
matrices of coefficients [7].
x jk x j xk
In (7.13), the quadratic effects of B12 and N1j have been considered as
null, based on the results of the previous Chapter.
J
2 0
1 T
x 2 ord Q 2 ord x 2 ord uT Ru dt (7. 14)
116
where Q2ord and R are symmetric positive definite matrices, and the matrix of
weights Q2ordN2ord×N2ord is defined as [12]:
Q 0
Q 2ord 11 (7. 15)
0 0
For this type of dynamical systems, there exist some procedures for de-
termining an optimal control law [11], [13]-[15], where the optimal feedback uOpt
is computed as
uOpt R 1 B11 j 1 x j t N 2j
N
T
p1 t (7. 16)
with
117
which is given by [8]
uOpt R 1B11
T
P11x K11x (7. 19)
N
j 1
x j N 2j K11x (7. 21)
N
j 1
N 2j K11M j K 22 (7. 22)
as
u(k ) K11 x K12 x2
k k
(7. 24)
118
k 1 k
4) If K 11 K 11 2 go to step 2. If not, go to the next step.
As can be noted in the Algorithm 7.2, the effect of the third-order terms
originated in ẋ2 due to K12 is neglected.
k
k k
The inclusion of matrix K 22 in (7.23) to calculate the gain matrices K11
k
and K12 in (7.24) is intended to avoid ill-conditioned optimization issues and to
k
achieve a better calculation of K12 . It must be pointed out that, in general, one
iteration of Algorithm 7.2 is enough.
However, the main drawback of this proposal is that the entire set of sec-
ond-order terms must be aggregated into the analysis to adequately compute
the gain matrices, exponentially increasing the required computational time.
In the next Section, this question is attacked as well as the problem of in-
cluding structural constraints.
119
7.3.1 First order
Following [8], for a linear system of the form (7.18), the optimal feedback law is
the one shown in (7.19) that minimizes the function J of (7.3).
where
with
J
1 H
2 0
y Q11y uT Ru dt (7. 31)
where (·)H means the conjugate transpose operation and Q 11 is Hermitian [8].
In order to gain insight into the nature of Q 11, we recall the part of
equation (7.3) regarding the cost of the state variables, which can be expressed
as:
xT Q11x f J x f J x
T
where
f J x DJ x (7. 32)
120
Thus, using (7.32) the matrix Q 11 can be defined as:
y Λ1 H12 y B11
y 0 u
Λ 2 y 2 j 1 y j N 2j
N (7. 35)
2
y
uOpt K11 K12 (7. 36)
y 2
121
with Nˆ 2j denoting V221N 2j , which is different to the matrix N 2j of (7.35), as will be
shown below.
Following this idea, the computed control law would result in a matrix
K̂12 that can be interpreted through
ˆ y K
K ˆ V x (7. 38)
12 2 12 22 2
where
A 22 V221Λ 2 V22
ˆ V 1A V [ hˆ 12
H hˆ 12 hˆ 12
12 11 12 22 1 2 N2 ]
h12j j hˆ 12j
i.e., the columns of matrix H12 obtained through the PKMA method are equal to
the columns of matrix Ĥ12 multiplied by a complex-valued scalar αj.
With this in mind, we first consider the matrix U11= V111 =[ujk] so that the
Jordan variables yj can be expressed in terms of the state variables xj as:
y j k 1 u jk xk
N
and using the definition of the second order terms provided in Chapter 4 we get
y jk y j yk N
l 1
u jl xl N
m 1 km
u xm l 1 u jl ukl xl2
N
(7. 39)
l 1 ml 1 u jl ukm u jmukl xl xm jk1 jk 2 jk N x2
N N
2
122
Therefore, whether a predetermined set of quadratic terms need to be
considered, they can be easily projected to the physical space by means of (7.39).
123
First, based on the results of Section 7.1.1 and the weighted observability
measures defined in Section 5.4.2, the residues corresponding to the second-
order modes are calculated.
x1 x1
u1 0 x1 0 0 x1 x2
u
2 0 x2 0 0 0 0 x1 x3
(7. 41)
0 x1 x4
u p 0 0 xN 0 0 0
1ord 2 ord xN xN
where a ‘×’ is placed in the position of the row j of 2ord related to the term xkxl if
and only if both elements of the j-th row of 1ord related to xk and xl are not zero.
with Ic1 and Ic2 being the matrices 1ord and 2ord when the symbols × are re-
placed by 1’s.
124
This modified definition of equation (7.8) is given by
K
F K 2 ord 2 ord
υ2 ord I c2 ord υ21ord (7. 43)
V 1 0
K 2 ord υ2 ord K11 K12 11 (7. 44)
0 υ2
Then, the iterative processes described in algorithms 7.1 and 7.2 can be
followed to obtain the matrices K 2ord and
P P
P2 ord 11 12 (7. 45)
0 P22
with
Q 0
Q 2ord 11 (7. 46)
0 0
So, the Algorithm 7.3 written below is proposed as the most efficient way
to calculate the gain matrix K 2ord .
125
Algorithm 7.3. Computation of quadratic LQR in Jordan coordinates.
1) Calculate the residues for the first- and second-order modes.
2) Identify the most dominant linear and non-linear modes above the
thresholds η1 and η2.
3) Construct 1ord and 2ord.
4) With 1ord, use Algorithm 7.1 to obtain K 11 .
However, the computational cost of this only one DARE for an N2ord di-
mensional system is still excessively high and is centered on the bilinear part of
the model. This effect is studied in the following sub-section.
y Λ1 H12 y B11
y 0 Λ y u
j 1 y j N 2j
N
2 2 2
Then, by considering uOpt K11y from (7.29) and using the develop-
ments of Section 7.2.3, the effect of the linear control of (7.29) on the quadratic
variables can be expressed as:
y 2 Λ2 K 22 y 2 (7. 47)
y Λ1 K11 H12 y
y (7. 48)
2 0 Λ 2 K 22 y 2
126
In general, the matrix Λ 2 K 22 is diagonally dominant, but the properties
obtained through the projection to the Jordan coordinates do not prevail after
including the bilinear effect.
y Λ1 H12 y
(7. 49)
y 2 0 Λ 2 y 2
where
V111 Λ1 K11 V11 Λ1 (7. 50)
V221 Λ2 K 22 V22 Λ2 (7. 51)
127
Let us begin with the linear model of equation (7.18), in which an optimal
gain matrix is calculated as in (7.19). Therefore, the closed-loop linear model of
the dynamical system is:
ˆ y
x V (7. 54)
11
Following this idea, the matrix representing the effect of the quadratic
Koopman eigenfunctions, H12 , can be computed by means of the recursive line-
arization method (Chapter 3) and utilizing the non-linear equation:
ˆ 1 gˆ V
y V11
ˆ y
11 (7. 56)
where
gˆ x g x, u u K (7. 57)
11x
ˆ y B
y Λ1 H
y
12
11 u (7. 59)
2 0 Λ 2 y 2 0
128
with
ˆ V H
H (7. 60)
12 11 12
ˆ V V
V (7. 61)
11 11 11
ˆ U U
U (7. 62)
11 11 11
In general, the matrices V11, U11, V̂11 , and Û11 need to be computed from
(7.18) and (7.53), respectively. Arrays V11 and U 11 are recommended to be
calculated from (7.61) and (7.62) to avoid scaling issues.
1) Calculate the residues for the first- and second-order modes of the
open-loop system of (7.18).
2) Normalize the residues taking the one with the maximum absolute
value as the base value.
3) Identify the most dominant (non-)linear modes above the thresholds η1
and η2, expressed now in a percentage of the most dominant one.
4) Construct 1ord and 2ord.
5) With 1ord, use Algorithm 7.1 to obtain K 11 .
129
6) Calculate matrices V11, U11, V̂11 , Û11 , and then matrices V11 and U 11 .
ˆ V11 0
1
K 2ord K11 K 12 (7. 63)
0 υˆ 2
130
Fig. 7.3. Flow diagram of the quadratic PKMA-based LQR controller design. The blocks
marked with * and ** require some attention.
131
In the blue block marked with an *, the definition of C1 is a fundamental
point. It is highly recommended to define C1 in accordance with the state varia-
bles weighted by matrix Q11.
Additionally, the block marked with ** in the purple part indicates that
some attention needs to be put in the process of defining T1 and, in general, to
make the best decision on selecting the structure of communication.
It can be observed from Fig. 7.4 that the proposed control law is
considered as a supplementary control. Additionally, a relaxation of the value of
ε1 can be regarded to reduce the required CPU time.
For the provided strategy, the intrinsic calculation of the vector of initial
conditions x0 is possible thanks to the dynamic state estimation technique intro-
duced in [15]. Although this technique is not treated in this dissertation, its use
is supposed for future online applications.
Fig. 7.4. Scheme for the online application of the truncated quadratic PKMA controller.
132
7.5 Concluding remarks
In this chapter, a strategy for designing a (truncated) second-order linear quad-
ratic regulator (LQR) based on the perturbed Koopman mode analysis (PKMA)
was derived for damping wide-area oscillations.
Moreover, the general scheme for the application of the proposed strate-
gy was provided, highlighting the main considerations that must be taken into
account to assure its applicability in real time.
7.6 References
[1] A. Jain, A. Chakrabortty, and E. Biyik, “An online structurally constrained
LQR design for damping oscillations in power system networks,” IEEE
American Control Conference (ACC) 2017, pp. 2093-2098, Seattle, WA, USA,
July 2017.
133
[2] J. Geromel, A. Yamakani, and V. Armentano, "Structurally constrained
controllers for discrete-time linear systems," J. of Optim. Theory Appl., vol.
61, no. 1, pp. 73-94, 1989.
134
[11] W. A. Cebuhar and V. Constanza, “Approximation procedures for the op-
timal control of bilinear and nonlinear systems,” J. Optim. Theory Appl., vol.
43, no. 4, pp. 615-627, August 1984.
[13] E. P. Hofer and B. Tibken, “An iterative method for the finite-time bilinear-
quadratic control problem,” J. Optim. Theory Appl., vol. 57, no. 3, pp. 411-
427, June 1988.
[14] Z. Aganovic and Z. Gajic, “The successive approximation procedure for fi-
nite optimal control of bilinear systems,” IEEE Trans. Autom. Control, vol.
39, no. 9, pp. 1932-1935, Sept. 1994.
135
Chapter 8
Numerical Results
In this Chapter, numerical simulation results are presented for the four proposed meth-
ods: the recursive linearization method, the perturbed Koopman mode analysis (PKMA),
the (weighted) Koopman observability measures, and the PKMA-based truncated non-
linear quadratic controller.
Then, the efficiency and accuracy of the perturbed Koopman mode analysis is
demonstrated by comparison to fully non-linear simulations and using the method of
normal forms (MNF).
Two groups of cases of study are first established: a set of four power sys-
tems that are used during the entire Chapter and some other multi-machine
grids that are exclusively used for validating the recursive linearization method.
2. The two-area, four-machine power system of [2] with the operating con-
ditions reported in [3]. A d-q transient model equipped with a simple ex-
citer is considered for each generator.
3. The 16-generator, 68-bus system used in [4]. All the generators are
described with a transient model and a simple exciter.
4. The IEEE 50-machine, 145-bus system of [5], with the operating condi-
tions provided in [6], where the six largest generators are modeled with
transient model and simple exciter. The other generators use a classical
model.
137
Table 8.1. Loading conditions in p.u. on a 100 MVA base.
5 1.00 0.50
7 0.80 0.35
9 0.72 0.30
138
The most important linear stability eigenmodes of the system are
contained in Table 8.3.
Fig. 8.2. Schematic representation of the two-area, four-machine power system of [2].
Table 8.3. Selected linear stability eigenmodes of the two-area, four-machine power system.
15 -0.45 - - δ3
16 -3.41 - - EFd 3
17 -4.07 - - EFd 3
139
For the considered operating condition, the most critical linear
eigenmodes of the system are shown in Table 8.4 below. Especial emphasis is
put on the electromechanical dynamics.
Table 8.4. Linear stability eigenmodes of the 16-machine, 68-bus power system.
140
Additionally, Fig. 8.3 depicts a diagram of the 16-machine power system,
showing the five areas in which it can be divided.
Fig. 8.3. Schematic representation of the 16-machine, 68-bus power system [4].
In this model, generators at buses 93, 104, 105, 106, 110, and 111 are repre-
sented by a fourth-order d-q model and equipped with a simple exciter. All the
other generators are represented by classical models [6].
For later reference, Table 8.5 shows selected oscillatory modes; for the
high-stress operating condition, the system exhibits two unstable modes at
about 1.16 Hz and 0.33 Hz.
141
Table 8.5. Selected oscillatory modes of the IEEE 50-machine system.
CL 2 4 4
SMIB of [2]
TR 4 4 4
142
Table 8.6. Selected multi-machine cases of study (CONT.)
CL 8 7 6
2-area system of [2]
TR 16 7 6
TR, SMP1, 20 8 8
2-area system used in [4]
TR, SMP3 28 8 8
TR 64 68 86
16-machine system used in [4]
TR, SMP1 80 68 86
CL 96 140 233
48-machine NPCC system used
in [10]
CL, TR 150 140 233
50-machine system used in [6] CL, TR, SMP3 130 145 453
* CL – classical model, TR – transient d-q model, SMP1 – simple exciter with TCj=TBj=0,
SMP3 – simple exciter with three state variables, #PSS – number of PSSs if are included.
The mentioned validation is divided into two parts. In the first one, a syn-
thetic size-variable non-linear system is utilized for comparing the performance
143
of the considered linearization schemes regarding the required computational
time and accuracy.
The size of the test system is varied by increasing the parameter N from 1
to a determined number of state variables.
x j f j g1 , g 2 , g3 , g 4 g1 g 2 a j g 3 g 4 (8. 2)
where g 1= 0.5,
g 2 sin( x j ) (8. 3)
g3 x 2j (8. 4)
g 4 0.5 g 5 (8. 5)
g5 k 1 x j xk
N
(8. 6)
144
8.2.1.2 Recursive linearization analysis
Using formulae (3.51), (3.62), and (3.65), the expressions (8.2) through (8.6) are
linearized, resulting in the third-order model
where
k
( k ) f j ( k ) g 2 a j ( m ) g3 ( k m ) g 4 (8. 8)
m 0
Additionally, the k-th order modules for the sub-functions g j are given
by
1 k k
(k ) g2 sin x j sep x j (8. 9)
k! 2
2 k
( k ) g3
k ! m 1
x mj x kj m (8. 10)
( k ) g5 k k 1 ( k l ) k 1 1 1
g5 (l ) g5 l (1) g5
k
g4
(k )
(8. 11)
2 g 4 sep 8 l 1 l 0 2 k !
1 k ( k l )
( k ) g5
k ! l 0
xk (l ) xk
(8. 12)
It is evident from (8.1) that Δ(k)g1=0 for k=1, … so that it is not included in
equation (8.8).
145
analytical formulations that result in modular expressions, not in numerical ap-
proximations. Next sub-sections illustrate this by means of some numerical re-
sults.
On the other hand, the proposed linearization scheme has two ad-
vantages over the perturbation-based methods. The first one is that as the accu-
racy of the FDA and CDA methods depends on the size of the perturbation ρ
[11], [12], the recursive linearization accuracy does not.
(a) (b) .
Fig. 8.4. Comparison of the CPU time required for computing (a) A11 and (b) H2 of the
synthetic system with the Analytic linearization (AL), recursive linearization (RL), forward-
difference approximation (FDA), and center-difference approximation (CDA) methods.
146
Fig. 8.5. Comparison of the CPU time required for computing H3 of the synthetic system
with the recursive linearization (RL), forward-difference approximation (FDA), and center-
difference approximation (CDA) methods.
On the other side, Fig. 8.6(b) depicts how the estimation of the eigenvalue
with the largest magnitude changes when the parameter ρ is varied.
(a) (b) .
Fig. 8.6. (a) Absolute error of the computed A11 matrix of the synthetic system. (b)
Eigenvalue with the largest magnitude. Comparison of the RL, FDA, and CDA methods
with N = 100 and perturbation from ρ=1×10-4 through ρ =1×10-1.
147
It can be seen that the dependence of the perturbation-based methods on
ρ may considerably affect the accuracy of the estimated linear stability eigenval-
ues.
In Fig. 8.6(a), the absolute error is calculated with the following formula:
where AAL is the Jacobian matrix estimated with the AL method and Aapprox de-
notes the approximations to A11 obtained by the RL, FDA, and CDA methods.
The symbol ||·||F means the Frobenius norm.
Then, Fig. 8.7 shows the error of computation of the three linearization
methods with respect to the analytic linearization (AL) for the matrices H2 and
H3, with N=100. Similar curves are obtained for other values of N.
(a) (b) .
Fig. 8.7. Absolute error of the computed matrices (a) H2 and (b) H3. Comparison of the RL,
FDA, and CDA methods. N = 100 and perturbation from ρ=1×10-4 through ρ =1×10-1.
From figures 8.4 and 8.5, it can be seen that the difference between the
computational times of the recursive linearization and the perturbation-based
methods grows exponentially. Additionally, the error reached by the RL method
is approximately ten decades below the error of the perturbation methods, as
can be appreciated from figures 8.6 and 8.7.
148
8.2.2.3 Quantitative comparison – multi-machine power systems
In this Section, the comparison of the recursive linearization with the conven-
tional linearization techniques is presented for the multi-machine power sys-
tems presented in Table 8.6.
Below, Fig. 8.8 depicts the required time and the accuracy of the consid-
ered methods when calculating the Jacobian matrix of the system.
(a) (b) .
Fig. 8.8. Comparison of the RL method with the conventional linearization techniques when
applied to the power systems of Table 8.6. (a) Required computational time and (b) Absolute
error of the computed A11 matrix.
(a) (b) .
Fig. 8.9. (a) Absolute error of the computed A11 matrix. (b) Eigenvalue corresponding to the
inter-area mode. Comparison of the RL, FDA, and CDA methods for the 50-machine power
system with a PSS at bus 111 and a perturbation magnitude from ρ=1×10-5 through ρ =1×10-1.
149
Of interest, in Fig. 8.9 the effect of the perturbation magnitude in the ac-
curacy of the regarded methods is illustrated by evaluating the absolute error of
the estimation and the calculated eigenvalue related to the inter-area mode.
Then, Fig. 8.10 compares the required computational time and the abso-
lute error of the RL, FDA, and CDA methods for the second- and third-order
cases. In Fig. 8.10(d), the accuracy of the perturbation-based methods is
measured against the matrix H3 computed with the RL method due to the
enormous amount of resources and time required by the AL method.
(a) (b) .
(c) (d) .
Fig. 8.10. Comparison of the recursive linearization method with the conventional lineariza-
tion techniques for the power systems of Table 8.6. (a) CPU time required for computing H2
and (b) H3. (c) Absolute error of the computed matrix H2 and (d) H3 with ρ=1×10-4.
It can be noted from the two images in the bottom of Fig. 8.10 that the er-
ror of the FDA and CDA methods is considerable. In order to assess how the
150
accuracy of these methods behaves when the magnitude of ρ is varied, Fig. 8.11
shows the absolute error of the FDA, CDA, and RL methods for the IEEE 50-
machine power system with a PSS at bus 111.
(a) (b) .
Fig. 8.11. Absolute error of the computed matrices (a) H2 and (b) H3. Comparison of the RL,
FDA, and CDA methods. IEEE 50-machine power system with a PSS at bus 111 and perturba-
tion from ρ=1×10-5 through ρ =1×10-1.
Similar curves can be obtained for the other multi-machine power sys-
tems, demonstrating the superiority of the proposed linearization scheme.
151
Following the developments in Chapter 4, one has that
Λ1 H12 H13
Φ3ord y Λ2 H 23 H 3ord Φ3ord y
0 Λ 3
where Λ1 = diag (λ1, λ2,…,λN), Λ2 = diag (2λ1, λ1+λ2, …, 2λN), …, Λ3 = diag (3λ1,
2λ1+λ2, …, 3λN).
and
a1 (t ) a N (t ) a111 (t ) a N N N (t )
Table 8.7 presents the required time for PKMA and MNF and compares
the approximation error for Gen #3. The error is measured in decibels (dB) for a
time window of 10 seconds with a time step equal to 0.01 seconds, where
152
For completeness, the second-order normal form approximation and the
linear solution are included. Results are found to be in very good agreement.
Fig. 8.12. Comparison of PKMA method of third order with the third-order MNF, the linear
solution, and the full solution. Speed deviation of Gen 3.
153
(a) (b) .
Fig. 8.13. Comparison of PKMA estimates with the linear solution, the full solution, and the
MNF without terms of fourth and sixth order. (a) Speed deviation of Gen 94. (b) Rotor speed
deviation of Gen 137.
Fig. 8.13 compares the curves obtained with the full solution, the linear
solution, and the PKMA and MNF of second and third order. Then, Table 8.8
compares the eight Koopman eigenvalues with largest magnitude at t = 10 sec
with the MNF. Results are found to be in excellent agreement.
* The corresponding third order PKMA and MNF representation errors are 1.245% and
1.662%, respectively.
154
As shown in Table 8.8, the first five modes capture over the 98.1 % of the
total energy.
It can be noted that at t = 10 sec, the inter-area mode 97, 98 has the highest
amplitude. Also of interest, the unstable linear mode 75,76 has a similar ampli-
tude to that of mode combinations 2λ97+λ98, 2λ98+λ97, λ98+λ97, λ75+λ76+λ97, and
λ75+λ76+ λ98 involving second- and third-order terms.
155
Table 8.10. Eight largest non-linear interaction indices for Koopman eigenfunctions. IEEE
50-machine test system
Examination of numerical results in Table 8.10 shows that the size of the
third-order non-linearity index NI3j relative to NI2j is large, indicating a signifi-
cant effect of third order terms.
The stable dynamics appearing in the first row of Table VII arise from the
definition of interaction indices used in the MNF [3]. It represents a big partici-
pation of the non-linear stable modes λ75+λ116 and λ99+λ100+λ116 (for the second-
and third-order terms, respectively) in a dynamics dominated by a linear unsta-
ble oscillation [3], [13].
156
Table 8.11. Eight largest non-linear interaction indices for the 3rd order MNF.
Table 8.12 compares the CPU effort and accuracy of the PKMA method
with the MNF. Results are found to be similar. Again, no efforts were made to
optimize the performance of the models.
157
Table 8.12. Computational times and achieved accuracy.
PKMA MNF
* The time required to compute matrices H2 and H3 is not taken into account
** Third-order MNF without fourth- and sixth-order terms.
Table 8.13. Complexity of extended Koopman model for the IEEE 50-machine system
158
8.4.1 Application to transient stability data
Two test systems are considered for comparing and verifying the ability of the
proposed methodology: 1) The IEEE 39-bus test system and 2) a 6-area, 377-
machine test system.
As shown in Table 8.14, the four dominant modes with the largest ob-
servability measure in columns 4 and 7 at about 0.58 Hz and 0.91 Hz are correct-
ly identified and ranked by the proposed approach.
Also of interest, the unstable mode at 0.082 Hz associated with the excita-
tion system of generator 2 is properly characterized. The analysis of other modes
is not pursued here.
159
Table 8.14. Nine top-ranked KMs. Norm and absolute value criteria.
The six-area model of the MIS exhibits four critical inter-area modes in-
volving the interaction of machines in several parts of the system, as well as a
very observable local mode involving oscillations between the generators of the
Western system:
- Two critical inter-area modes at 0.29 and 0.52 Hz representing the in-
teraction of machines in the North and South systems and the East
and Central and West systems, respectively.
160
For reference and comparison, Table 8.15 gives the five slowest modes of
the system for the base case condition obtained using the DSATools package
[16].
Table 8.15. Eigenvalues of the MIS for the base case condition.
161
(a) (b) .
Fig. 8.14. Speed deviation of dominant machines. (a) Case 1. (b) Case 2.
For Case 1, Table 8.16 compares the modal estimates from KMD with
those from DMD and Prony analysis, while Fig. 8.15 shows the associated spa-
tial observability measures.
162
.
Fig. 8.15. Global behavior of the leading KMs in Table 8.16 based on the modulus of the
Koopman measures of observability.
As seen in Table 8.16, other approaches work well in identifying the main
inter-area modes but may fail to rank properly their relative importance. Of
special concern, modes of little physical significance for the analysis of inter-area
phenomena are ranked first, showing the need for better classification tech-
niques.
Now, for Case 2, Table 8.17 shows the slowest oscillatory modes extracted
using Koopman analysis.
163
Table 8.17. Comparison of modal estimates for Case 2. Time window: 0-10 sec.
The analysis of Prony results in column 3 in Table 8.17 shows that partial
analysis of global behavior may result in inaccurate characterization of inter-
area mode 2 (0.49 Hz).
164
.
Fig. 8.16. Global behavior of the three leading oscillatory KMs in Table 8.17 based on the
Koopman observability measures.
Results are illustrative only since the performance of the methods de-
pends on various factors, and the codes are not optimized for speed and
memory usage.
165
The observation set contains 3201 measurements of heterogeneous data
and covers a period of 160 sec; measurements were collected at a rate of 20 sam-
ples/sec at 22 system locations encompassing three major geographical regions
[23].
(a) (b) .
Fig. 8.17. Normalized time traces of recorded data. (a) Frequency measurements. (b) Power
and voltage measurements.
Insight into the nature of oscillatory behavior can be gleaned from the
analysis of the relative oscillations in Figure 8.18.
(a) (b) .
Fig. 8.18. Details of the recorder measurements. (a) Voltage (PMU #22) and power (PMUs
#19, 20, and 21) measurements. (b) Frequency measurements (PMUs #1-18).
166
Application of the KMD results in 3200 KMs, while DMD analysis results
in 22 dynamic modes. Table 8.19 compares modal estimates obtained using
KMD, Prony, and DMD analyses for the dataset in Fig. 8.17.
Several observations are of interest here. First, DMD analysis and Prony
analysis necessitate more signals to approximate the signals’ trend. In addition,
modal estimates may be inconsistent or result in multiple modes with similar
frequencies, thus making physical interpretation difficult.
Of interest, Figures 8.19 and 8.20 show the time evolution and the corre-
sponding spatial pattern of the 0.99 Hz KM (refer to Fig. 8.18).
167
(a) (b) .
Fig. 8.20. Mode shape of the 0.99 Hz KM. (a) PMUs #1-18. (b) PMUs #19-22.
The results correlate very well with observed system behavior in figures
8.17 and 8.18, showing the accuracy and soundness of the developed frame-
work.
Experience shows that the accuracy of modal estimates using these tech-
niques may be enhanced by increasing the measurement set by improving its
observability measure.
where OPKMA=[o1 o2 ··· oM], Ô PKMA=[ ô 1 ô 2 ··· ô M], and O PKMA=[ o 1 o 2 ··· o M].
168
Two test systems are used here: 1) the two-area power system of Section
8.1.2 and 2) the 16-machine power system of Section 8.1.3.
Fig. 8.21. Highest ςj when the rotor speed deviations of all the generators are the system’s
output signals. Two-area power system.
In Fig. 8.21, it can be seen that, in accordance with the general definition
of observability measures [24], the most observable mode is the real linear mode
number 15. The second and third most observable dynamics are the local area
modes, whereas the inter-area mode λ5, 6 does not appear in the graph.
169
Fig. 8.22. Highest ˆ j when the rotor speed deviations of all the generators are the system’s
output signals. Two-area power system.
As can be observed, now the most excited dynamics are shown in Fig.
8.22. However, there are two drawbacks in this classification:
1) Some of the top-ranked modes are fast dynamics that are not of inter-
est for analyzing wide-are phenomena, and
From Fig. 8.23 it can be noted that the Koopman observability measures
O PKMA provide the sought means for ranking the most observable and slowest
dynamics.
For illustration, the second- and third-order modes appearing in Fig. 8.23
are presented in Table 8.20.
170
Fig. 8.23. Highest j when the rotor speed deviations of all the generators are the system’s
output signals. Two-area power system.
Table 8.20. Most observable slow non-linear Koopman modes of the two-area system.
λ5+λ6 -0.37 - -
171
Fig. 8.24. Highest j when the rotor speed deviations of all the generators are the system’s
output signals. 16-machine power system.
Table 8.21. Most observable slow non-linear Koopman modes of the 16-machine system.
λ29+λ30 -0.005 - -
It can be seen from Table 8.21 that the rapid decay on the magnitudes of
the weighted Koopman observabilities of Fig. 8.24 is due to the small damping
coefficients of the system stability eigenvalues.
1) Second- and third-order modes can be better ranked than several line-
ar inter-area modes.
172
2) Linear modes precede the higher-order dynamics that are the product
of their interaction.
In Fig. 8.26, the full quadratic controller is compared against the system
response without any control and with the linear LQR controller.
Fig. 8.25. Scheme for the two-area, four-machine system used for analysis.
173
Fig. 8.26. Comparison of the linear LQR with the full quadratic nonlinear controller.
The weight matrices used for the controller's design are Q11 with a weight
of 50 in the positions corresponding to the rotor speed deviations and R = I4.
Fig. 8.27 below shows the communication networks obtained for the two
cases when η1 =0.25 and η2 =0.03. It can be noted that, for the selected parame-
ters, the first case does not require a quadratic non-linear controller.
174
(a) (b) .
(c) (d) .
Therefore, Case 2 is used for testing the proposed methodology for de-
signing a non-linear control law.
175
(a) (b)
Fig. 8.28. Communication structure 1ord for configurations (a) 2, and (b) 4.
The speed deviations of all the generators are depicted in Fig. 8.29 with a
linear LQR controller and with the quadratic non-linear controller considering a
full communication structure
Fig. 8.29. Comparison of speed deviations for the linear LQR (black) and the quadratic LQR
(blue).
176
Table 8.22. Quadratic controller’s performance for different configurations.
The sparsity index θ and the performance loss index ξ used in Table 8.22 are
defined as follows:
Ic1 J conf
2
1
n g J full
Jconf are the values of the objective function J reached with the full communica-
tion structure and with another network configuration, respectively.
The simulated fault of Case 2 is so severe that the system does not go
back to the pre-fault operating point. For this case, the designed controller has
better performance for sparser communication structures.
177
were obtained for a period of 10 seconds with a time step of 0.001 sec from t =0
to t =1 and 0.01 for t >1.
C - 0 (Linear) Unstable -
N 0.1 0 - -
F. 0.075 0 - -
0.05 0 - -
178
It seems from the first part of Table 8.23, corresponding to the full com-
munications structure, that a larger number of second-order terms obtains a bet-
ter effect on system response.
179
(a) (b)
Now, Table 8.24 shows the time required to compute the corresponding
K11 gain matrix for configurations 1 through 4 with different values of ε1. The
highlighted data indicate those configurations that could not stabilize the sys-
tem due to the amount of time required to calculate the linear LQR.
180
Table 8.24. Time required for computing K11 for the different configurations.
It can be noted that the difference in the value of J is small. Now, in Table
8.26 below the time required to calculate the second-order controller is shown,
as well as the number of non-linear modes utilized and the time required by the
sub-process of computing Ĥ 12.
Table 8.26. Time required for the regarded communication networks. Seconds.
181
As can be noted from Table 8.24, the difference in the required time be-
tween the full and the truncated second-order controllers is enormous, and with
a similar performance. Nonetheless, the risk of bad-tuned controllers exists, as
happened with the configuration 4.
Further analysis demonstrated that this last behavior is due to the inaccu-
racy of the linear gain matrix; results similar to the other configurations are
obtained for more accurate solutions of K11.
Furthermore, it can be noted from Table 8.26 that the required time to
compute the truncated second-order LQR is high in comparison with the linear
LQR (refer to Table 8.24).
Secondly, numerical results for two cases of study were used to demon-
strate the efficiency and accuracy of the perturbed Koopman mode analysis.
Comparison against the fully non-linear simulations, the linear approximation,
and the method of normal forms (MNF) validate the proposed method.
182
systems’ dynamical responses. The framework provides a criterion for selecting
the dominant Koopman modes from a large set of simultaneous recordings (for
the data-driven method) or from a large amount of higher-order dynamics
obtained from the Koopman extended systems (for the model-based method).
Additionally, it was observed that the required time to compute the trun-
cated quadratic non-linear controller online is relatively low in comparison with
the full case; low enough to be applied online. However, it was observed that it
is necessary to consider it as a supplementary control for the linear LQR and
that reducing the time required for the second-order gain matrix is essential.
In this sense, the relaxation of the convergence criterion for obtaining the
linear gain matrix under certain structural constraints is essential for assuring
system stability, letting sparser communication structures to be considered. As
well, the determination of detrimental modal gains when a topology’s change is
present is a paramount issue.
8.7 References
[1] P. M. Anderson and A. A. Fouad, Power system control and stability, IEEE
Press, John Wiley & Sons, NJ, USA, 2002.
[2] P. Kundur, Power System Stability and Control, Mc-Graw Hill, NY, USA,
1994.
183
clude higher order terms for small-signal (modal) analysis,” IEEE Trans.
Power Syst., vol. 20, no. 4, pp. 1886-1904, Nov. 2005.
[5] V. Vittal, “Transient stability test systems for direct stability methods,”
IEEE Trans. Power Syst., vol. 7, no. 1, pp. 37-43, Feb. 1992.
[8] P. W. Sauer and M. A. Pai, Power system dynamics and stability, Prentice-
Hall, NJ, USA, 1998.
[9] R. Ramos et al., “Benchmark systems for small-signal stability analysis and
control,” IEEE PES Task Force on Benchmark Systems for Stability Con-
trols, IEEE Inc., NJ, USA, Tech. Rep. PES-TR18, Aug. 2015.
[10] J. H. Chow, Power system coherency and model reduction, Springer, NY, USA,
2013.
184
[13] T. Tian, X. Kestelyn, O. Thomas, A. Hiroyuki, and A. R. Messina, “An ac-
curate third-order normal form approximation for power system non-
linear analysis,” IEEE Trans. Power Syst., vol. 33, no. 2, pp. 2128-2139, Mar.
2018.
[22] T. Katayama, Subspace Methods for System Identification, US: Springer, 2005.
185
[23] E. Martínez and A. R. Messina, “Modal analysis of measured inter-area os-
cillations in the Mexican interconnected system: The July 31, 2008 event,”
Proceedings of the IEEE/PES GM, Detroit, MI, USA, July 2011.
186
Chapter 9
Conclusions
9.1 General conclusions
In this dissertation, a theoretical framework for the efficient computation of a
higher‐order dynamical systems’ representation is proposed that can be used to
identify the most critical linear and non‐linear dynamics and design appropriate
law controls.
The importance and usefulness of the proposed framework lie in its sim‐
plicity and the reduced computational resources demand, leading to an in‐
creased field of application.
Several general conclusions can be drawn from this analysis.
i) The use of the recursive linearization method simplifies the applica‐
tion of the non‐linear analysis techniques and may be used to facilitate
the online application of new analysis and control tools.
ii) The perturbed Koopman mode analysis can be used to analyze the in‐
fluence of multimode interactions of various types on the non‐linear
response of non‐linear dynamical systems, as well as to assess the na‐
ture and strength of interactions between system components.
iii) The use of observability measures is seen to add valuable information
to modal analysis, which is of interest in the analysis and identifica‐
tion of reduced‐order models and provides a direct comparison to
conventional linear analysis techniques.
a) Future application of the recursive linearization to include other non‐
linear devices, as well as formulations for dynamical systems defined
by differential‐algebraic equations (DAE).
c) Application of the observability‐based approach for the optimal wide‐
area system monitoring and for the placement of PMUs to observe
and control linear and non‐linear global phenomena.
188
mine a small set of columns of the second‐order interaction matrix
that need to be computed.
e) Develop a method to assess the influence of changes in topology into
the effect of the non‐linear modal gains.
189