29
Synchronization in Oscillator Networks and Smart Grids Francesco Bullo Center for Control, Dynamical Systems & Computation University of California at Santa Barbara http://motion.me.ucsb.edu 20th Int. Symp. on Mathematical Theory of Networks and Systems Melbourne, Australia, July 10, 2012 Florian D¨ orfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 1 / 23

Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Synchronization in Oscillator Networks and Smart Grids

Francesco Bullo

Center for Control,Dynamical Systems & Computation

University of California at Santa Barbara

http://motion.me.ucsb.edu

20th Int. Symp. on Mathematical Theory of Networks and SystemsMelbourne, Australia, July 10, 2012

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 1 / 23

Page 2: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

References and Acknowledgments

Florian Dorfler

Collaborators: Misha Chertkov (LANL) andJohn Simpson-Porco (UCSB)

Funding: NSF CyberPhysical Program, CNS-1135819

[2] F. Dorfler and F. Bullo. On the critical coupling for Kuramoto oscillators. SIAM Journal on AppliedDynamical Systems, 10(3):1070–1099, 2011

[1] F. Dorfler and F. Bullo. Synchronization and transient stability in power networks and non-uniformKuramoto oscillators. SIAM Journal on Control and Optimization, 50(3):1616–1642, 2012

[3] F. Dorfler, M. Chertkov, and F. Bullo. Synchronization assessment in power networks and coupledoscillators. In IEEE Conf. on Decision and Control, Maui, HI, USA, December 2012. Submitted

[4] J. W. Simpson-Porco, F. Dorfler, and F. Bullo. Droop-controlled inverters are Kuramoto oscillators.In IFAC Workshop on Distributed Estimation and Control in Networked Systems, Santa Barbara, CA,USA, September 2012. To appear (http://arxiv.org/pdf/1206.5033)

[5] F. Dorfler and F. Bullo. Kron reduction of graphs with applications to electrical networks. IEEETransactions on Circuits and Systems, November 2011. To appear (http://arxiv.org/pdf/1102.2950)

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 2 / 23

Page 3: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Outline

1 Coupled oscillators and synchronization problems

2 Main results: synchronization tests

3 Case study: predicting transition to instability

4 Detailed treatment of homogeneous case

5 Conclusions

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 3 / 23

Page 4: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Power Generation and Transmission Network

10

1

2

34

5

6

7

8

9

1112

13

14

15

16

South ArizonaSoCal

NoCal

PacNW

Canada

North

Montana

Utah

15

512

1110

7

8

9

4

3

1

2

17

18

14

16

19

20

21

24

26

27

28

31

32

34 33

36

38

39 22

35

6

13

30

37

25

29

23

1

10

8

2

3

6

9

4

7

5

F

Fig. 9. The New England test system [10], [11]. The system includes10 synchronous generators and 39 buses. Most of the buses have constantactive and reactive power loads. Coupled swing dynamics of 10 generatorsare studied in the case that a line-to-ground fault occurs at point F near bus16.

test system can be represented by

!i = "i,Hi

#fs"i = !Di"i + Pmi ! GiiE

2i !

10!

j=1,j !=i

EiEj ·

· {Gij cos(!i ! !j) + Bij sin(!i ! !j)},

"##$##%

(11)

where i = 2, . . . , 10. !i is the rotor angle of generator i withrespect to bus 1, and "i the rotor speed deviation of generatori relative to system angular frequency (2#fs = 2# " 60Hz).!1 is constant for the above assumption. The parametersfs, Hi, Pmi, Di, Ei, Gii, Gij , and Bij are in per unitsystem except for Hi and Di in second, and for fs in Helz.The mechanical input power Pmi to generator i and themagnitude Ei of internal voltage in generator i are assumedto be constant for transient stability studies [1], [2]. Hi isthe inertia constant of generator i, Di its damping coefficient,and they are constant. Gii is the internal conductance, andGij + jBij the transfer impedance between generators iand j; They are the parameters which change with networktopology changes. Note that electrical loads in the test systemare modeled as passive impedance [11].

B. Numerical Experiment

Coupled swing dynamics of 10 generators in thetest system are simulated. Ei and the initial condition(!i(0),"i(0) = 0) for generator i are fixed through powerflow calculation. Hi is fixed at the original values in [11].Pmi and constant power loads are assumed to be 50% at theirratings [22]. The damping Di is 0.005 s for all generators.Gii, Gij , and Bij are also based on the original line datain [11] and the power flow calculation. It is assumed thatthe test system is in a steady operating condition at t = 0 s,that a line-to-ground fault occurs at point F near bus 16 att = 1 s!20/(60Hz), and that line 16–17 trips at t = 1 s. Thefault duration is 20 cycles of a 60-Hz sine wave. The faultis simulated by adding a small impedance (10"7j) betweenbus 16 and ground. Fig. 10 shows coupled swings of rotorangle !i in the test system. The figure indicates that all rotorangles start to grow coherently at about 8 s. The coherentgrowing is global instability.

C. Remarks

It was confirmed that the system (11) in the New Eng-land test system shows global instability. A few comments

0 2 4 6 8 10-5

0

5

10

15

!i /

ra

d

10

02

03

04

05

0 2 4 6 8 10-5

0

5

10

15

!i /

ra

d

TIME / s

06

07

08

09

Fig. 10. Coupled swing of phase angle !i in New England test system.The fault duration is 20 cycles of a 60-Hz sine wave. The result is obtainedby numerical integration of eqs. (11).

are provided to discuss whether the instability in Fig. 10occurs in the corresponding real power system. First, theclassical model with constant voltage behind impedance isused for first swing criterion of transient stability [1]. This isbecause second and multi swings may be affected by voltagefluctuations, damping effects, controllers such as AVR, PSS,and governor. Second, the fault durations, which we fixed at20 cycles, are normally less than 10 cycles. Last, the loadcondition used above is different from the original one in[11]. We cannot hence argue that global instability occurs inthe real system. Analysis, however, does show a possibilityof global instability in real power systems.

IV. TOWARDS A CONTROL FOR GLOBAL SWING

INSTABILITY

Global instability is related to the undesirable phenomenonthat should be avoided by control. We introduce a keymechanism for the control problem and discuss controlstrategies for preventing or avoiding the instability.

A. Internal Resonance as Another Mechanism

Inspired by [12], we here describe the global instabilitywith dynamical systems theory close to internal resonance[23], [24]. Consider collective dynamics in the system (5).For the system (5) with small parameters pm and b, the set{(!,") # S1 " R | " = 0} of states in the phase plane iscalled resonant surface [23], and its neighborhood resonantband. The phase plane is decomposed into the two parts:resonant band and high-energy zone outside of it. Here theinitial conditions of local and mode disturbances in Sec. IIindeed exist inside the resonant band. The collective motionbefore the onset of coherent growing is trapped near theresonant band. On the other hand, after the coherent growing,it escapes from the resonant band as shown in Figs. 3(b),4(b), 5, and 8(b) and (c). The trapped motion is almostintegrable and is regarded as a captured state in resonance[23]. At a moment, the integrable motion may be interruptedby small kicks that happen during the resonant band. That is,the so-called release from resonance [23] happens, and thecollective motion crosses the homoclinic orbit in Figs. 3(b),4(b), 5, and 8(b) and (c), and hence it goes away fromthe resonant band. It is therefore said that global instability

!"#$%&'''%()(*%(+,-.,*%/012-3*%)0-4%5677*%899: !"#$%&'

(')$

Authorized licensed use limited to: Univ of Calif Santa Barbara. Downloaded on June 10, 2009 at 14:48 from IEEE Xplore. Restrictions apply.

Western US New England

(WECC 16-m, 25-b) (10-m, 13-b)

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 4 / 23

Page 5: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Mathematical Model of a Power Transmission Network

15

512

1110

7

8

9

4

3

1

2

17

18

14

16

19

20

21

24

26

27

28

31

32

34 33

36

38

39 22

35

6

13

30

37

25

29

23

1

10

8

2

3

6

9

4

7

5

F

Fig. 9. The New England test system [10], [11]. The system includes10 synchronous generators and 39 buses. Most of the buses have constantactive and reactive power loads. Coupled swing dynamics of 10 generatorsare studied in the case that a line-to-ground fault occurs at point F near bus16.

test system can be represented by

!i = "i,Hi

#fs"i = !Di"i + Pmi ! GiiE

2i !

10!

j=1,j !=i

EiEj ·

· {Gij cos(!i ! !j) + Bij sin(!i ! !j)},

"##$##%

(11)

where i = 2, . . . , 10. !i is the rotor angle of generator i withrespect to bus 1, and "i the rotor speed deviation of generatori relative to system angular frequency (2#fs = 2# " 60Hz).!1 is constant for the above assumption. The parametersfs, Hi, Pmi, Di, Ei, Gii, Gij , and Bij are in per unitsystem except for Hi and Di in second, and for fs in Helz.The mechanical input power Pmi to generator i and themagnitude Ei of internal voltage in generator i are assumedto be constant for transient stability studies [1], [2]. Hi isthe inertia constant of generator i, Di its damping coefficient,and they are constant. Gii is the internal conductance, andGij + jBij the transfer impedance between generators iand j; They are the parameters which change with networktopology changes. Note that electrical loads in the test systemare modeled as passive impedance [11].

B. Numerical Experiment

Coupled swing dynamics of 10 generators in thetest system are simulated. Ei and the initial condition(!i(0),"i(0) = 0) for generator i are fixed through powerflow calculation. Hi is fixed at the original values in [11].Pmi and constant power loads are assumed to be 50% at theirratings [22]. The damping Di is 0.005 s for all generators.Gii, Gij , and Bij are also based on the original line datain [11] and the power flow calculation. It is assumed thatthe test system is in a steady operating condition at t = 0 s,that a line-to-ground fault occurs at point F near bus 16 att = 1 s!20/(60Hz), and that line 16–17 trips at t = 1 s. Thefault duration is 20 cycles of a 60-Hz sine wave. The faultis simulated by adding a small impedance (10"7j) betweenbus 16 and ground. Fig. 10 shows coupled swings of rotorangle !i in the test system. The figure indicates that all rotorangles start to grow coherently at about 8 s. The coherentgrowing is global instability.

C. Remarks

It was confirmed that the system (11) in the New Eng-land test system shows global instability. A few comments

0 2 4 6 8 10-5

0

5

10

15

!i /

ra

d

10

02

03

04

05

0 2 4 6 8 10-5

0

5

10

15

!i /

ra

d

TIME / s

06

07

08

09

Fig. 10. Coupled swing of phase angle !i in New England test system.The fault duration is 20 cycles of a 60-Hz sine wave. The result is obtainedby numerical integration of eqs. (11).

are provided to discuss whether the instability in Fig. 10occurs in the corresponding real power system. First, theclassical model with constant voltage behind impedance isused for first swing criterion of transient stability [1]. This isbecause second and multi swings may be affected by voltagefluctuations, damping effects, controllers such as AVR, PSS,and governor. Second, the fault durations, which we fixed at20 cycles, are normally less than 10 cycles. Last, the loadcondition used above is different from the original one in[11]. We cannot hence argue that global instability occurs inthe real system. Analysis, however, does show a possibilityof global instability in real power systems.

IV. TOWARDS A CONTROL FOR GLOBAL SWING

INSTABILITY

Global instability is related to the undesirable phenomenonthat should be avoided by control. We introduce a keymechanism for the control problem and discuss controlstrategies for preventing or avoiding the instability.

A. Internal Resonance as Another Mechanism

Inspired by [12], we here describe the global instabilitywith dynamical systems theory close to internal resonance[23], [24]. Consider collective dynamics in the system (5).For the system (5) with small parameters pm and b, the set{(!,") # S1 " R | " = 0} of states in the phase plane iscalled resonant surface [23], and its neighborhood resonantband. The phase plane is decomposed into the two parts:resonant band and high-energy zone outside of it. Here theinitial conditions of local and mode disturbances in Sec. IIindeed exist inside the resonant band. The collective motionbefore the onset of coherent growing is trapped near theresonant band. On the other hand, after the coherent growing,it escapes from the resonant band as shown in Figs. 3(b),4(b), 5, and 8(b) and (c). The trapped motion is almostintegrable and is regarded as a captured state in resonance[23]. At a moment, the integrable motion may be interruptedby small kicks that happen during the resonant band. That is,the so-called release from resonance [23] happens, and thecollective motion crosses the homoclinic orbit in Figs. 3(b),4(b), 5, and 8(b) and (c), and hence it goes away fromthe resonant band. It is therefore said that global instability

!"#$%&'''%()(*%(+,-.,*%/012-3*%)0-4%5677*%899: !"#$%&'

(')$

Authorized licensed use limited to: Univ of Calif Santa Barbara. Downloaded on June 10, 2009 at 14:48 from IEEE Xplore. Restrictions apply.

2

10

30 25

8

37

29

9

38

23

7

36

22

6

35

19

4

3320

5

34

10

3

32

6

2

31

1

8

7

5

4

3

18

17

26

2728

24

21

16

1514

13

12

11

1

39

9

1 n generators �� and m load buses •◦2 admittance matrix Y ∈ C(n+m)×(n+m), symmetric, sparse, lossless

Central task: generators provide power for loads

Problems: stability in face of disturbances, security from cyber attacks

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 5 / 23

Page 6: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Mathematical Model of a Power Transmission Network

1 power transfer on line i j : |Vi ||Vj ||Yij |︸ ︷︷ ︸aij=max power transfer

· sin(θi − θj

)

2 power balance at node i : Pi︸︷︷︸power injection

=∑

jaij sin(θi − θj)

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 6 / 23

Page 7: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Mathematical Model of a Power Transmission Network

1 power transfer on line i j : |Vi ||Vj ||Yij |︸ ︷︷ ︸aij=max power transfer

· sin(θi − θj

)

2 power balance at node i : Pi︸︷︷︸power injection

=∑

jaij sin(θi − θj)

Structure-Preserving Model [Bergen & Hill ’81]

for ��, swing eq with Pi > 0 Mi θi + Di θi = Pi −∑

jaij sin(θi − θj)

for •◦, const Pi < 0 and Di ≥ 0 Di θi = Pi −∑

jaij sin(θi − θj)

2

10

30 25

8

37

29

9

38

23

7

36

22

6

35

19

4

3320

5

34

10

3

32

6

2

31

1

8

7

5

4

3

18

17

26

2728

24

21

16

1514

13

12

11

1

39

9

Frequency Instability Problems in North American Interconnections

6

2 Technical Aspects of the Frequency Stability Issue

2.1 Physics of Power Balancing and Frequency Stability

Electrical power demand and power supply must be continuously balanced. If the demand and supply are not balanced, or if there is not enough stored energy11

Almost all alternating current (AC) power is generated by synchronous generators controlled to produce 60 Hz electricity. When generated power exactly matches power demand, the frequency could be either a nominal 60 Hz or in its vicinity, but it would be stable (

in the system to temporarily supply the imbalance, generation and demand equipment can be damaged and the entire system could collapse. A power imbalance occurs as a result of a mismatch between generation and load. While there are minor mismatches that exist on the grid most of the time, significant imbalances in either magnitude or time span can be catastrophic for a power system (e.g., result in system black outs and/or equipment damage).

Exhibit 2-1). Unless an imbalance between generation and demand is quickly mitigated, frequency could decrease to 0 Hz in a case of demand exceeding generation or increase until equipment is damaged in a case of generation exceeding demand. Even a very small, but long-lasting power mismatch can cause a significant decrease in frequency.

Exhibit 2-1 Power Balance

Data Source: EPRI 12

The four interconnections, discussed in the Introduction, are connected using high voltage direct current (HVDC) links. The HVDC links allow each interconnection to have a different frequency, while the frequency inside an interconnection is the same for any point in that system. For example, the frequency in Los Angeles, CA, can be different from the frequency in Bangor, ME, yet the Bangor frequency is the same as the frequency in Miami, FL. This also means that imbalances in Bangor should not affect Los Angeles frequency but could potentially affect frequency in Miami, since they are in the same interconnection. All four interconnections try to

11 Either passive storage, such as a battery, or kinetic energy within the power system could offset the power imbalance. 12 EPRI, Power System Dynamics Tutorial, Final Report, Palo Alto, California, July 2009.

POWER CONSUMED POWER SUPPLIED

60 61 59

62 58

Hz

Load Export Losses

Generation Imports

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 6 / 23

Page 8: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Mathematical Model of a Islanded Microgrid

islanded microgrid =

autonomously-managed low-voltage networkwith sources, loads, and storage

1 inverter in microgrid= DC source + PWM= controllable AC source

2 physics: Pi ` = ai` sin(θi − θ`)3 Droop-control [Chandorkar et. al., ’93]: θi = ωi − ω∗ = ni (P

∗i − Pi `)

Droop-controlled inverters are Kuramoto oscillators

for inverter i Di θi = P∗i − ai` sin(θi − θ`)for load ` 0 = P` −

∑n

j=1a`j sin(θ` − θi )

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 7 / 23

Page 9: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Mathematical Model of a Islanded Microgrid

islanded microgrid =

autonomously-managed low-voltage networkwith sources, loads, and storage

1 2 n

+

+

+

θ�

θ1

P1�

θ2

P2�

θn

Pn�

1 inverter in microgrid= DC source + PWM= controllable AC source

2 physics: Pi ` = ai` sin(θi − θ`)3 Droop-control [Chandorkar et. al., ’93]: θi = ωi − ω∗ = ni (P

∗i − Pi `)

Droop-controlled inverters are Kuramoto oscillators

for inverter i Di θi = P∗i − ai` sin(θi − θ`)for load ` 0 = P` −

∑n

j=1a`j sin(θ` − θi )

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 7 / 23

Page 10: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Synchronization in Power Networks

1 power networks are coupled oscillators

Mi θi + Di θi = Pi −∑

jaij sin(θi − θj)

Di θi = Pi −∑

jaij sin(θi − θj)

2 synchronization: coupling strength vs. frequency non-uniformity

x

x

x

!1

!3!2

a12

a13

a23

3 graph theory provides notions of“coupling/connectivity” and “non-uniformity”

power networks should synchronizefor large “coupling/connectivity” and small “non-uniformity”

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 8 / 23

Page 11: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

The Synchronization Problem

Determine conditions on the power injections (P1, . . . ,Pn+m), networkadmittance Y , and node parameters (Mi ,Di ), such that:

|θi − θj | bounded and θi = θj

Literature

1 Classic security analysis: load flow Jacobian & network theory[S. Sastry et al. ’80, A. Araposthatis et al. ’81, F. Wu et al ’82, M. Ilic ’92, . . . ]

2 Broad interest for Complex Networks, Network Science [Ilic ’92,

Hill & Chen ’06] stability, performance, and robustness of power

network?! underlying graph properties (topological, algebraic,

spectral, etc.)

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 9 / 23

Page 12: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Coupled Oscillators in Science and Technology

Kuramoto model of coupled oscillators:

θi = ωi −∑n

j=1aij sin(θi − θj)

Sync in Josephson junctions [S. Watanabe et. al ’97, K. Wiesenfeld et al. ’98]

Sync in a population of fireflies [G.B. Ermentrout ’90, Y. Zhou et al. ’06]

Coordination of particle models[R. Sepulchre et al. ’07, D. Klein et al. ’09]

Deep-brain stimulation and neuroscience[P.A. Tass ’03, E. Brown et al. ’04]

Countless other sync phenomena[A. Winfree ’67, S.H. Strogatz ’00, J. Acebron ’01]

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 10 / 23

Page 13: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Synchronization Notions

θi = ωi −∑n

j=1aij sin(θi − θj)

1 phase cohesive: |θi (t)− θj(t)| < γfor small γ < π/2 ... arc invariance

2 frequency synchrony: θi (t) = θj(t)

3 phase synchrony: θi (t) = θj(t)

Detour – Kron reduction of graphs

2

1

0

3

0

2

5

8

3

7

2

9

9

3

8

2

3

7

3

6

2

2

6

3

5

1

9

4

3

3

2

0

5

3

4

1

0

3

3

2

6

2

3

1

1

8

7

5

4

3

1

8

1

7

2

6

2

7 2

8

2

4

2

1

1

6

1

5

1

4

1

3

1

2

1

1

1

3

9

9

YnetworkYreduced =Ynetwork/Y interior

2

3

0

2

5

3

7

2

9

3

8

2

3

3

6

2

2

3

5

1

9

3

3

2

0

3

4

1

0

3

2

63

1

1

8

7

5

4

3

1

8

1

7

2

6

2

7 2

8

2

4

2

1

1

6

1

5

1

4

1

3

1

2

1

1

3

9

9

1

0

9

7

6

4

5

3

2

1

8

Some properties of the Kron reduction process:

1 Well-posedness: Symmetric & irreducible (loopy) Laplacian matricescan be reduced and are closed under Kron reduction

2 Topological properties:

interior network connected ! reduced network complete

at least one node in interior network features a self-loop !

! all nodes in reduced network feature self-loops !

3 Algebraic properties: self-loops in interior network . . .

decrease mutual coupling in reduced network

increase self-loops in reduced network

Florian Dorfler (UCSB) Power Networks Synchronization Advancement to Candidacy 31 / 36

Detour – Kron reduction of graphs

2

1

0

3

0

2

5

8

3

7

2

9

9

3

8

2

3

7

3

6

2

2

6

3

5

1

9

4

3

3

2

0

5

3

4

1

0

3

3

2

6

2

3

1

1

8

7

5

4

3

1

8

1

7

2

6

2

7 2

8

2

4

2

1

1

6

1

5

1

4

1

3

1

2

1

1

1

3

9

9

YnetworkYreduced =Ynetwork/Y interior

2

3

0

2

5

3

7

2

9

3

8

2

3

3

6

2

2

3

5

1

9

3

3

2

0

3

4

1

0

3

2

63

1

1

8

7

5

4

3

1

8

1

7

2

6

2

7 2

8

2

4

2

1

1

6

1

5

1

4

1

3

1

2

1

1

3

9

9

1

0

9

7

6

4

5

3

2

1

8

Some properties of the Kron reduction process:

1 Well-posedness: Symmetric & irreducible (loopy) Laplacian matricescan be reduced and are closed under Kron reduction

2 Topological properties:

interior network connected ! reduced network complete

at least one node in interior network features a self-loop !

! all nodes in reduced network feature self-loops !

3 Algebraic properties: self-loops in interior network . . .

decrease mutual coupling in reduced network

increase self-loops in reduced network

Florian Dorfler (UCSB) Power Networks Synchronization Advancement to Candidacy 31 / 36

Detour – Kron reduction of graphs

2

1

0

3

0

2

5

8

3

7

2

9

9

3

8

2

3

7

3

6

2

2

6

3

5

1

9

4

3

3

2

0

5

3

4

1

0

3

3

2

6

2

3

1

1

8

7

5

4

3

1

8

1

7

2

6

2

7 2

8

2

4

2

1

1

6

1

5

1

4

1

3

1

2

1

1

1

3

9

9

YnetworkYreduced =Ynetwork/Y interior

2

3

0

2

5

3

7

2

9

3

8

2

3

3

6

2

2

3

5

1

9

3

3

2

0

3

4

1

0

3

2

63

1

1

8

7

5

4

3

1

8

1

7

2

6

2

7 2

8

2

4

2

1

1

6

1

5

1

4

1

3

1

2

1

1

3

9

9

1

0

9

7

6

4

5

3

2

1

8

Some properties of the Kron reduction process:

1 Well-posedness: Symmetric & irreducible (loopy) Laplacian matricescan be reduced and are closed under Kron reduction

2 Topological properties:

interior network connected ! reduced network complete

at least one node in interior network features a self-loop !

! all nodes in reduced network feature self-loops !

3 Algebraic properties: self-loops in interior network . . .

decrease mutual coupling in reduced network

increase self-loops in reduced network

Florian Dorfler (UCSB) Power Networks Synchronization Advancement to Candidacy 31 / 36

{aij}{i ,j}∈E small & |ωi − ωj | large =⇒ no synchronization

{aij}{i ,j}∈E large & |ωi − ωj | small =⇒ cohesive + freq sync

Challenge: proper notions of sync, coupling & phase transition[A. Jadbabaie et al. ’04, P. Monzon et al. ’06, Sepulchre et al. ’07, S.J. Chung et al. ’10, J.L.

van Hemmen et al. ’93, F. de Smet et al. ’07, N. Chopra et al. ’09, G. Schmidt et al. ’09, F.

Dorfler et al. ’09 & ’11, S.J. Chung et al. ’10, A. Franci et al. ’10, S.Y. Ha et al. ’10, D. Aeyels

et al. ’04, R.E. Mirollo et al. ’05, M. Verwoerd et al. ’08, L. DeVille ’11, . . . ]

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 11 / 23

Page 14: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Outline

1 Coupled oscillators and synchronization problems

2 Main results: synchronization tests

3 Case study: predicting transition to instability

4 Detailed treatment of homogeneous case

5 Conclusions

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 12 / 23

Page 15: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Primer on Algebraic Graph Theory

Graph: weights aij > 0 on edges {i , j}, values xi at nodes i

adjacency matrix A = (aij)

degree matrix D is diagonal with dii =∑n

j=1 aij

Laplacian matrix L = LT = D − A ≥ 0

Notions of Connectivitytopological: connectivity, average and worst-case path lengthsspectral: second smallest eigenvalue λ2 of L is “algebraic connectivity”

Notions of Dissimilarity

‖x‖∞,edges = max{i ,j} |xi − xj |, ‖x‖2,edges =(∑

{i ,j} |xi − xj |2)1/2

(graph edges {i , j} ∈ E) or (all edges {i , j} satisfy i < j)

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 13 / 23

Page 16: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Sync Tests: Coupling vs. Power Imbalance

Mi θi + Di θi = Pi −∑

jaij sin(θi − θj)

Di θi = Pi −∑

jaij sin(θi − θj)

∑j aij ≤ |Pi | =⇒ no sync λ2(L) > ‖P‖2,all edges =⇒ sync

Valid for: completely arbitrary weighted connected graphs

∥∥L†P∥∥∞,graph edges

< 1 ⇐⇒ sync

Sharp for: trees, graphs with disjoint 3- and 4-cyclesSharp for: graphs with L†P bipolar or symmetricSharp for:∗ homogeneous graphs (aij = K > 0)

best general conditions known to dateFlorian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 14 / 23

Page 17: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

A Nearly Exact Synchronization Condition – Accuracy

Randomized power network test cases

with 50 % randomized loads and 33 % randomized generation

Randomized test case Correctness of condition: Accuracy of condition: Phase

(1000 instances) ‖L†P‖∞,g. edges≤ sin(γ) max{i,j}|θ∗i − θ

∗j | cohesiveness:

⇒ max{i,j}∈E

|θ∗i − θ∗j | ≤ γ − arcsin(‖BT L†P‖∞) max

{i,j}∈E|θ∗i − θ

∗j |

9 bus system always true 4.1218 · 10−5 rad 0.12889 rad

IEEE 14 bus system always true 2.7995 · 10−4 rad 0.16622 rad

IEEE RTS 24 always true 1.7089 · 10−3 rad 0.22309 rad

IEEE 30 bus system always true 2.6140 · 10−4 rad 0.1643 rad

New England 39 always true 6.6355 · 10−5 rad 0.16821 rad

IEEE 57 bus system always true 2.0630 · 10−2 rad 0.20295 rad

IEEE RTS 96 always true 2.6076 · 10−3 rad 0.24593 rad

IEEE 118 bus system always true 5.9959 · 10−4 rad 0.23524 rad

IEEE 300 bus system always true 5.2618 · 10−4 rad 0.43204 rad

Polish 2383 bus system always true 4.2183 · 10−3 rad 0.25144 rad(winter peak 1999/2000)

condition∥∥L†P

∥∥∞,graph edges

≤ sin(γ) is extremely accurate for γ ≤ 25◦

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 15 / 23

Page 18: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

AC power flow, DC power flow and our new condition

Parameters: P, {aij}{i ,j}∈E , {γij}{i ,j}∈E Variables: θ = (θ1, . . . , θn)

AC power flow

Pi =∑n

j=1aij sin(θi − θj), |θi − θj | < γij

DC power flow approximation

Pi =∑n

j=1aij(δi − δj), |δi − δj | < γij

Novel test

Pi =∑n

j=1aij(δi − δj), |δi − δj | < sin(γij)

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 16 / 23

Page 19: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Outline

1 Coupled oscillators and synchronization problems

2 Main results: synchronization tests

3 Case study: predicting transition to instability

4 Detailed treatment of homogeneous case

5 Conclusions

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 17 / 23

Page 20: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Case Study: Predicting Transition to InstabilityIEEE Reliability Test System ’96 (33-m 44-b)

220

309

310

120103

209

102102

118

307

302

216

202

Optimal power dispatch

minimize∑

(cost)i,genPi ,gen

Pi =∑

jaij sin(θi − θj)

|θi − θj | ≤ (thermal limit)ij

Pi ,gen ∈ (feasible range)i,gen

Power flow: periodically, solve optimal power dispatch problem, &real-time perturbations handled via generation adjustments

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 18 / 23

Page 21: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Case Study: Predicting Transition to InstabilityIEEE Reliability Test System ’96 (33-m 44-b)

Two contingencies:

220

309

310

120103

209

102102

118

307

302

216

202

{223, 318}

{121, 325}

1) generator 323 is tripped2) increase loads & generation

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 18 / 23

Page 22: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Case Study: Predicting Transition to InstabilityIEEE Reliability Test System ’96 (33-m 44-b)

t [s]

θ i(t

)[r

ad]

(a)

t∗

0

0

θ(t)

[rad

s−1]

θ(t) [rad]

θ(t)

[rad

s−1]

θ(t) [rad]

t ≤ t∗

t > t∗ 0

0

t [s]

|θ i(t

)−

θ j(t

)|[r

ad]

(d)

(e)

γ∗

γ∗ γ∗∗

t∗

θ(t∗)

(b)(c)

0

0

Increase loads & generation:

⇒ condition∥∥BTL†P

∥∥∞ ≤ sin(γ) predicts that thermal limit γ∗ of

line {121, 325} is violated at 22.23 % of additional loading

⇒ line {121, 325} is tripped at 22.24% of additional loading

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 18 / 23

Page 23: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Outline

1 Coupled oscillators and synchronization problems

2 Main results: synchronization tests

3 Case study: predicting transition to instability

4 Detailed treatment of homogeneous case

5 Conclusions

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 19 / 23

Page 24: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Synchronization in a All-to-All Homogeneous Graph

all-to-all homogeneous graph θi = ωi−K

n

∑n

j=1sin(θi−θj)

Explicit, necessary, and sufficient condition [F. Dorfler & F. Bullo ’10]

Following statements are equivalent:

1 Coupling dominates non-uniformity, i.e., K > Kcritical , ωmax − ωmin

2 Kuramoto models with {ω1, . . . , ωn} ⊆ [ωmin, ωmax] achieve phasecohesiveness & exponential frequency synchronization

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 20 / 23

Page 25: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Synchronization in a All-to-All Homogeneous Graph

all-to-all homogeneous graph θi = ωi−K

n

∑n

j=1sin(θi−θj)

Explicit, necessary, and sufficient condition [F. Dorfler & F. Bullo ’10]

Following statements are equivalent:

1 Coupling dominates non-uniformity, i.e., K > Kcritical , ωmax − ωmin

2 Kuramoto models with {ω1, . . . , ωn} ⊆ [ωmin, ωmax] achieve phasecohesiveness & exponential frequency synchronization

Define γmin & γmax by Kcritical/K = sin(γmin) = sin(γmax), then

1) phase cohesiveness for all arc-lengths γ ∈ [γmin, γmax]

2) practical phase synchronization: from γmax arc → γmin arc

3) exponential frequency synchronization in the interior of γmax arc

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 20 / 23

Page 26: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Synchronization in a All-to-All Homogeneous Graph

all-to-all homogeneous graph θi = ωi−K

n

∑n

j=1sin(θi−θj)

Explicit, necessary, and sufficient condition [F. Dorfler & F. Bullo ’10]

Following statements are equivalent:

1 Coupling dominates non-uniformity, i.e., K > Kcritical , ωmax − ωmin

2 Kuramoto models with {ω1, . . . , ωn} ⊆ [ωmin, ωmax] achieve phasecohesiveness & exponential frequency synchronization

improves existing sufficient bounds [F. de Smet et al. ’07, N. Chopra et al.

’09, G. Schmidt et al. ’09, A. Jadbabaie et al. ’04, S.J. Chung et al. ’10, J.L. van

Hemmen et al. ’93, A. Franci et al. ’10, S.Y. Ha et al. ’10]

tight w.r.t. continuum-limit [G.B. Ermentrout ’85, A. Acebron et al. ’00]

tight w.r.t. implicit conditions for particular configurations[R.E. Mirollo et al. ’05, D. Aeyels et al. ’04, M. Verwoerd et al. ’08]

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 20 / 23

Page 27: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Main proof ideas

1 Cohesiveness:

V (θ(t)) • for θ(0) in arc of lenght γ ∈ [γmin, γmax], definearc-lenght cost function

V (θ(t)) = max{|θi (t)− θj(t)|}i ,j∈{1,...,n}

• t 7→ V (θ(t)) is non-increasing because

D+V (θ(t)) < 0

• t 7→ θ(t) remains in (possibly-rotating) arc oflength γ and, moreover, γ < π/2 in finite time

2 Frequency synchronization: once in arc of length π/2

d

dtθi = −

∑j 6=i

aij(t)(θi − θj)where aij(t) = K

n cos(θi (t)− θj(t)) > 0. result follows fromtime-varying consensus theorem

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 21 / 23

Page 28: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Outline

1 Coupled oscillators and synchronization problems

2 Main results: synchronization tests

3 Case study: predicting transition to instability

4 Detailed treatment of homogeneous case

5 Conclusions

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 22 / 23

Page 29: Synchronization in Oscillator Networks and Smart Gridsmotion.me.ucsb.edu/talks/2012m-Synchronization-MTNS-10jul12.pdf · IV. T O WARDS CONT LF G B S ING INS TAB IL Y G lob alin st

Conclusions

Summary:

1 connection between power networks and coupled Kuramoto oscillators

2 necessary and sufficient sync conditions

Ongoing and future work:

1 sharp condition: tests and proofs

2 region of attraction

3 more realistic models (reactive power, stochastics etc)

4 smart-grid applications = quick algorithms for security assessment,prediction of cascading failures, remedial action design, etc

IFAC NecSys ’12, Sep 14, 15: Workshop on Networks & Controls10 invited presentations, 4 interactive sessions with 55 papersIEEE CDC ’12: Tutorial Session on Coupled OscillatorsF. Dorfler and F. Bullo. Exploring synchronization in complex oscillator networks. In IEEE Conf. onDecision and Control, Maui, HI, USA, December 2012. Invited Tutorial Session

Florian Dorfler & FB (UCSB) Synchronization MTNS@Melbourne 10jul12 23 / 23