, Perry Tsao
, Seth R. Sanders
Dept. of Electrical Engineering and Computer Science, University of California, Berkeley, CA 94720
abf
= RL()
1
abf
+V
abf
(1)
where
abf
and V
abf
indicate the vectors of ux linkages and
terminal voltages, respectively, for armature windings a and
b and eld winding f. The term R is a diagonal matrix of
winding resistances and L() is a symmetric inductance matrix
dependent on the rotor angle . Electrical torque
e
is given
by
e
=
d
d
(
1
2
T
abf
L()
1
abf
) (2)
and the mechanical speed of the rotor,
m
, is governed by
d
dt
m
=
1
J
(
e
B
v
m
) (3)
where J represents rotor inertia and B
v
is a viscous drag term.
Equation 1 can be transformed into a synchronous reference
frame denoted (d,q), resulting in a time invariant model. The
armature voltage vector is chosen to dene the q axis; as a
consequence, for sinusoidal drives V
q
is constant and V
d
is
identically zero.
The only choice of input for a conventional xed voltage
sixstep drive is the drive frequency, hence
e
is one system
input. If a high bandwidth current control loop is implemented
to set i
f
,
f
drops out of the model, and i
f
appears as a second
input. Thus the electrical dynamics simplify to
d
dt
d
=
R
L
d
+
e
q
+
RLm
L
i
f
cos (4)
d
dt
q
=
e
d
R
L
q
RLm
L
i
f
sin +V
q
(5)
d
dt
=
e
N
2
m
(6)
where Eq. 6 describes the evolution of the angle between
the d and f axes for an Npole machine. Finally, outputs of
interest are i
d
and i
q
:
i
d
=
1
L
d
Lm
L
i
f
cos (7)
i
q
=
1
L
q
+
Lm
L
i
f
sin . (8)
Equations 4-8 can be linearized, yielding an LTI system of the
form
d
dt
x = Ax +Bu (9)
y = Cx +Du (10)
with state vector x = [
d
q
m
]
T
, input u = [i
f
e
]
T
and
output y = [i
d
i
q
]
T
. The interested reader will nd the exact
form of the Jacobian matrices A, B, C and D in Appendix
I.
10
0
10
1
10
2
10
3
10
4
60
40
20
0
20
40
60
M
a
g
.
(
d
B
)
H
11
10
0
10
1
10
2
10
3
10
4
90
135
180
225
270
315
360
P
h
a
s
e
(
d
e
g
r
e
e
s
)
10
0
10
1
10
2
10
3
10
4
60
40
20
0
20
40
60
M
a
g
.
(
d
B
)
H
12
10
0
10
1
10
2
10
3
10
4
90
45
0
45
90
135
180
P
h
a
s
e
(
d
e
g
r
e
e
s
)
10
0
10
1
10
2
10
3
10
4
60
40
20
0
20
40
60
M
a
g
.
(
d
B
)
H
21
10
0
10
1
10
2
10
3
10
4
45
0
45
90
135
180
225
P
h
a
s
e
(
d
e
g
r
e
e
s
)
10
0
10
1
10
2
10
3
10
4
60
40
20
0
20
40
60
Frequency (Hz)
M
a
g
.
(
d
B
)
H
22
10
0
10
1
10
2
10
3
10
4
315
270
225
180
135
90
45
P
h
a
s
e
(
d
e
g
r
e
e
s
)
Fig. 1. Bode plots of synchronous machine electrical dynamics corresponding
to Eqs. 12-15. Solid lines indicate magnitude, dotted lines indicate phase.
IV. TIMESCALE SEPARATION
In electric machines, one expects intuitively that the time
constants of the electrical variables will be much faster than
those of the mechanical variables. Hence in dealing with
electrical dynamics the speed of the rotor appears to be con-
stant, while relative to the mechanical time constants electrical
transients appear to settle instantaneously. The model given
by Eqs. 9-10 can thus be approximated by a partitioning into
fast and slow subsystems.
Such a partitioning achieves a great simplication of the
model at the expense of a slight error in the calculation of
system dynamics. For example, the approximate twotime
scale model of the experimental system discussed in Sec. VII
estimates the system eigenvalues to within 10% of the values
given by the original model. Singular perturbation theory
provides a formal framework for such system partitioning.
Relevant results are presented in Appendix II; for a detailed
treatment of the theory, see [3].
1804
Fig. 2. Phasor diagram for a synchronous machine operating at unity power
factor.
In implementing control of electrical rather than mechanical
variables, the order of the model can be reduced such that
the slow dynamic effects of the mechanical subsystem are
suppressed. This approximation of the fast subsystem neglects
the effect of the evolution of
m
. The reducedorder transfer
matrix H for the synchronous machine model is thus
_
i
d
i
q
_
=
_
H
11
H
12
H
21
H
22
_ _
i
f
e
_
(11)
where a hat () indicates a variable in the sdomain, and the
transfer functions are given by
H
11
=
_
Lm
L
cos
_
(s
2
+
R
L
s +
2
e
(12)
+
e
R
L
tan
)/D
H
H
12
= {
i
q
s
2
+
_
R
L
i
q
1
L
e
d
_
s +
2
e
_
i
q
1
L
q
_
(13)
+
e
R
L
_
i
d
1
L
d
_
}/sD
H
H
21
=
_
Lm
L
sin
_ _
s
2
+
R
L
s +
2
e
e
R
L
cot
_
/D
H
(14)
H
22
= {
i
d
s
2
_
R
L
i
d
+
1
L
e
q
_
s
2
e
_
i
d
1
L
d
_
(15)
+
e
R
L
_
i
q
1
L
q
_
}/sD
H
D
H
= s
2
+ 2
R
L
s +
_
R
L
2
_
+
2
e
.
The bar () notation indicates the operating point value of a
variable as used in linearizing the model. Bode plots of the
transfer functions in Eqs. 12-15 are shown in Fig. 1.
V. INDEPENDENT SCALAR FEEDBACK
As a preliminary exercise to the discussion of control
design, it is useful to examine the phasor diagram of electrical
machine variables near unity power factor operation in Fig.
2. Classical analysis (as in [4]) of the gure suggests strong
coupling for the diagonal (in the sense of Eq. 11) input
output pairs (i
f
,i
d
) and (
e
,i
q
), and weak coupling for the
offdiagonal pairs. To see this, assume that R
e
L, and note
that a change in the magnitude of i
f
results in a proportional
change in the magnitude of E. This causes a change in the
angle between V and i with little change in the magnitude
of i. If the angle between V and i remains small (near unity
Fig. 3. Control system implementing feedback only for diagonal inputoutput
pairs. C
ii
indicates a compensator, H
ij
indicates a plant block.
power factor), almost all the change in i occurs along the d
axis. Similarly, varying
e
will result in a slight difference
between
e
and
N
2
m
, producing a change in the angle . A
change in primarily affects the magnitude of i (rather than
the angle of i), and hence most of the change in i occurs along
the q axis. This qualitative analysis is supported by the bode
plots in Fig. 1.
A quantitative analysis proceeds from Fig. 3, which shows
a block diagram of the system in the sdomain. Because the
development here is intended to be general, variables e
i
, u
i
, v
i
,
and y
i
, i=1, 2, are dened as in the gure. Note that feedback,
with compensators denoted C
11
and C
22
, is only implemented
for the diagonal inputoutput pairs (v
i
, y
i
). The following
assumptions are made concerning the transfer functions in Fig.
3 [5]:
1) Each block represents a proper scalar transfer function
of the form N(s)/D(s).
2) No right half plane (RHP) polezero cancellations be-
tween (C
11
C
22
) and (H
11
H
22
) occur.
3) Any RHP poles that occur in (H
12
H
21
) also occur
(including multiplicity) in (H
11
H
22
).
Consider independently the two singleinput singleoutput
(SISO) feedback systems formed by the blocks on the diagonal
(C
11
, H
11
, C
22
, and H
22
). Equivalently, assume H
12
=H
21
=0.
Classical results from SISO control theory apply to these two
systems, and given assumptions 1 and 2, internally stable
closedloop systems can be formed by proper design of the
compensators C
11
and C
22
. Disregarding inputs and outputs,
the two SISO systems can be consolidated into equivalent
closedloop blocks C
11
S
1
and C
22
S
2
, where
S
1
=
1
1 +C
11
H
11
(16)
S
2
=
1
1 +C
22
H
22
. (17)
Now consider the system as a whole (i.e. lift the restriction
that H
12
=H
21
=0). The stability of the overall system can
be examined by breaking the loop between any two of the
remaining four blocks, and nding the openloop transfer
function
G = H
12
H
21
C
11
S
1
C
22
S
2
. (18)
The openloop poles of G are given by the poles of S
1
and
S
2
, and any stable poles of H
12
and H
21
not cancelled by
1805
H
11
and H
22
. By assumption 3, any unstable poles of H
12
and H
21
are exactly cancelled by zeros of S
1
and S
2
. Further,
the poles of S
1
and S
2
have been explicitly placed for stability
and performance via prudent design of C
11
and C
22
. Thus the
structure of G and the assumptions above guarantee that G
has no unstable openloop poles.
Note that any uncancelled poles of H
12
and H
21
are stable,
but unaffected by either SISO loop closure. While this inability
to place every pole represents a disadvantage of the diagonal
control approach, a large subset of systems exists for which
the poles of H
12
and H
21
are either acceptable or will cancel
entirely.
Given that G is guaranteed to be openloop stable, the
closedloop stability of G can be demonstrated by application
of the small gain theorem [6]. Specically, if the openloop
poles of G are stable, and
||G||
< 1 (19)
then the closedloop poles of G are stable.
A slight manipulation of G can improve intuition with
respect to the condition given by Eq. 19. Substituting in Eqs.
16-17, and multiplying in both the numerator and denominator
by the quantity (H
11
H
22
) gives
G =
H
12
H
21
H
11
H
22
C
11
H
11
1 +C
11
H
11
C
22
H
22
1 +C
22
H
22
. (20)
Dening the terms
=
H
12
H
21
H
11
H
22
(21)
T
1
=
C
11
H
11
1 +C
11
H
11
(22)
T
2
=
C
22
H
22
1 +C
22
H
22
(23)
the small gain condition for stability becomes
||T
1
T
2
||
< 1 (24)
or equivalently
max
0<j<
{|| |T
1
| |T
2
|} < 1. (25)
The condition given by Eq. 25 implies an elegant design
methodology for stabilizing 2 2 MIMO systems. (We note
the similarity to individual channel design described exten-
sively in [7], [8], [9], [10], [11]). The magnitude of the term
gives a measure of the diagonalness of the system
that is, a measure of the relative coupling strengths of diagonal
versus offdiagonal inputoutput pairs. If the magnitude of
is much less than unity over the desired control bandwidth,
then chances are good that the system can be stabilized by
two independently designed feedback loops. (As a corollary,
a magnitude much larger than unity suggests that exchanging
the inputoutput pairs will result in favorable conditions for
independent control.) It is then a straightforward task to design
compensators C
11
and C
22
to meet given specications for
10
0
10
1
10
2
10
3
10
4
100
75
50
25
0
25
M
a
g
.
(
d
B
)
Frequency (Hz)
Fig. 4. Plot of || (dashed), |T
1
| (dashdotted), |T
2
| (dotted), and
|| |T
1
| |T
2
| (solid).
the two independent SISO systems. If each SISO system can
be stabilized and made to exhibit a suitably welldamped
response, then the MIMO system is guaranteed to be stable as
well. Consider Fig. 4, which uses values from the experimental
system of Sec. VII. The gure makes explicit the bandwidth
limitations imposed by the structure of the plant. Examining
the plot of ||, it is clear that welldamped closedloop
transfer functions T
1
and T
2
, designed to have approximately
the same corner frequency as , will satisfy Eq. 25.
Note that the small gain theorem gives a sufcient, but not
necessary, condition for stability of the closedloop system.
A necessary and sufcient condition is given by the Nyquist
theorem [12]. Compared to the Nyquist theorem, the small
gain theorem is overly restrictive; Nyquist design constraints
permit openloop gain to exceed unity for phase angles that
are far from 180
.
However, the restriction imposed by the small gain theorem
proves to be benecial, in that it also keeps closedloop perfor-
mance close to the performance predicted by the independent
design of C
11
and C
22
. Equations 26-29 give the closedloop
transfer functions for Fig. 3. The transfer functions have been
arranged such that in each case the rst term represents what
might be called the decoupled result, while the term in
parentheses represents a multiplicative perturbation resulting
from loop interactions via offdiagonal terms.
y
1
v
1
=
C
11
H
11
1 +C
11
H
11
_
1 T
2
1 T
1
T
2
_
(26)
y
1
v
2
= C
22
H
12
_
S
1
S
2
1 T
1
T
2
_
(27)
y
2
v
1
= C
11
H
21
_
S
1
S
2
1 T
1
T
2
_
(28)
y
2
v
2
=
C
22
H
22
1 +C
22
H
22
_
1 T
1
1 T
1
T
2
_
(29)
Bode plots of Eqs. 26-29 using values from the experimental
system of Sec. VII are presented in Fig. 5. For each equa-
tion, the gure shows the decoupled term (which is the
1806
10
0
10
1
10
2
10
3
10
4
100
50
0
50
M
a
g
.
(
d
B
)
(a)
10
0
10
1
10
2
10
3
10
4
100
50
0
50
M
a
g
.
(
d
B
)
(b)
10
0
10
1
10
2
10
3
10
4
100
50
0
50
M
a
g
.
(
d
B
)
(c)
10
0
10
1
10
2
10
3
10
4
100
50
0
50
M
a
g
.
(
d
B
)
(d)
Frequency (Hz)
Fig. 5. Bode plots of (a) Eq. 26, (b) Eq. 27, (c) Eq. 28, (d) Eq. 29. Dashed
lines indicate decoupled terms, dashdotted lines indicate perturbation terms,
solid lines indicate combined results. Note that the solid and dashed lines in
(a) and (d) coincide up to the resolution of the gure.
result obtained by considering each transfer function indepen-
dently), the coupling term (the term in parentheses, which
represents a multiplicative perturbation resulting from off
diagonal coupling), and the combined result. The perturbation
of the diagonal terms is close to unity over a wide range
of frequencies, preserving the performance of the SISO loop
designs. The perturbation of the offdiagonal terms serves to
increase the decoupling of the two control loops over the
control bandwidth, improving upon the original assumption
of weak coupling.
VI. CONTROL STRATEGY
Given the analysis of Sec. V, it is clear that the tracking
of commands for i
d
and i
q
in the synchronous machine
can be achieved with two independent scalar feedback loops.
Fig. 6. Control system block diagram.
Implementation of this scheme is shown in Fig. 6.
An attractive feature of the control scheme is its simplicity
in both architecture and implementation. The reference frame
is dened by the inverter voltage, hence the reference frame
angle ( in Fig. 6) is explicitly known six times per period
of the electrical frequency every time that the inverter
switches. By sampling armature currents at these instants,
sampled current values can be transformed into the rotating
reference frame and compared to commands. Unlike ux
oriented vectorbased control schemes, no observer is required
to resolve the reference frame, and no sampling of terminal
voltages is required. Scalar control laws an integrator for
C
11
and proportionalintegral (PI) form for C
22
yield the
desired response characteristics. Because only a small number
of control calculations need to be performed, latency in the
control path is small. Assuming a sixstep drive operating
from a xed bus voltage, this current control amounts to
instantaneous control of active and reactive power in the
machine.
VII. IMPLEMENTATION AND RESULTS
The above control scheme was implemented on a homopolar
inductor machine (a separately excited synchronous machine)
with sixstep voltage source inverter drive. The machine is
part of a ywheel energy storage system in which the mo-
tor/generator rotor also serves as the energy storage element.
The system is described in detail in [1], [13], [14].
Figures 7-11 show system response to step commands of
i
q
from 80 A to 80 A and from 80 A to 80 A, while i
d
is commanded to a constant zero. Bus voltage was 70 V , and
rotor speed ranged from 15 krpm at lowtohigh i
q
transitions
to 30 krpm at hightolow i
q
transitions.
Figure 7 shows experimental data for electrical frequency
and real current. However, since the machine is synchronous
and the bus voltage is xed, the gure can be thought of as
showing ywheel speed and power ow in the machine. When
the current (power) is positive, the machine speeds up, storing
energy. Similarly, when current is negative, the machine slows
down, returning its stored kinetic energy to the bus. Note the
small transients that occur at each peak and valley of the
e
trajectory. These represent instantaneous departures from
synchronous operation to change the angle between reference
frame and rotor.
1807
0 10 20 30 40 50 60 70 80
500
1000
1500
2000
2500
e
(
H
z
)
0 10 20 30 40 50 60 70 80
100
50
0
50
100
time (s)
i
q
(
A
)
Fig. 7. Experimental response to step iq commands, showing e (top) and
iq (bottom).
23 23.05 23.1 23.15 23.2 23.25
100
50
0
50
100
i
q
(
A
)
23.05 23.055 23.06 23.065
100
50
0
50
100
i
q
(
A
)
Fig. 8. Step response of iq, for an iq step command from 80 A to
80 A and i
d
command of constant zero, showing iq command (solid),
experimental result (dotted), nonlinear model simulation (dashed), and linear
model simulation (dashdotted). The lower gure shows the plot from the
upper gure in an expanded time scale.
Figures 8-11 focus on the transients, showing the i
d
and i
q
commands, experimental i
d
and i
q
outputs, simulations using
the nonlinear dynamics presented in Eqs. 2-8 and simulations
using the linear reducedorder system Eqs. 12-15. Note that
the i
q
command is not a pure step input, but rather an
exponential rise with very short time constant. This input
was used in the experimental system to reduce sharp transient
spikes, and hence simulations were performed with the same
input.
The nonlinear model shows excellent agreement with the
experimental results, except for sharp transients on i
d
. These
were caused by uctuations in the bus voltage not included in
the model. The linear model accurately captures the rise and
fall times of the output currents, although it fails to predict
some overshoot and steadystate error.
VIII. CONCLUSIONS
Analysis of a synchronous machine and variablespeed
drive system was performed, and insights were provided as
to useful simplications that aid the control design process. A
control scheme was presented that permits sixstep inverter
operation, which has several advantages over PWM. The
13.85 13.9 13.95 14 14.05 14.1
100
50
0
50
100
i
q
(
A
)
13.915 13.92 13.925 13.93
100
50
0
50
100
i
q
(
A
)
Fig. 9. Step response of iq, for an iq step command from 80 A to
80 A and i
d
command of constant zero, showing iq command (solid),
experimental result (dotted), nonlinear model simulation (dashed), and linear
model simulation (dashdotted). The lower gure shows the plot from the
upper gure in an expanded time scale.
13.85 13.9 13.95 14 14.05 14.1
50
0
50
i
d
(
A
)
13.915 13.92 13.925 13.93 13.935 13.94
50
0
50
i
d
(
A
)
Fig. 10. Step response of i
d
, for an iq step command from 80 A
to 80 A and i
d
command of constant zero, showing i
d
command (solid),
experimental result (dotted), nonlinear model simulation (dashed), and linear
model simulation (dashdotted). The lower gure shows the plot from the
upper gure in an expanded time scale.
23 23.05 23.1 23.15 23.2 23.25
60
40
20
0
20
40
i
d
(
A
)
23.054 23.056 23.058 23.06 23.062 23.064 23.066
60
40
20
0
20
40
i
d
(
A
)
Fig. 11. Step response of i
d
, for an iq step command from 80 A to
80 A and i
d
command of constant zero, showing i
d
command (solid),
experimental result (dotted), nonlinear model simulation (dashed), and linear
model simulation (dashdotted). The lower gure shows the plot from the
upper gure in an expanded time scale.
1808
feasibility of the control scheme, as well as the usefulness of
the design methodology, was demonstrated through application
to experimental hardware.
APPENDIX I
The Jacobians A, B, C and D described in Sec. III are given by
Eqs. 30-33. The bar () notation indicates the operating point value
of a variable as used in linearizing the model.
A =
_
R
L
e
RLm
L
i
f
sin
0
e
R
L
RLm
L
i
f
cos
0
0 0 0
N
2
a
41
a
42
a
43
Bv
J
_
_
(30)
a
41
=
N
2
1
J
Lm
L
i
f
sin
a
42
=
N
2
1
J
Lm
L
i
f
cos
a
43
=
N
2
1
J
Lm
L
i
f
(
d
cos
q
sin
)
B =
_
_
RLm
L
cos
RLm
L
sin
d
0 1
N
2
1
J
Lm
L
(
d
sin
+
q
cos
) 0
_
_
(31)
C =
_
1
L
0
Lm
L
i
f
sin
0
0
1
L
Lm
L
i
f
cos
0
_
(32)
D =
_
Lm
L
cos
0
Lm
L
sin
0
_
(33)
APPENDIX II
Here results from singular perturbation analysis are developed.
Considering Eqs. 9 and 10, the system is partitioned according to the
double lines in Eqs. 30-33, where x
f
=[
d
q ]
T
and xs=m.
A small parameter >0 explicitly indicates that x
f
changes quickly
with respect to xs, such that
d
dt
x
f
=A11x
f
+A12xs +B1u (34)
d
dt
xs=A21x
f
+A22xs +B2u. (35)
An invertible change of variables can be dened such that w
f,s
=
Mx
f,s
, where M is given by
M=
_
I
f
M12
0 Is
_
. (36)
Applying M to Eqs. 34-35 gives
d
dt
w
f
=(A11 + M12A21)w
f
+ f(M12, )ws (37)
+(B1 + M12B2)u
d
dt
ws=A21w
f
+ (A22 A21M12)ws +B2u (38)
where
f(M12, )=A12 A11M12 + M12A22 (39)
M12A21M12.
From here, a blocktriangular form can be obtained by nding a
value of M12 such that f(M12, ) = 0. This is possible only if
A
1
11
exists. Assuming this is the case, M12 can be found via a
Taylor series expansion, giving
M12() = A
1
11
A12 + A
2
11
A12A0 + O(
2
) (40)
where A
0 = A22 A21A
1
11
A12. Hence the slow subsystem is
governed by
d
dt
ws(t)=A21w
f
(t) + (A22 A21M12())ws(t) (41)
+B2(u)
and the fast subsystem is governed by
d
d
w
f
()=(A11 + M12A21)w
f
() (42)
+(B1 + M12B2)u()
where the time scale for the fast dynamics has been stretched by
dening =
tto