Stability of LQ and LQG

advertisement
Stability of LQ and LQG
Formulation of Nyquist’s stability theorem for
multivariable systems
C
Stability for Linear Quadratic control with state feedback
Stability for Linear Quadratic control with feedback from
observed states.
Opt lecture 5 – p. 1/
C
Formulation MIMO transferfunctions
For SISO system the closed loop poles are the zeros of the characteristic polynomial, which
may be formed the return difference
R(s) = 1 + T (s)
We will use the MIMO return difference to see the connection to MIMO Nyquist criterion
System
:
ẋ(t)
= Ax(t) + Bu(t)
y(t)
= Cx(t)
Regulator :
u(t) = −Lx(t)
Using Laplace transform we have
x(s)
=
(sIn − A)−1 Bu(s) = F(s)Bu(s)
u(s)
=
−Lx(s)
where we have introduced the shorthand notation F(s) = (sIn − A)−1
Opt lecture 5 – p. 2/
Return difference Matrix
C
Opening loop at the input (I), the loop transfer matrix is T(s) = LF(s)B. The return
difference matrix will here be of dimension r which is the number of inputs
RI (s) = Ir + LF(s)B
Opening the loop at the output (II ) give us the loop gain T(s) = F(s)BL, and the return
difference matrix is of dimension n equal to the number of state variables
RII (s) = In + F(s)BL
Opt lecture 5 – p. 3/
C
Poles in terms of return difference
We will now find a relation between the return difference matrix and the characteristic
polynomial for open and closed loop.
We start with the closed loop characteristic polynomial
det(sI − A + BL)
=
det[(sI − A)(I + (sI − A)−1 BL)]
=
det(sI − A) det(I + F(s)BL)
=
det(sI − A) det(RII (s))
=
det(sI − A) det(RI (s))
This give us the relation
det(R(s))
=
=
Pc (s)
det(sI − A + BL)
=
det(sI − A)
Po (s)
Characteristic polynomial f or closedloop
Characteristic polynomial f or openloop
We write the relation as
Pc (s) = Po (s) det(R(s))
Opt lecture 5 – p. 4/
MIMO Nyquist theorem
C
The relation Pc (s) = Po (s) det(R(s)) makes it possible to formulate the Nyquist criterion
including MIMO systems: The condition for closed loop stability that the mapping of
det(RI (jω) = det(Ir + LF(jω)B)
encircles the origin one time counter clock wise for each open loop pole in the right half
plane when s goes round the Nyquist path which encircles all the unstable poles.
In figure 5 this is illustrated for an open loop stable system for which the map must not
encircle the origin
Opt lecture 5 – p. 5/
C
Nyquist in terms of eigenvalues of R(jω)
The determinant of a matrix is the product of the eigenvalues of the matrix, which in this case
are functions l(jω)
r
Y
li (jω)
det(R(jω)) =
i=1
The closed loop stability for an open loop stable system can also be formulated such that
none of the eigenvaluefunctions li (jω) for the return difference matrix R(jω) must encircle
origo of the complex plane when s traverses the Nyquist path.
This may also be illustrated for a stable system
Opt lecture 5 – p. 6/
C
Nyquist in terms of eigenvalues for T(jω)
Since R(s) = Ir + LF(s)B the eigenvalues of R(s) can also be expressed as
li (s) = 1 + ki (s)
where ki (s) ar ethe eigenvalues of the loop transfer matrix T(s) = LF(s)B
Opt lecture 5 – p. 7/
Stabilty for continous time LQ
It is possible use the MIMO stability tests from the previous section to derive stability
conditions for LQ-controlled systems.
ẋ(t)
= Ax(t) + Bu(t)
y(t)
= Cx(t)
:
I
=
:
u(t)
= −Lx(t)
with
L
T
= Q−1
2 B S, hvor
and
0
T
= CT Q1y C + AT S + SA − SBQ−1
2 B S
System
Performance
:
with
Controller
C
R∞
T
T
0 (y (t)Q1y y(t) + u (t)Q2 u(t))dt
R
= 0∞ (xT (t)Q1 x(t) + uT (t)Q2 u(t))dt
Q1 = CT Q1y C
We use the stationary LQ-controller. With the abreviation F(s) = (sIn − A)−1 we have
Open loop input output matrix
: W(s)
= CF(s)B
loop gain matrix
: T(s)
= LF(s)B
Return difference matrix
: R(s)
= Ir + T(s) = Ir + LF(s)B
Opt lecture 5 – p. 8/
Stability for continous LQ
C
Making manipulations of the Riccati equation it is possible to show that all the eigenvalue
functions vli (s) of vR(s) are numerically larger than 1, which imply that
| det(R(s))| = |
r
Y
li (s)| > 1
i=1
If we use this result in Nyquist-considerations it simply implies that the plot of det(R(jω)) in
the complex plane for ω running from 0 til ∞ be strictly outside a cirle with centre in (0, 0)
and with radius 1.
Opt lecture 5 – p. 9/
Stability for continous LQ
C
With the definitions of phase margin and gain margin known from SISO systems it may be
seen from the Nyquist-curve that for a continous time LQ-controlled system holds:
Phasemargin
> 60◦
Gainmargin
=∞
Opt lecture 5 – p. 10/
Download