Professional Documents
Culture Documents
Paper 5 40
Paper 5 40
Paper 5 40
Sung-Han Cha,
Dep. Eng., ANU, ACT,
0200, Australia
u3951656@anu.edu.au
Tarek Hamel,
I3S-CNRS, Nice-Sophia
Antipolis, France
thamel@i3s.unice.fr
Abstract
Introduction
2.1
Problem definition
System Dynamics
33
Let R = A
be a rotational matrix denoting
BR R
the attitude of a body-fixed frame {B} relative to
the inertial frame {A}. Let = B R3 denote the
angular velocity of the body-fixed frame expressed in
the body-fixed frame {B}. The rigid-body dynamics
of a system are given by
R = R
= I +
I
Kinematics
(1)
Dynamics,
(2)
0
3 2
0
1 .
= 3
2 1
0
The notation vex denotes the reverse operation.
Thus, vex( ) = and A = vex(A) for A = AT .
Let q = (s, v) denote a unit quaternion (with s the
scalar and v the vector component) corresponding to
2
the rotation matrix R = I3 + 2sv + 2v
and let
p() = (0, ) denote the pure (or velocity) quaternion. The rigid-body dynamics in the quaternion representation are
1
q p()
2
= I +
I
q =
Kinematics
(3)
Dynamics.
(4)
v =
2.2
(5)
(6)
Measurements
where A m is the magnetic field relative to the inertial frame, d represents a bias term due to extraneous magnetic fields, and denotes a (Gaussian) noise
term. The vectorial measurement used is
vm =
(7)
ay = R (g0 e3 v)
,
|vm | = 1,
(11)
where denotes the true value, denotes a (Gaussian) measurement noise process and b := b(t) denotes a slowly time-varying (up to 0.05 rad/s at 0.1
Hz and lower frequencies) non-stochastic bias. The
bias is typically due to a mixture of temperature effects and vibration of the IMU unit that influences
the characteristics of the MEMS chip used.
Three-axis accelerometers provide measurements
of the inertial acceleration of the IMU. The measurement is characterised by
T
|B m|
(8)
where g0 9.8ms
is the gravitational constant,
e3 = (0, 0, 1), v is the acceleration of the body-fixed
frame with respect to the the inertial frame and
denotes (Gaussian) measurement noise. For the systems considered, there is no sufficiently good model
of the system dynamics available to distinguish the
body-fixed frame acceleration v from the gravitational component. However, for the quasi-stationary
flight conditions considered for VTOL mAV systems
it is reasonable to assume that the low frequency content of v is zero. We assume that there is a cutoff
frequency (typically around 0.1 to 1 Hz) below which
the measured acceleration ay g0 RT e3 is a
reasonable approximation of the gravitational force.
The information used in the filter algorithm is
ay
va =
,
|va | = 1,
(9)
|ay |
In this section, we present a measurement based nonlinear attitude estimation algorithm and a non-linear
control algorithm for attitude control of a VTOL
mAV. The main result is a coupled control Lyapunov
function formulation that provides (almost) global
stability of the coupled estimation/control system.
3.1
Estimation error
Let vi R3 , i = 1, . . . , n, denote n directional measurements. For a typical low-cost IMU the measurements are v1 = va (Eq. 9) and v2 = vm (Eq. 11), or in
the case vm is unreliable, just v1 may be used. Alternatively, directional measurements can be obtained
from other sensor systems such as vision systems.
For example, the direction of the sun or a normal to
a horizon plane can be measured by suitable vision
where va {A} is a vector direction measurement. systems and used for navigation and stabilisation of
The estimator design is based on the assumption that the platform. As such we have chosen to use generic
va is a reasonable low frequency approximation of the notation {vi } for the directional measurements, although the following development is discussed in the
inertial z-axis in the body-fixed frame.
The magnetometers measure the inertial magnetic context of measurements obtained from an IMU.
Let v0i , i = 1, . . . , n, denote the inertial directions
field expressed in the body-fixed frame {B}
of the measurements. That is, v01 = v0a = e3 is the
B
m = RT A m + d + ,
(10) inertial z-axis by assumption, while v02 = v0m is the
3
n
X
i=1
n
X
i=1
n
X
n
X
ki (
vi viT vi viT )
i=1
ki cos(vi , vi )
ki viT vi
n
X
ki (R
0i
0i
i=1
PR
T = 2Pa (RP
)
= RP
T
T v0i
RR
ki v0i
i=1
n
X
i=1
3.3
= R
T R is the total estimation error on
where R
SO(3) and
!
n
X
T
T
ki v0i v0i R.
(13)
P =R
Let (Rd (t), d (t)) denote the desired attitude trajectory and let {D} denote the desired frame of reference
associated with Rd . We assume d {D} is specified
in the desired frame of reference such that we have
desired kinematics
i=1
3.2
R d = Rd d .
= RdT R.
R
(16)
of the true
Note that we use the filtered estimate R
attitude R to define the control error. This ensures
can be computed and used in
that the error term R
the control design. The controller is not, however, a
certainty equivalence controller, as we will provide a
full coupled stability analysis. Recalling Eq. 1 along
yields
with Eqns 15 and 16 the derivative of R
= R(
y b + ) d R.
(14b)
(17)
where is given by Eq. 14b. The error term associated with the system dynamics is defined to be
i=1
b = k o ,
I
(15)
Estimation algorithm
= R(
y b + kPo ) ,
R
n
X
=
ki vi vi ,
Control error
(14c)
in the paradigm of back-stepping control design. In Equating Eqns 20 and 21, and solving for one obpractice, the true angular velocity is not measured tains
and an estimate y b is used
=I d + (d I) kPv Pa (R)I
kIo
d
v
y b + kP vex(Pa (R)),
(19)
+ d .
kPv Ivex(Pa (R))
(22)
When b has converged and provides a good estimate
Applying the input transformation (22) transforms
of the gyrometer bias this ensures a reasonable (if
the dynamics of (2) into the system
noisy) estimate of . During the initial transient the
dynamics of b should be compensated in the control
= R
d R
R
Error kinematics
(23a)
I
+
Error
dynamics,
(23b)
d
sate for the dynamics of b in the feed-forward control
transformation to ensure that the modelled error dy- where d denotes the torque input to the error dynamics are accurate (Eq. 22). However, we use the namics.
true value of in the control analysis without considering the transient evolution of b. We use the ap3.4 Control design
proximate value of in the control implementation.
Since the signal error occurs in the control input, it Based on the formulation of the error dynamics (23a
acts as a load disturbance and will be suppressed by and 23b) it is straightforward to apply standard nonfeedback control.
linear passivity based control design technics (Wen
The approach taken is to apply a control input & Kreutz-Delgado, 1991; Tayebi & McGilvray, 2004;
transformation that contains the feed-forward terms Tayebi & McGilvray, 2006; Cha, 2006,). The control
required to track the trajectory (Rd (t), d (t)) as well input chosen is
as compensating for non-linear transient terms due to
c
d := kD
kPc vex(Pa (R)),
(24)
mismatch of the filtered trajectory to the desired trajectory. The control transformation leads to error dyc
where kPc > 0 and kD
> 0 are proportional and
namics that have the classical passivity properties of
derivative control gains for the control. The rerigid-body motion. The control transformation does
cent work of Tayebi et al.(Tayebi & McGilvray, 2004;
not try to stabilise the non-linear system itself. It
Tayebi & McGilvray, 2006) showed that the resulting
is a feed-forward term that ensures the subsequent
closed-loop system (assuming state measurements)
stabilisation problem can be tackled as a non-linear
was almost globally asymptotically and locally exregulation problem.
ponentially stable. Note that Tayebis results were
Define a non-linear control input transformation
derived in the quaternion formulation. An SO(3) formulation is provided in (Cha, 2006,).
:= (, d , R, Rd , d )
in terms of a new control input d . The actual input
is chosen to impose the natural mechanical structure
on the error dynamics
3.5
I = I + kIo + I(
tems converges to the given limit. That is, the set of
(20)
1
y d b + )
V = T d kPc tr R(
2
1
1
tr RP ( y + b ) + o bT (b)
2
kI
i=1
1
+ b d b + k v vex(Pa (R)))
V =T d kPc tr R(
P
2
+ R
1 tr(RP
(b + b ) )
kPv vex(Pa (R))
2
1
o tr(bTb )
2kI
b = k o + k o k c vex(Pa (R))
I
I P
and control input
= RdT R
R
c
c
where {kPo , kIo , kPv , kPc , kD
} are positive gains chosen
v
c o
such that 2kP > kP kP . Assume that there are two or
more (n 2) directional measurements vi available.
Assume that (t) is persistently exciting. The closed- where h, i is the vector inner product. Substituting
loop system is almost globally asymptotically stable to
)+
))|2
V = I+ kP tr(I3 R)+
kI tr(RP
|b| ,
kPo |vex(Pa (RP
2
2
2kIo
i=1
vex(Pa (RP
))i. (26)
+ kPc kPo hvex(Pa (R)),
(25)
where b = b b. Differentiating V, one obtains:
By completing the square, exploiting the cross term
vex(Pa (RP
))i one can show that
1 c
1 T
hvex(Pa (R)),
T
V = I kP tr(R) tr(RP + RP ) + o b b.
2
kI
kc kv
c
2
V = kD
||2 P P |vex(Pa (R))|
2
Substituting for b = b, (20), one obtains
kPc kPo
o
T
))|2
kP 1
|vex(Pa (RP
V = ( I + d )
v
2k
P
1
s
!2
y b + ) d R
kPc tr R(
c
k
1 p c v
2
o
P
)) .
kP
kP kP vex(Pa (R))
vex(Pa (RP
1
2
kPv
(y b + ) RP
) + 1 bT (b b).
tr(RP
2
kIo
(27)
Quaternion-based
tion
formula-
kPv I(s v + sv ) + d ,
c
d = kD
q kPc sv
q = (y b) d + kPv sv
1
q = q p(y b + )
2
n
!
X
= vex
ki vi vi
i=1
b = k o q + k o k c sv
I
I P
c
where {kPo , kIo , kPv , kPc , kD
} are positive gains chosen
v
c
o
The statement of Lemma 3.1 requires two mea- such that 2kP > kP kP . Assume that there are two or
sured directions v1 and v2 . The filter and control more (n 2) directional measurements vi available.
can easily be implemented with only a single direc- Assume that (t) is persistently exciting. The closedtional measurement (Hamel & Mahony, 2006). The loop system is almost globally asymptotically stable to
authors believe that the reduced system with a single q (1, 0, 0, 0), q (1, 0, 0, 0), b 0 and q 0.
measurement v1 will converge (for almost all initial
conditions) to a limit point such that v1 = v1 and
In practice, the above dual estimator/control equa(Rd )T e3 = RT e3 . Furthermore, we believe that for tions can be implemented using simple Euler forward
a persistently exciting desired trajectory then all er- iteration and re-projection (re-normalisation) onto
ror variables would converge to zero, even in the case the set of unit quaternions. The computational adof a single directional measurement. These claims vantage over expressing the estimator/control equahave not been proved and are beyond the scope of tions in their matrix form and re-projecting onto the
the present paper, however, simulation studies sup- rotation group is considerable.
Simulations
rad/sec
A set of two experiments were undertaken to demonstrate the performance of the proposed filter algorithm. All implementations of the system were undertaken for the quaternion formulation.
0
0.5
1
10
15
20
time (seconds)
0.5
rad/sec
1.2
Attitude (quaternion)
0
0.5
0.8
1
0.4
10
15
20
0.2
0.2
time (seconds)
0.6
10
15
20
time (seconds)
gain
kPo
kIo
kPv
kPc
c
kD
value
8
20
40
0.02
2
Attitude (quaternion)
0.5
0.5
0
0.5
10
15
20
time (seconds)
0.5
rad/sec
rad/sec
1.5
0
0.5
1
10
15
20
10
15
20
time (seconds)
time (seconds)
Figure 4: The simulated attitude and angular velocity using only the acceleration directional measurements
texes ingested into the rotor inflow. A second experiment was undertaken with the same initial attitude, of mini aerial vehicles.
however, only one directional measurement (gravitational direction), was used and noise was added
to the control input. The additive noise model was References
based on the identified thrust noise model derived
by Pounds et al.(Pounds & Mahony, 2005). Figure B. Wie, H. Weiss, & Arapostathis, A. 1989. Quaternion feedback regulator for spacecraft eigenaxis
4 shows the attitude and angular velocity outputs
rotation. AIAA J. Guidance Control, 12(3),
from the simulated rigid body dynamics. Note that
375380.
the attitude response is qualitatively similar to that
obtained in the first experiment. Only practical staBachmann, E. R., Marins, J. L., Zyda, M. J., Mcghee,
bility is obtained due to the actuator noise.
R. B., & Yun, X. 2001 (Dec. 23). An Extended
Kalman Filter for Quaternion-Based Orientation
Estimation Using MARG Sensors. In: Pro6 Conclusions
ceedings. 2001 IEEE/RSJ International ConferThis paper proposes a coupled non-linear attitude esence on Intelligent Robots and Systems (IROS
timation and control design for the attitude stabilisa2001). http://www.npsnet.org/zyda/pubs/
tion of low-cost aerial robotic vehicles. The dual conIROS2001.pdf
trol is formulated to fully respect the geometric structure of the rotation group and is presented with a full Bryson, M., & Sukkarieh, S. 2004. Vehicle model
control Lyapunov function analysis. A version of the
aided inertial navigation for a UAV using lowcontrol design is presented in terms of the quaternion
cost sensors.
In: Proceedings of the Ausformulation for ease of implementation on microprotralasian Conference on Robotics and Automacessors with limited computing resources. Simulation.
Australian Robotics and Automation
tions demonstrate that the control scheme functions
Association, http://www.araa.asn.au/acra/
effectively and could be used for attitude stabilisation
acra2004/index.html (visited 7 March 2005)
9
Cha, Sung-Han. 2006, (September). Coupled Non- Roberts, J., Corke, P., & Buskey, G. 2002. Lowlinear State Estimation and Control for Low-cost
cost flight control system for a small auAerial Robotic Vehicles. Honours thesis, Detonomous helicopter. In: Proceedings of the Auspartment of Engineering,, Faculty of Engineertralasian Conference on Robotics and Automaing and Information Technology, Australian Nation, ACRA02.
tional University, ACT, 0200.
Salcudean, S. 1991. A globally convergent angular
Fjellstad, O-E., & I.Fossen, T. 1994. Comments on
velocity observer for rigid body motion. IEEE
the attitude control problem. IEEE Transactions
Transactions on Automatic Control, 46, no 12,
on Automatic Control, 39(3), 699700.
14931497.
Hamel, T., & Mahony, R. 2006 (April). Attitude es- Tayebi, A., & McGilvray, S. 2004 (14-17 Decemtimation on SO(3) based on direct inertial meaber). Attitude stabilization of a four-rotor aerial
surements. Pages of: International Conferrobot. In: 43rd IEEE conference on Decision
ence on Robotics and Automation, ICRA2006.
and Control.
Institue of Electrical and Electronic Engineers,
Tayebi, A., & McGilvray, S. 2006. Attitude stabilizaOrlando Fl., USA.
tion of a VTOL quadrotor aircraft. IEEE TransJun, M., Roumeliotis, S., & Sukhatme, G. 1999. State
actions on Control Systems Technology, 14(3),
Estimation of an Autonomous Helicopter using
562571.
Kalman Filtering. In: Proc. 1999 IEEE/RSJ
International Conference on Robots and Systems Thienel, J., & Sanner, R. M. 2003. A coupled nonlinear spacecraft attitude controller and observer
(IROS 99).
with an unknow constant gyro bias and gyro
Khalil, H. K. 1996. Nonlinear Systems. second edn.
noise. IEEE Transactions on Automatic ConNew Jersey, U.S.A.: Prentice Hall.
trol, 48(11), 2011 2015.
Mahony, R., Hamel, T., & Pflimlin, Jean-Michel. Vik, B, & Fossen, T. 2001. A nonlinear observer for
2005 (December). Complimentary filter design
GPS and INS integration. In: Proceedings of the
on the special orthogonal group SO(3). In: Pro40th IEEE Conference on Decision and Control.
ceedings of the IEEE Conference on Decision
and Control, CDC05. Institue of Electrical and Wen, J. T-Y., & Kreutz-Delgado, K. 1991. The attitude control problem. IEEE Transactions on
Electronic Engineers, Seville, Spain.
Automatic Control, 36(10), 11481162.
Office of Secretary of Defence. 2005 (August).
Unmanned Aircraft Systems (UAS) Roadmap,
2005-2030. Department of Defence, United
States of America. http://www.fas.org/irp/
program/collect/uav roadmap2005.pdf, visited September 2006.
Pounds, P., & Mahony, R. 2005 (December). Smallscale aeroelastic rotor simulation, design and
fabrication. In: Proceedings of the Australasian
Conference on Robotics and Automation.
Rehbinder, Henrik, & Hu, Xiaoming. 2004. Drift-free
attitude estimation for accelerated rigid bodies.
Automatica, 4(4), Pages 653659.
10