Professional Documents
Culture Documents
net/publication/3756388
CITATIONS READS
10 131
2 authors:
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Ian Hiskens on 14 December 2015.
ABSTRACT 2. MODEL
The development of trajectory sensitivity analysis for power sys- Power systems can be generically described by a parameter depen-
tems is presented in the paper. A hybrid system model which has dent differential-algebraic-discrete (DAD) model of the form,
a differential-algebraic-discrete structure is proposed. Crucial to
the analysis is the development of jump conditions describing the _ = f (x; y; z; )
x (1)
behaviour of sensitivities at discrete events, such as switching and
state resetting. A power system example which involves a mix of 0 = g (x; y; z; )
(0)
(2)
i,
0 = gg i ((x;x; y;y; zz;; )) 0 i = 1; :::; d (3)
( )
continuous and discrete behaviour is presented to illustrate various yd;i <
aspects of the theory. It is shown that trajectory sensitivities pro- ( +) yd;i > 0
z = hj (x, ; y , ; z , ; ) ye;j = 0 j 2 f1; :::; eg (4)
vide insights into system behaviour which cannot be obtained from +
traditional simulations.
z_ = 0 ye;j 6= 0 8j 2 f1; :::; eg (5)
1. INTRODUCTION where
crete states evolving according to the reset condition (4). The alge-
2 3
braic equations (2),(3) establish the interconnections between con- f
tinuous and discrete components of the system, and ensure the sys- f = 0 4 5
tem satisfies physical constraints. They also allow the event vari- 0
ables yd and ye to describe arbitrarily complicated sets of condi- 2 3
x
tions.
At an event given by yd;i =0
, the algebraic states y often un- hj = 4 hj 5 :
dergo a discontinuity. However the discrete states z remain con-
stant and the dynamic states x are continuous through the event. At
an event described by ye;j =0
, at least one of the discrete states is
The system flow is defined accordingly as
reset, i.e., undergoes a step change. This may result in a disconti-
( )= (
x x0 ; t) = x(t)
nuity in y , but the x are again continuous through the event. Let the
times at which events occur be given by k t0 < 1 < 2 < ::: . f : g
x0 ; t
(
y x0 ; t) y (t)
: (12)
Initial conditions for the model (1)-(5) are given by Notice that the definition of f ensures that z and remain con-
x t0( )=x ; 0 ( ) = y ; z(t ) = z
y t0 0 0 0 (6)
stant away from reset events (11). Further, hj ensures that x and
remain unchanged at a reset event. Over each of the open time in-
where y0 is a solution of
( )
tervals k ; k+1 the system is described by a smooth DA model
(
g x0 ; y0 ; z0 ; ) = 0: (7)
_ = f (x; y)
x (13)
0 = g(x; y) (14)
Note that in solving for y0 , the constraint switching described by
(3) must be taken into account. where g is composed of (9) together with functions from (10) cho-
Trajectories of the DAD system (1)-(5) describe the behaviour sen depending on the signs of the elements of yd . (Recall that the
of the dynamic states x, the algebraic states y , and the discrete states definition of the k ensures that no elements of yd can change sign
z over time. To formalize these concepts we define the flows of x, (
during the period k ; k+1 .) )
y and z respectively as
() =
x t ( )
x x0 ; z0 ; t;
3. TRAJECTORY SENSITIVITY ANALYSIS
y (t) = y (x ; z ; t; )
0 0 3.1. General concepts
z (t) = z (x ; z ; t; )
0 0 The flow of a system will generally vary with changes in param-
eters and/or initial conditions. Trajectory sensitivity analysis pro-
where
vides a way of quantifying the changes in the flow that result from
d
dt
( (
x x0 ; z0 ; t; )) (small) changes in parameters and initial conditions. The develop-
ment of these sensitivity concepts will be based upon the compact
= ( ( ) ( ) ( ); )
f x x0 ; z0 ; t; ; y x0 ; z0 ; t; ; z x0 ; z0 ; t; form of the DAD model (8)-(11). Recall that in this model, x0 in-
0 = g (x (x ; z ; t; ); y (x ; z ; t; ); z (x ; z ; t; ); )
0 0 0 0 0 0
corporates the initial conditions x0 and z0 , as well as the parame-
ters . Therefore the sensitivity of the flow to x0 fully describes its
and z (x ; z ; t; ) is piece-wise constant, with step transitions be-
sensitivity to x0 , z0 and .
0 0
In Section 2 we defined the system flow in terms of x0 . The
tween the constant sections described by the reset equations (4).
From the definitions of the flows, it is clear that x (x ; z ; t ; ) =
dependence of on y0 is not explicit, but follows from (7). There-
0 0 0
x , y (x ; z ; t ; ) = y and z (x ; z ; t ; ) = z .
fore, in determining trajectory sensitivities, we will not directly es-
0 0 0 0 0 0 0 0 0
tablish the sensitivity of flows to changes in y0 . Rather, such sen-
Notice that y has been defined in terms of x0 and z0 rather
sitivity is given implicitly by sensitivity to x0 .
than y0 . This reflects the dependence of y0 on x0 , z0 and , as de-
Trajectory sensitivities follow from a Taylor series expansion
scribed by (7). Therefore the definitions of x , y and z establish
of the flows x and y . Referring to (12), the expansion for x can
the dependence of the flows on x0 , z0 and .
be expressed as
It is clear that the notation can quickly become unwieldy. There-
fore in the sequel we will generally write the model more compactly x(t) = x(x ; t) 0
_ = f (x; y)
x (8) 0
0
0 = g (x; y)
(0)
(9) Neglecting the higher order terms and using (12), we obtain
i,
0 = gg i ((x;x; yy)) 0 ( ) x
( )
( +)
yd;i <
yd;i > 0 i = 1; :::; d (10) x(t) @x t
0
@x0
x = hj (x, ; y , )
+
ye;j = 0 j 2 f1; :::; eg (11) xx0 t ( )x 0 (15)
_ = f (x; y)
Again neglecting the higher order terms and using (12) results in
x (21)
y(t) @y t ( ) x ,
0 = gg ((x;x; yy)) ( ) 0
s x; y <
@x0 0 +
( ) 0
s x; y >
(22)
yx0 t( )x 0 (16) x = h(x, ; y , )
+
s(x; y ) = 0 (23)
where yx0 2R mn . In this case the sensitivity of the flow y to which is directly related to the compact DAD model (8)-(11). A
(small) changes x0 is given by the trajectory sensitivities yx0 t . () number of comments should be made about this model:
()
Once the trajectory sensitivities xx0 t and yx0 t are known, () In this model, the switching and reset events are triggered
the sensitivity of the system flow to small changes in initial con-
ditions and parameters, which are described by x0 , can be deter-
( )=0
by the condition s x; y rather than by an element of y
passing through zero. This modification helps to identify the
mined from role of the triggering condition. We will later revert to the
( ) x : situation where the event is described by a condition yk =
(x ; t) = yx((tt)) =
0
xx0 t
()
yx0 t 0 (17) 0.
Notice that the model describes a coincident switching and
We have yet to consider the calculation of the trajectory sensitivi-
( )=0
reset event when s x; y . This is the most general
case. Sensitivity behaviour at independent switching and re-
ties. Details are provided in the following sections.
set events follows from this general case.
We are investigating a single event. However the extension
3.2. Sensitivity Evolution Away from Events to the usual case where there are multiple events, each sep-
arated by a finite time interval, is straightforward.
In this section we discuss the calculation of the trajectory sensitivi-
() ()
ties xx0 t and yx0 t over the open time intervals k ; k+1 , i.e.,( ) Define the triggering hypersurface as
away from events. The behaviour of sensitivities at switching and
reset events is presented in Section 3.3. S = f(x; y) 2 CnI : s(x; y) = 0g:
Away from events, the system model is given by (13),(14). Dif- We are interested in the sensitivity of trajectories which pass thr-
ferentiating this DA system with respect to the initial conditions x0 S
ough . It is convenient to assume that the trajectory starts from
results in ( ) 0 S
a point where s x; y < , passes through , and proceeds to a
( ) 0
point where s x; y > . There is no loss of generality in this
xx _ 0 = ( ) 0 + f y (t)yx0
f x t xx (18) ( ) = [ () ()]
assumption. Let x0 ; t x t t y t t t be such a trajectory,
0 = gx (t)xx + gy (t)yx0 : ( )=[ ]
which starts from x0 ; t0 xt0 y0t t , intersects at the point
S
0 (19)
( )=[ ( ) ( )]
x0 ; ( )=
x t y t t , and proceeds to the point x0 ; t1
(
Note that f x , f y , gx , gy are evaluated along the flow x0 ; t , and ) [ ] ( ( ) ( ))
xt1 y1t t . The intersection point x ; y is called the junction
point, and is called the junction time.
hence are time varying matrices. S
The concept of trajectories passing through is important. Sen-
Initial conditions for xx0 on the first time interval t0 ; 1 are [ ) sitivities cannot be defined for trajectories which are tangential to
obtained by differentiating the x and z conditions of (6) with re- S . Consider such a trajectory. Then there exists an incremental
spect to x0 , change in the initial conditions x0 , such that the intersection point
disappears. But for a different small change in x0 , the intersection
( )=I
xx0 t0 (20) point persists. Therefore at the tangent point, the trajectory is in-
finitely sensitive to initial conditions. To overcome this difficulty
we make the following assumption.
where I is the identity matrix. Initial conditions for yx0 follow
from (19),
Assumption 1 Trajectories are transversal to the triggering hy-
0 = gx (t )xx0 (t ) + gy (t )yx0 (t ): persurface .S
0 0 0 0
?Pd
( ( ) ( )) 2 S ,
Assumption 3 At a junction point x ; y Qd =0
, ,
s(x( ); y ( )) s(x( ); y ( )) < 0:
+ + Supply Bus 1 Bus 2 Bus 3
Point
This assumption is generically satisfied for realistic systems. Figure 1: Power system example.
If it was not satisfied, then the trajectory could reach an ‘impasse’
S
at the triggering hypersurface. Upon encountering , the algebraic yes
equations would switch from g , to g + .
Taps on upper limit?
? V2 > V ?
But then if
( ( ) ( )) 0
s x + ; y + , the model would be forced to switch back
no
-
to g , , which may result in switching to g + again, and so on.
yes
Voltage in deadband, low ? Reset and block timer
Based on the model (21)-(23), it is shown in [8] that the jump
conditions are given by
no
?
Enable timer Timer reached Ttap ?
?n
( ) = hx xx0 ( ,) , , hx f ,
yes
xx0 +
+
f x0 (24)
Change tap ( + = , +
n nstep )
where Reset timer
hx = hx hy gy, ,1 gx,
, ( ) Figure 2: Tap changing transformer AVR logic.
(25)
,
,
sx sy gy, ,1 gx, , xx ,
, ( ) ( ) logic flow of the AVR for low voltages, i.e., for increasing tap ratio,
x0 = , ,
, ( )
0
sx sy gy, ,1 gx, , f ,
(26) is outlined in Figure 2. It is shown in [8] that this AVR logic can
be modelled by (1)-(5).
and f + , f , are given by
The system was disturbed at t seconds by increasing the = 10
impedance X1 . This simulated the loss of a feeder from the supply
f, = f (x( , ); y,( ,)) point to the transformer. The behaviour of the voltage at bus 3 is
shown in Figure 3, along with the load demand Pd . The system
f+ = f (x( ); y ( )):
+ + + (27)
was clearly stable, though the voltage underwent a large excursion.
In developing the jump conditions, we chose to use an arbitrary The voltage stabilized to a value that was below the pre-disturbance
( )
trigger function s x; y . It can be seen that this function influences level because the transformer encountered its maximum tap.
the jump conditions through x0 . Reverting back to the original
1 0.44
system description (8)-(11), the trigger function becomes
( ) = yk
0.98 0.43
s x; y
0.96 0.42
k
for some k. Therefore sx = 0 and sy = [0::: 1 :::0]t = 1k . 0.94
Pd
P
d
0.41
Load Pd (pu)
0.92 0.4
3
,
1k (g,y,),1 gx, , xx0 ( ,)
x0 = ,
0.9 0.39
0.86 V3 0.37
V3
VV33
4. EXAMPLE
0.84 0.36
The small power system of Figure 1 provides a practical example 0.82 0.35
of a system where continuous and discrete dynamics interact. The 0 20 40 60 80 100 120 140 160 180 200
Time (sec)
real power load has recovery dynamics [9], and is modelled by
= T1p (Ps , Pd )
Figure 3: Voltage and load behaviour.
_
xp 0
(28) Figure 4 shows the sensitivity of the voltage V3 trajectory to
the parameters Tp and Ttap . These sensitivities are used in Figure 5
Pd = xp + Pt V 3
2
(29) to approximate voltage behaviour when both Tp and Ttap are per-
turbed. Figure 5 shows the trajectory V3 ; corresponding to (5 20)
where xp is the load state driving the actual load demand Pd . The the nominal parameter values Tp , Ttap . It also shows the =5 = 20
rate of recovery is dictated by the load time constant Tp . trajectory V3 : ; (5 5 22)
which corresponds to perturbed parameters
An important aim of this example is to illustrate the ability of
the DAD structure (1)-(5) to model logic-based systems. Therefore
Tp : and Ttap=55 . The third curve, = 22
a relatively detailed representation of the automatic voltage regu-
lator (AVR) of the tap changing transformer has been adopted. The V3approx ; (5 20) = V (5; 20) + 0:5 @V
3
@Tp
(5; 20) + 2 @T
@V
(5; 20)
3
tap
3
12
x 10
longer, and hence to reduced voltage.
Now consider Ttap . From Figure 4 it can be seen that an in-
10
crease in Ttap leads to a decrease in voltage. Again this is consis-
8
tent with intuition. It is clear that the voltage recovery is due to
the increase in the tap ratio. Increasing Ttap delays the tap changes,
← T sensitivity
6 p so the voltage stays lower for longer. The tap delay due to an in-
4
creased Ttap accumulates with each tap change. Therefore the effect
Sensitivity of V3
0.92
3
0.84
approx
V3 (5,20) Approximation to
[3] R. Tomović and M. Vukobratović, General Sensitivity Theory,
perturbed trajectory American Elsevier, New York, 1972.
0.82
0 20 40 60 80 100
Time (sec)
120 140 160 180 200 [4] I.A. Hiskens, “Trajectory sensitivity analysis of discontinuous
differential-algebraic systems,” Tech. Rep. EE9717, Depart-
ment of Electrical and Computer Engineering, The University
Figure 5: Trajectory approximation.
of Newcastle, May 1997.
[5] M.J. Laufenberg and M.A. Pai, “A new approach to dynamic
@V3 and @V3 , evaluated for the nominal case,
uses the sensitivities @T security assessment using trajectory sensitivities,” in Proceed-
p @Ttap
to approximate V3 : ; (5 5 22)
. The approximation is very close, ex-
ings PICA’97, Columbus, OH, May 1997.
cept around the times where tapping occurs. As discussed in detail [6] I.A. Hiskens and M. Akke, “Analysis of the Nordel power grid
in [8], if parameter variations cause a change in the timing of disturbance of January 1, 1997 using trajectory sensitivities,”
an event, then the sensitivities cannot capture behaviour during that IEEE Transactions on Power Systems, To appear.
period. In this case, the increase in Ttap results directly in de- [7] J.H. Taylor, “Rigorous handling of state events in Matlab,”
laying the tap changing events. in Proceedings 4th IEEE Conference on Control Applications,
Trajectory sensitivities provide helpful insights in the analysis Albany, NY, September 1995, pp. 156–161.
of system behaviour. Consider first the sensitivity with respect to
Tp . It can be seen from Figure 4 that an increase in Tp will lead
[8] I.A. Hiskens and M.A. Pai, “Trajectory sensitivity analysis of
to an increase in the voltage over the first 80 seconds of the tra- hybrid systems,” IEEE Transactions on Circuits and Systems
jectory, but after that it will result in a decrease in voltage. This is I, Submitted for publication.
consistent with physical intuition. An increase in Tp corresponds [9] D.J. Hill, “Nonlinear dynamic load models with recovery for
to slower load recovery. During the initial voltage drop, the load is voltage stability studies,” IEEE Transactions on Power Sys-
less than its steady state value Ps0 ; see Figure 3. Therefore slower tems, vol. 8, no. 1, pp. 166–176, February 1993.
load recovery means the load is smaller for longer, so the voltage is
higher. However over the latter section of the transient, whenever
the voltage steps up due to a tap change, the load overshoots Ps0 .
So the slower recovery corresponds to the load staying higher for