Professional Documents
Culture Documents
Sliding Mode Control of Spacecraft
Sliding Mode Control of Spacecraft
3
0
1
2
1
0
_
_
(2)
Denoting
r
= [
1r
2r
3r
]
T
as the desired reference
rate and we substitute
e
=
r
into (1). We obtain the
dynamic equations of the error rate [15]
J
e
= [
e
]J
e
[
e
]J
r
[
r
]J
e
+u
e
+d (3)
B. Kinematics of the Attitude Error
We explain briey the attitude error using quaternions.
We dene here the quaternion Q = [q
T
q
4
]
T
with q =
[q
1
q
2
q
3
]
T
and
Q
r
= [q
T
r
q
4r
]
T
.
q
r
= [q
1r
q
2r
q
3r
]
T
is the desired attitude. Also the
attitude error Q
e
= [q
T
e
q
4e
]
T
with q
e
= [q
1e
q
2e
q
3e
]
T
.
Using the quaternion multiplication law, we obtain
Q
e
=
_
q
4r
q q
4
q
r
[q
r
]q
q
4
q
4r
+q
T
q
r
_
(4)
subject to the constraint
Q
T
e
Q
e
= (q
T
q +q
2
4
)(q
T
r
q
r
+q
2
4r
) = 1 (5)
The kinematic equation for the attitude error is expressed
as [15], [18]
Q
e
=
1
2
_
[q
e
] +q
4e
I
33
q
T
e
_
e
(6)
where I
3
is the 3 3 identity matrix.
III. SDRE CONTROLLER
In this section the Xu method [4] and the integral sliding
mode [14] are merged to design a new controller. which
consists of two parts; the sliding mode and optimal control.
The rst order sliding mode is used for the sliding mode
controller design while the optimal control law is designed
using the SDRE approach [7] to solve the innite-time
optimal quadratic problem.
The tracking motion of a rigid spacecraft is considered.
For the optimal controller design, the difculty of using the
SDRE approach is how choose the the appropriate matrix
A(x). The basic concepts in [13] are difcult to apply. So,
we have rewritten the dynamics equations of the error rate
in a more suitable form and the appropriate matrix A(x)
is then selected. After we obtain the optimal control law,
a new optimal sliding mode controller will be designed by
combining the optimal control with sliding mode control.
We discuss an optimal control law minimizing the perfor-
mance index
min
u
_
0
(x
T
Qx +u
T
Ru)dt
where x = f(x) +G(x)u, x(0) = x
0
(7)
and
f(x) =
_
J
1
[
e
]J
e
J
1
[
e
]J
r
J
1
[
r
]J
e
0.5 ([q
e
] +q
4e
I
33
)
e
_
(8)
and
G(x) =
_
J
1
0
_
(9)
To apply the SDRE method f(x) must be decomposed as
f(x) = A(x)x. Obviously it is difcult to obtain the matrix
A(x) from the system above. We write f(x) in a more
suitable form to choose A(x). Using basic matrix operations,
the term J
1
[
e
]J
r
in (8) can be written as
J
1
[
e
]J
r
= J
1
[]
e
(10)
where
[] =
_
_
0
3
2
3
0
1
2
1
0
_
_
and
1
= J
11
1r
+J
12
2r
+J
13
3r
2
= J
21
1r
+J
22
2r
+J
23
3r
3
= J
31
1r
+J
32
2r
+J
33
3r
Now we obtain
f(x) =
_
J
1
[
e
]J
e
+J
1
[]
e
J
1
[
r
]J
e
0.5 ([q
e
] +q
4e
I
33
)
e
_
(11)
1709
and f(x) can be written as
f(x) =
_
J
1
[
e
]J +J
1
[] J
1
[
r
]J 0
0.5 ([q
e
] +q
4e
I
33
) 0
_ _
e
q
e
_
(12)
To use the SDRE approach the matrix A(x) is chosen as
A(x) =
_
J
1
[
e
]J +J
1
[] J
1
[
r
]J 0
0.5 ([q
e
] +q
4e
I
33
) 0
_
(13)
Thus, the optimal control
[7] is given as
= R
1
G
T
(x)x (14)
where (x) is the solution to the generalized SDRE
(x)A(x) +A
T
(x)(x) +Q(x)
(x)G(x)R
1
(x)G
T
(x)(x) = 0 (15)
Next we discuss the optimal sliding mode control. Using
the Xu method [4] and the integral sliding mode [13], the
switching function is designed as
s = s
0
(x) + (16)
Letting s
0
(x) =
e
+Kq
e
, (16) becomes
s =
e
+Kq
e
+ (17)
where K is a 3 3 symmetric positive-denite constant
matrix. is an auxiliary variable that is the solution of the
differential equation
=
s
0
x
[f(x) +G(x)
] , (0) = s
0
(x(0)) (18)
Here
s
0
x
= [I
33
KI
33
]
T
and
M
i
(19)
where M is a 3 3 positive-denite diagonal matrix, and
the ith component of is given by
i
= sat(s
i
,
i
), i = 1, 2, 3. (20)
where
sat(s
i
,
i
) =
_
_
_
1 for s
i
>
i
s
i
/
i
for |s
i
|
i
1 for s
i
<
i
Next we show that the control law above is designed such
that the reaching and sliding mode conditions are satised.
The following candidate Lyapunov is selected
V =
1
2
s
T
s (21)
and we take the time derivative of V with the substitution of
s and (18). We obtain
V = s
T
_
s
0
x
[f(x) +G(x)
] +
_
(22)
The control u with external disturbances can be written as
u = u
1
+
+ (23)
Using (7) and (23), the time derivative of V can be written
as
V = s
T
(
s
0
x
[f(x) +G(x)u]
s
0
x
[f(x) +G(x)u G(x)u
1
G(x)])
= s
T
(
s
0
x
G(x)[ +u
1
]) (24)
Let the discontinuous control input u
1
have the following
form
u
1
= M(x)sign(s) (25)
where M(x) R
mm
is a positive denite diagonal matrix.
Letting =
s
0
x
G(x), we obtain
V = s
T
([ Msign(s)]) (26)
We choose s
0
such that is positive denite and then (26)
becomes
(30)
where a, b and c are nonnegative constants. Since J is
symmetric and positive denite, V (x) can be written as
V (x) =
1
2
_
T
e
q
T
e
_
aJ bJ
bJ c
_ _
e
q
e
_
(31)
The conditions for the V (x) to be positive dened are
c > 0, acJ > b
2
J
2
(32)
Using (31), we obtain
V (x)
x
=
_
aJ
e
+bJq
e
bJ
e
+cq
e
_
=
_
aJ bJ
bJ c
_ _
e
q
e
_
(33)
and
_
V (x)
x
_
T
=
_
T
e
q
T
e
_
aJ bJ
bJ c
_
= [
T
e
aJ +q
T
e
bJ
T
e
bJ +q
T
e
c] (34)
Thus
L
G
V = [
T
e
aJ +q
T
e
bJ
T
e
bJ +q
T
e
c]
_
J
1
0
_
=
T
e
a +q
T
e
b (35)
Therefore, if L
G
V = 0, then we have
T
e
=
b
a
q
T
e
(36)
Next we show that if L
G
V = 0, then L
f
V < 0 for all
x = 0. Letting (
e
,
r
) = J
1
[
e
]J
e
J
1
[]
e
J
1
[
r
]J
e
, f(x) can be written as
f(x) =
_
(
e
,
r
)
0.5 ([q
e
] +q
4e
I
33
)
e
_
(37)
and
L
f
V = (
T
e
aJ +q
T
e
bJ)(
e
,
r
) + (
T
e
bJ +
q
T
e
c)(0.5 ([q
e
] +q
4e
I
33
)
e
) (38)
Substituting (36) in (38) we obtain
L
f
V = (
b
2
a
q
T
e
J +q
T
e
c)
_
b
2a
[q
e
]q
e
b
2a
q
4e
I
33
q
e
_
(39)
Since [q
e
]q
e
= 0, (39) becomes
L
f
V = (
b
2
a
q
T
e
J +q
T
e
c)
_
b
2a
q
4e
I
33
q
e
_
= (
b
3
2a
2
q
T
e
J
b
2a
q
T
e
c)(q
4e
I
33
q
e
) (40)
The term
b
3
2a
2
q
T
e
J in (40) can be written as
b
3
2a
2
q
T
e
J =
b
3
2a
2
q
T
e
J
2
J
1
=
b
2a
2
q
T
e
b
2
J
2
J
1
(41)
Using condition acJ > b
2
J
2
, we obtain
b
3
2a
2
q
T
e
J <
b
2a
2
q
T
e
(acJ)J
1
<
b
2a
q
T
e
c (42)
So if L
G
V = 0 then L
f
V < 0 for all x = 0. This guarantees
that the candidate V (x) is a CLF for system (2).
Next we show that modied optimal control [13] with this
CLF V (x) yields global asymptotic stability. Using the basic
concepts [13] the time derivative of a CLF V (x) is
V =
V
x
(f(x) +Gu)
= L
f
V +L
G
V u (43)
Substituting (28) into (43) yields
V (x) =
_
(L
f
V )
2
+x
T
QxL
G
V R
1
(x)(L
G
V )
T
(44)
Clearly
V (x) is negative denite and global asymptotic
stability has been proved.
Letting
= u
opt
and substituting (28) into (19), a new
controller design has been obtained.
V. SIMULATION RESULTS
An example of a rigid-body micro satellite [19] is pre-
sented with numerical simulations to validate and compare
both controllers. The spacecraft is assumed to have the inertia
matrix
J =
_
_
10 1.0 0.7
1.0 10 0.4
0.7 0.4 8
_
_
kg m
2
The weighting matrices are chosen to be Q =
diag(1, 1, 1, 5, 5, 5) and R = diag(5, 5, 5). The initial con-
ditions are q
e
(0) = [0.3 0.2 0.3 0.8832]
T
and
e
(0) = [0.06 0.04 0.05]
T
rad/s. For the SDRE
controller the control vector is designed using (19) with an
optimal control (14) while for the CLF controller we use (19)
with optimal control (28). For the switching function design
(17) we choose the same constant matrix K. K = I
33
with = 0.2. To obtain s(0) = 0 the initial is chosen
to be (0) = (
e
(0) + Kq
e
(0)). Suppose that the desired
angular velocities are
r
(t) =
_
_
0.05 sin(
t
100
)
0.05 sin(
2t
100
)
0.05 sin(
3t
100
)
_
_
rad/s.
The tracking problem is considered in the presence of
external disturbance d(t). The disturbance model [19] is
d(t) = 0.01
_
_
2 sin(
t
100
) + 2 sin(
2t
100
) cos(
3t
100
)
2 sin(
t
100
) 2 sin(
2t
100
) + cos(
3t
100
)
2 sin(
t
100
) + 2 cos(
2t
100
) + sin(
3t
100
)
_
_
+ 0.2
_
_
(70, 2)
(80, 2)
(90, 2)
_
_
+
_
_
0.005
0.005
0.005
_
_
Nm. (45)
where (t
i
, t
i
) denotes an impulsive disturbance with mag-
nitude 1 and width t
i
seconds, activated at the time instant
1711
t
i
.
0 20 40 60 80 100 120 140 160 180 200
0.3
0.2
0.1
0.0
0.1
0.2
0.3
0.4
time(sec)
q
(
t
)
q1e
q2e
q3e
Fig. 1. Quaternion error using controller S (SDRE).
0 20 40 60 80 100 120 140 160 180 200
0.08
0.06
0.04
0.02
0.00
0.02
0.04
0.06
0.08
time(sec)
w
(
t
)
w1e
w2e
w3e
Fig. 2. Relative rate error using controller S (SDRE).
0 20 40 60 80 100 120 140 160 180 200
0.0001
0.0000
0.0001
0.0002
0.0003
0.0004
0.0005
time(sec)
s
(
t
)
s1
s2
s3
Fig. 3. Sliding functions using controller S (SDRE).
The simulation results of the SDRE and CLF controllers
are compared. As shown in Figs. 1, 2, 5 and 6 for the SDRE
controller the quaternion and angular velocity error reach
zero after 35 seconds while for the CLF controller is attained
after 50 seconds. For both controllers, the sliding vectors
(Figs. 3 and 7) are on the sliding manifold at time zero
and very close to zero thereafter. Since integral sliding mode
control is applied, there is no reaching time. The effect of
external disturbances is apparent.
0 20 40 60 80 100 120 140 160 180 200
0.6
0.5
0.4
0.3
0.2
0.1
0.0
0.1
0.2
0.3
time(sec)
M
(
t
)
M1
M2
M3
Fig. 4. Control torques using controller S (SDRE).
0 20 40 60 80 100 120 140 160 180 200
0.3
0.2
0.1
0.0
0.1
0.2
0.3
0.4
time(sec)
q
(
t
)
q1e
q2e
q3e
Fig. 5. Quaternion error using controller C (CLF).
0 20 40 60 80 100 120 140 160 180 200
0.08
0.06
0.04
0.02
0.00
0.02
0.04
0.06
0.08
time(sec)
w
(
t
)
w1e
w2e
w3e
Fig. 6. Relative rate error using controller C (CLF).
As shown in Figs. 1 and 5 both controllers stabilize the
closed loop system of the rigid spacecraft. The effect of
external disturbances on the tracking outputs is reduced.
In Fig. 8 the trajectories of control torques for the CLF
approach show a faster rate of change during the rst 10
seconds when compared with the SDRE approach. In view
of these simulation results the SDRE controller is considered
more suitable for practical spacecraft manoeuvres of this
specic type. Other model and tracking manoeuvres may
yield different behaviour. However, the success of the SDRE
approach depends on a good choice of the matrix A(x). It is
difcult to obtain global stability because of the limitations
1712
0 20 40 60 80 100 120 140 160 180 200
0.0001
0.0000
0.0001
0.0002
0.0003
0.0004
0.0005
time(sec)
s
(
t
)
s1
s2
s3
Fig. 7. Sliding functions using controller C (CLF).
0 20 40 60 80 100 120 140 160 180 200
0.5
0.4
0.3
0.2
0.1
0.0
0.1
0.2
0.3
time(sec)
M
(
t
)
M1
M2
M3
Fig. 8. Control torques using controller C (CLF).
of this technique. On the other hand the CLF approach has an
explicit formula which yields global asymptotic stability. Its
implementation for an optimal controller design is probably
better when compared with the SDRE method.
VI. CONCLUSION
We have studied two controller designs using the integral
sliding mode to control some spacecraft tracking manoeu-
vres. Our new optimal sliding mode control laws have been
successfully applied to the spacecraft tracking manoeuvres.
To obtain these controller designs integral sliding mode
control combined with rst order sliding mode and optimal
control has been applied to quaternion-based spacecraft atti-
tude tracking manoeuvres with external disturbances and an
uncertain inertia matrix. The state dependent Riccati equation
(SDRE) and the control Lyapunov function (CLF) are used
to solve the innite-time nonlinear optimal problem. The
second method of Lyapunov theory is used to show that
tracking is achieved globally. An example of multiaxial atti-
tude tracking manoeuvres is presented and simulation results
are included to verify the usefulness of these controllers.
REFERENCES
[1] Young, P. V., Kokotovi c, P. V. and Utkin, V. I., 1977, A Singular
Perturbation Analysis of High-Gain Feedback Systems, IEEE Trans.
Automat. Contr., Vol. 22, pp. 931-937.
[2] Utkin, V. I., 1992, Sliding Modes in Control and Optimization,
Spinger, Berlin, 1992.
[3] Salamci, M. U. and Bank, S. P., 1997, Optimal Sliding Surface Design
for A Class of Nonlinear Systems, University of Shefeld, Research
Report 697.
[4] Xu, R. 2007, Optimal Sliding Mode Control and Stabilization of
Underactuated Systems, Doctor of Philosophy Thesis, Ohio State
University, Electrical Engineering.
[5] Burghart, J. A., 1969, A Technique for Suboptimal Control of Non-
linear Systems, IEEE Transactions on autimatic control, Vol. 14, pp.
530-533.
[6] Wernli, A. and Cook, G., 1975, Suboptimal Control for the Nonlinear
Quadratic Regulator Problem, Automatica, Vol. 11, pp. 75-84.
[7] Bank, S. P. and Mhana, K. J., 1992, Optimal Control and Stabilization
for Nonlinear Systems, IMA Journal of Mathematical Control and
Information, Vol. 9, No 2, pp. 179-796.
[8] Cloutier, J. R., DSouza, C. N. and Mracek, C. P., 1996, Nonlinear
Regulation and Nonlinear H