Professional Documents
Culture Documents
APPROACH
Long-Life Show, Jyh-Ching Juang, Ying-Wen Jan, and Chen-Tzung Lin
ABSTRACT
The paper presents a quaternion feedback attitude control law for
spacecraft attitude maneuver. A nonlinear feedback controller is designed to
achieve L
2
gain performance, i.e., the resulting closed-loop system is de-
signed such that the L
2
gain from the exogenous disturbance to the perform-
ance measure is less than a scalar. The solution of the nonlinear H
control
problem is known to be related to the existence of a solution to the Hamil-
ton-Jacobi inequality. In the paper, a solution for spacecraft attitude control is
conjectured and shown to satisfy the H
CONTROL
THEORY
In this section, results in nonlinear H
control are
briefly reviewed. Consider a nonlinear system of the
form
( ) ( ) x f x g x d +
( ) z h x
where x R
n
is the state vector, d is the exogenous dis-
Brief Paper
Manuscript received April 19, 2002; accepted July 24, 2002.
Long-Life Show is with Department of Aviation & Commu-
nication Electronics Engineering, Air Force Institute of Tech-
nology, Gangshan, Taiwan.
Jyh-Ching Juang is with Department of Electrical Engineer-
ing, National Cheng Kung University, Tainan, Taiwan.
Ying-Wen Jan and Chen-Tzung Lin are with National Space
Program Office, Hsin-Chu, Taiwan.
L.-L. Show et al.: Quaternion Feedback Attitude Control Design: H
Approach 407
turbance, and z is the performance output signal. Assume
that f(x), g(x), and h(x) are smooth functions and x = 0 is
the equilibrium point of the system, i.e.; f(0) = 0 and h(0)
= 0. The nonlinear system is said to have an L
2
gain less
than if the following relationship holds
2
0 0
( ) ( ) ( ) ( )
T T
z t z t dt d t d t dt
<
(1)
for any input d L
2
[0, ). The L
2
gain characterizes the
relation between the disturbance input energy and per-
formance output energy. A small can be interpreted to
have a disturbance attenuation property. The following
lemma provides a test criterion for the disturbance at-
tenuation property [8-10].
Lemma 1. The nonlinear system has an L
2
gain less than
if there exists a C
1
function :
n
V
+
\ \ with V(0) =
0 such that
2
1
( ) ( ) ( )
2
1
( ) ( ) 0
2
T T
T
T
V V V
f x g x g x
x x x
h x h x
j \ j \ j \
+
, ( , ( , (
( , ( , ( ,
+ <
where
V
x
j \
, (
( ,
is the partial derivative of ( ) V x , or
1 2
T
n
V V V V
x x x x
, ] j \
, ] , (
( , ]
"
The analysis results can be extended for controller
synthesis. Consider the nonlinear control design problem
in which the system is described by
1 2
1
( ) ( ) ( )
( )
x f x g x d g x u
h x
z
u
+ +
, ]
, ]
]
(2)
where u is the control signal and is a weighting scalar
for the control signal. It is desired to synthesize a control
law, such that the resulting closed-loop system is as-
ymptotically stable and the L
2
gain from d to z is less
than . The following celebrated lemma [8] [9] provides
a nonlinear H
( ,( ,
1 1
1
( ) ( ) 0
2
T
h x h x + < (3)
Furthermore, when the system is zero-state detectable,
the closed-loop system is asymptotically stable and in-
deed a stabilizing feedback control can be constructed
2 2
1
( )
T
V
u g x
x
j \
, (
( ,
to satisfy the L
2
gain requirement.
It is clear that the construction of the Hamil-
ton-Jacobi function V(x) constitutes a crucial step in
control performance and control law synthesis.
III. SPACECRAFT DYNAMICS AND DESIGN
PROBLEM FORMULA
The equations of motion of the spacecraft are de-
scribed as follows [5,6,7]
[ ] J J u d + + (4)
[ ]
1 1
2 2
+ (5)
1
2
T
(6)
where J is the moment of inertia matrix, is the angular
velocity of the spacecraft, u is the control torque, d is the
environmental disturbance torque, [
T
]
T
constitutes
the quaternion of the spacecraft. Note that the dynamical
equation has two equilibria = 0, = 0, and = 1.
These two equilibria, however, correspond to the same
attitude as the quaternion is a redundant representation of
the attitude. Indeed, it is known that the quaternion satis-
fies
2
1
T
+
In the following, the notation [ ] is used to represent
the 3 3 skew symmetric matrix formed from the vector
. More precisely, let
1
2
3
, ]
, ]
, ]
, ]
]
, then
[ ]
3 2
3 1
2 1
0
0
0
, ]
, ]
, ]
, ]
]
Asian Journal of Control, Vol. 5, No. 3, September 2003 408
Let x
, ]
, ]
, ]
, ]
]
, the design problem is formulated as in (2)
in which
[ ]
[ ]
1
1 1
( )
2 2
1
2
T
J J
f x
, ]
, ]
, ]
+
, ]
, ]
, ]
, ]
]
,
1
1
( ) 0
0
J
g x
, ]
, ]
, ]
, ]
]
,
and
1
2
( ) 0
0
J
g x
, ]
, ]
, ]
, ]
]
The objective function z contains two parts: one pertain-
ing to the attitude control performance and the other is
the amount of control. That is,
1
( ) h x
z
u
, ]
, ]
]
The function h
1
(x) is assumed to be of the following
form
1
1
2
( ) h x
, ]
, ]
, ]
]
for some positive scalars
1
and
2
. Clearly, it is desired
to have h
1
(x) or z small so that three-axis attitude control
performance as characterized by the angular rate and
attitude error can be kept as small as possible. Also, the
control energy is accounted for in the problem formula-
tion.
In summary, given the system as described in (4),
(5), and (6), the objective of the control design is to find
a smooth control law for u such that the resulting
closed-loop system is stable and the L
2
gain from d to z
is bounded by a positive scalar ,
2
2
z
d
3.1 Candidate function
To this end, the candidate function is selected as
1 2 1 2
( ) 2( 2 ) 2(1 )( )
T T
V x a J b b J c c + + + +
(7)
for some positive constant a, b
1
, b
2
, c
1
, and c
2
. Note that
via the identity 2(1 ) =
T
+ (1 )
2
, the candidate
function can be rewritten as
( )
1 2
1 2 1 2
1 2
1
( 2 ) 0
( 2 ) ( ) 0
0 0 ( ) 1
T T
V x
aJ b b J
b b J c c I
c c
, ]
]
+ , ] , ]
, ] , ]
+ +
, ] , ]
, ] , ] +
] ]
where I denotes the identity matrix with appropriate di-
mension. The function V(x) is positive definite when a >
0 and
2
1 2 1 2
1
( ) ( 2 ) 0 c c I b b J
a
+ + > (8)
for all between 1 and 1.
The nonlinear H
, ]
+
, ]
, ] +
]
This then gives
[ ] ( )
( )
1 2 2
1 2
( ) ( 2 )( )
(2 1)
T
T T
T
V
f x b b I J b J
x
c c
j \
+ +
, (
( ,
+ +
In the above, the following equality is used
[ ] [ ]
T T
J J
It can then be shown that
1 1 2 2 2 2
1 1
1 2 2 1
2
2 2
1 2 1 2
2 2
1
( )
2
1 1
( ) ( ) ( ) ( )
1
( ) ( )
2
1
( 2 )( [ ])
2
1 1
2
1 1
(2 1) 4 ( 2 )
T T
V
T T
T
T T
T
V V
H f x
x x
V
g x g x g x g x
x
h x h x
b b I J b J
a I
c c a b b
j \ j \
+
, ( , (
( , ( ,
j \j \
, (, (
( , ( ,
+
j j
+ + +
, ,
( (
\ \ j \
+ ( ( , (
( (
( ,, ,
j j \
+ + + +
, (
( , (
\
, (
, (
,
L.-L. Show et al.: Quaternion Feedback Attitude Control Design: H
Approach 409
2
2 1 2
2 2
1 1 1
2( 2 )
2
T
I b b I
j \ j \
+ + +
, ( , (
, (
( , ( ,
Thus, by selecting c
1
and c
2
such that
1 2 1 2 2
1 1
4 0 c c ab
j \
+
, (
( ,
(9a)
and
2 2 2 2
1 1
2 4 0 c ab
j \
+
, (
( ,
(9b)
which implies that (8) as
2 2
1 2 2 1 2 2 2
1 1
2 (2 ) ( ) 0 a b b b I b b J
j \
+ + + >
, (
( ,
and the function H
V
becomes
1 2 2
2
1 2 2
2
2 1 2 2 2
( 2 )( [ ])
1 1 1
2
2
1 1 1
2( 2 )
2
T T
V
T
H b b I J b J
a I
I b b I
+ +
j \
j \
+ + , (
, (
, (
( ,
( ,
j \
+ + +
, (
( ,
Note that the matrix I + [ ] has a norm less than or
equal to 1. Thus,
( )
( )
1 2 2
1 2
1 2
( 2 )( [ ])
( 2 )( [ ])
( 2 )
T T
T
T
b b I J b J
b b I J
b b J
+ +
+ +
+
Substituting this inequality into H
V
, a sufficient condition
for the system to have an L
2
gain less than can then be
established.
2
1 2 1
2 2
1 1 1
( 2 ) 2
2
T
V
H b b J a
j \
j \
< + + + , ( , (
, (
( , ( ,
2
2 1 2
2 2
1 1 1
2( 2 )
2
T
I b b I
j \
+ + +
, (
( ,
Theorem 1. There exists a controller such that the L
2
gain from d to z is less than if there exist a, b
1
, and b
2
such that
2 2
1 2 2 1 2 2 2
1 1
2 (2 ) ( ) 0 a b b b I b b J
j \
+ + + >
, (
( ,
2
1 1 2
2 2
1 1 1
2 2 0
2
a b J b J
j \
+ + + <
, (
( ,
2
2 1 2 2 2
1 1 1
2( ) 0
2
b b
j \
+ + <
, (
( ,
for all between 1 and 1. Furthermore, the control is
1 2
2
2
( ) u a b b
+ + (10)
The tests in the above theorem involve the quater-
nion variable . By applying the worst case analysis,
another sufficient condition can be obtained.
Corollary 1. A sufficient condition for the existence of
the H
, ]
, ]
, ]
, ]
]
and
0.6842
(0) 0.6963
(0) 0.1517
0.1544
, ]
, ]
, ]
, ]
, ]
, ]
]
, ]
]
.
Figure 2 shows the quaternion response of the controller
design. In the figure, the proposed design approach is
compared with the approach suggested in [5]. Figures 3
and 4 further depict the spacecraft rate response and
control input response. It is clear that the proposed ap-
proach achieves a faster response with a less amount of
control activity. Simulations of other initial conditions
have also been performed with similar performance.
V. CONCLUSION
In this paper, a nonlinear H
controller is designed
to achieve global stability and disturbance attenuation
for spacecraft under large-angle maneuvers. A solution
to the Hamilton-Jacobi inequality is identified and, ac-
Fig. 2. Spacecraft quaternion response.
Fig. 3. Spacecraft rate response.
Fig. 4. Spacecraft control input response.
cordingly, nonlinear H
Approach 411
the attitude control of the ROCSAT-3 satellite. Simula-
tion results verify the feasibility of the proposed method.
VI. ACKNOWLEDGEMENT
This work was supported by the National Science
Council, Taiwan, R.O.C., under grant NSC 89-NSPO(B)-
RS3-FA09-01.
REFERENCES
1. Cavallo, A. and G. De Maria, Attitude Control for
Large Angle Maneuvers, IEEE Workshop Variable
Struct. Syst., VSS96, Tokyo, Japan, pp. 232-237
(1996).
2. Singh, S. N., Nonlinear Adaptive Attitude Control
of Spacecraft, IEEE Trans. Aerosp. Electron. Syst.,
Vol. 23, No. 3, pp. 371-379 (1987).
3. Joshi, S. M., A. G. Kelkar, and J. T. Y. Wen, Robust
Attitude Stabilization of Spacecraft Using Nonlinear
Quaternion Feedback, IEEE Trans. Automat. Contr.,
Vol. 40, No. 10, pp. 1800-1803 (1995).
4. Wei B. and P. M. Barba, Quaternion Feedback for
Spacecraft Large Angle Maneuvers, J. Guid. Contr.
Dynam., Vol. 8, No. 3, pp. 360-365 (1985).
5. Dalsmo M. and O. Egeland, State Feedback
H
Flight
Control of General Six Degree-of-Freedom Mo-
tions, J. Guid. Contr. Dynam., Vol. 23, No. 2, pp.
278-288 (2000).
8. Isidori, A. Dissipation Inequalities in Nonlinear
H
Con-
trol, IEEE Trans. Automat. Contr., Vol. 37, No. 6,
pp. 770-784 (1992).