Professional Documents
Culture Documents
Camera Ready 34
Camera Ready 34
n
k
x e9 i s the pr i or i state esti mate at step k
gi ven knowl edge of the process pri or to step k.
-
k
P i s the covari ance matri x of the state-predi cti on
error.
A
k
i s the J acobi an of parti al deri vates of f to x.
W
k
i s the J acobi an of parti al deri vates of f to w.
Q
k- 1
i s the i nput- noi se covari ance matri x whi ch
depends on the standard devi ati ons of noi se of the
ri ght-wheel rotati onal speed and the l eft-wheel
rotati onal speed. They are model ed as bei ng
proporti onal to the rotati onal speed e
R , k
and e
L , k
of
these wheel s at step k. Thi s resul ts i n the vari ances
equal to
2
R
oe and
2
L
oe , where o i s a constant
determi ned by experi ments.
The i nput- noi se covari ance matri x Q
k
i s def i ned
as:
2
,
2
,
. 0
0 .
R k
k
L k
Q
o e
o e
(
= (
(
(6)
2. Correcti on step wi th measurement update
equati ons:
- - -1
( )
T T T
k k k k k k k k k
K P H H P H V R V = + (7)
- -
( - ( ,0))
k k k k k
x x K z h x = + (8)
-
( - )
k k k k
P I K H P = (9)
where
n
k
x e9 i s the post e ri ori state esti mate at step
k gi ven measurement
k
z .
K
k
i s the Kal man gai n.
V
k
i s the J acobi an of parti al deri vates of h to v.
H
k
i s the J acobi an of parti al deri vates of h to x.
R
k
i s the covari ance matri x of noi ses esti mated
from noi ses i n measurements of wheel -encoders,
compass sensor and LRF. The measures of these
sensors are col l ected i n the vector z
k
as f ol l ows:
By system equati on (1), the state parameters
(x
meas. odometr y
, y
meas. odometr y
and u
meas. odometr y
) are
recei ved i ndi rectl y by wheel -encoder's readi ng.
The robot ori entati on (u
meas.compass
) can be al so
determi ned di rectl y by an absol ute measure wi th
compass sensor.
The LRF gi ves the envi romental f eature's
measurements. I n thi s case that i s a strai ght l i ne
detected by L RF i n Fi g.5 (e.g. a wal l i n room). That
l i ne i s parameteri zed i n two parameters: the di stance
from the coordi nate ori gi n and the angl e wi th the
normal . At the f i rst scan of LRF, a gl obal map of
envi ronment i s constructed composed of a l i ne
segment descri bed by parameters of di stance and
angl e |. The l i ne equati on i n normal f orm i s:
x
G
cos | + y
G
si n | =
(10)
When the robot moves, a new scan of LRF i s
perf ormed and a new map of envi ronment, namel y
l ocal map, i s constructed whi ch al so consi sts of a
l i ne segment descri bed by the equati on:
x
R
cos
+ y
R
si n = r (11)
where
and r are the parameters of l i ne.
Fi gure 5. The l i ne parameters (, |) accordi ng to the
gl obal coordi nates, and the l i ne parameters (r, )
accordi ng to the robot coordi nates
Due to the state of the robot i s esti mated by
odometry, the parameters and | of the l i ne segment
i n the gl obal map can be transformed i nto the
esti mated parameters r and (accordi ng to the
coordi nates of the robot) whi ch wi l l be used i n
equati on:
cos( ) sin( )
r r
C x y | |
( / 2) ( 0.5 si ( ) 0.5)
r
C r
gn C | u t t
( (
=
( (
+ +
(12)
Combi ni ng wi th measures from odometry and
compass sensor, the l i ne parameters r and from
the l ocal map are col l ected i n the vector z
k
. We have
the z
k
matri x as f ol l ows:
k
x
y
z
r
u
u
| |
|
|
|
|
=
|
|
|
|
|
\ .
k, meas.odometry
k, maes.odometry
k, meas.odometry
k, meas.compass
k, meas.LRF
k, meas.LRF
(13)
and the covari ance matri x R
k
of measurement noi se
has the di agonal structure.
The noi se of wheel speed measures can be
determi ned by experi ment. The accuracy of compass
sensor and L RF measures can be recei ved f rom the
manuf acture techni cal speci f i cati on. These are
f i l l ed i n R
k
f or the correcti on step of EKF.
var( ) 0 0 0 0
0 var( ) 0 0 0
0 0 var( ) 0 0
0 0
L
R
k compass
R
e
e
u =
0 var( ) 0
0 0 0 0 var( )
LRF
LRF
r
(
(
(
(
(
(
(
(
(14)
4. Experi me nt s and eval uat i on
Experi ments are conducted to eval uate the
eff i ci ency of the f usi on al gori thm wi th EKF.
4. 1. Expe ri me nt al Set up
The robot i s a two wheel ed, di ff erenti al -dri ve
mobi l e robot. I ts wheel di ameter i s 10cm and the
di stance between two dri ve wheel s i s 60cm. The
dri ve motors are control l ed by mi croprocessor-based
el ectroni c ci rcui ts. Due to the cri ti cal requi rement
of accurate speed control duri ng one sampl i ng step,
the PI D al gori thm i s used for the stabi l i ty of motor
speed i s measured 5%.
The compass sensor has the accuracy of 0. 1
0
. The
LRF has the accuracy of 30mm i n di stance and 0. 25
0
i n def l ect angl e. The sampl i ng ti me At of the EKF i s
0. 01s.
The proporti onal factor o of the i nput- noi se
covari ance matri x Q
k
i s experi mental l y esti mated as
fol l ows. The devi ati ons between the true robot
posi ti on and the posi ti on esti mated by the ki nemati c
model when dri vi ng the robot strai ght f orwards
several ti mes (from the mi ni mum to the maxi mum
tangenti al speed of the robot) i s determi ned. The
devi ati ons between the true robot ori entati on and the
ori entati on esti mated by the ki nemati c model when
rotati ng the robot around i ts own axi s several ti mes
(from the mi ni mum to the maxi mum angul ar speed of
the robot) i s al so determi ned. Based on the error i n
posi ti on and ori entati on, the parameter o i s
cal cul ated. I n our system, the o i s esti mated to be the
val ue 0.01.
4. 2. Se ns or Fus i on Al gor i t hm Eval uat i on
I n order to eval uate the eff i ci ency of the f usi on
al gori thm, di ff erent conf i gurati ons of the EKF were
i mpl emented. Fi g.6 descri bes the traj ectori es of a
robot movement esti mated by four sensor f usi on
methods used EKF: the odometry method, f usi on
wi th compass sensor, f usi on wi th LRF, and f usi on
wi th the combi nati on of LRF and compass sensor.
The resul t shows that three traj ectori es, based on
f usi on method wi th EKF, tracked wel l the real
traj ectory.
Fi gure 6. Esti mated robot traj ectori es under
di f ferent EKF conf i gurati ons.
The devi ati ons i n X-di recti on i n f i g.7 shown the
i mprovement of posi ti oni ng usi ng EFK.
Fi gure 7. Devi ati ons i n X -di recti on i n cases.
I t i s concl uded that the EKF al gori thm i mproves
the robot l ocal i zati on and i ts combi nati on wi th L RF
and compass sensor gi ves the opti mal resul t.
5. FPGA- bas ed Ext ended Kal man Fi l t er
The posi ti oni ng system wi th EKF above can be
presented wi th i nputs and outputs as the fol l owi ng
bl ock scheme i n f i gure 8. The system programmed
wi th the l oop consi sts of the system model (pl ant)
and f i l ter. The f i l ter has i nput for measuri ng data
(rbot's state, envi ronmental features, etc...), i nput
for state esti mated data of the predi cti on step and
output f or the state esti mated data. Two i nput
parameters e
L
and e
R
are the setti ng wheel -speeds
for each sampl e ti me.
Fi gure 8. I nput and output of the EKF.
The VHDL code i s i mpl emented by Xi l i nx tool s i n
MATL AB. A desi gn fl ow based di rectl y on System
Generator wi th process as Kal man f i l ter i s compl ex.
Thats reason we used the Acc el DSP Synt hes i s Tool
enabl es System Generator to export System
Generator i ntel l ectual property (I P) based on
f l oati ng-poi nt MATAB model [6]. Fi rstl y, the
Kal man f i l ter al gori thm i s wri tten i n f l oati ng-poi nt
MATL AB M-f i l e to perf orm then these M-f i l es can be
l oaded i nto the Accel DSP tool and become the
source f or a desi gn f l ow that produces opti mi zed
i mpl ementati ons i n Xi l i nx FPGA. The desi gn f l ow
was carri ed out wi th steps si mul ati on and
veri f i cati on: the f l oati ng-poi nt model i s quanti zed to
match f i xed-poi nt model , fi xed-poi nt model i s
compi l ed and the generated code and the RTL
hardware descri pti on are deri ved. Fi nal l y, the
descri pti on i s mapped i nto a bi t stream on the
hardware of Xi l i nx chi p Vertext-4 xsv35. Fi gure 9
shows the resul t of RTL system generator of EKF.
Fi gure 9. Kal man Fi l ter exported to
System Generator.
Tabl e 5.1 shows the synthesi ze resul t of the f i l ter
i n I SE.10.1. The whol e EKF al gori thm has used 50%
of FPGA resources.
Tabl e 5.1. Resul t of RTL synthesi s of EKF.
FPGA- based Kal man f i l ter was si mul ated usi ng
Matl ab Si mul i nk envi ronment wi th the sampl e ti me
10 ms. The EKF archi tecture was synchroni zed usi ng
72.2 MHz cl ock si gnal so as the whol e EKF al gori thm
was pe r f or med onl y i n 19. 6 S whi c h i s mor e shor t er
than sampl i ng ti me of 10 ms. After perf ormi ng each
Kal man f i l ter cal cul ati on procedure, the FPGA
ci rcui t stopped the operati on and wai ted f or the next
i ncomi ng start si gnal produced by MATL AB. That
meas that ci rcui t can be used f or appl i cati ons
requi red the hi gher processi ng speed.
We tri ed to si mul ate traj ectori es wi thi n 1, 000
sampl e steps wi th two setti ng speeds of 1.8*pi (rad)
and 2*pi (rad) of the l eft-wheel and ri ght-wheel ,
respecti vel y. The resul t i n Fi g. 10 shows that the
x-di mensi on esti mated traj ectory wi th FPGA- based
EKF (the bl ue col or curve) tracked wel l to the true
traj ectory (the red col or curve) compari ng wi th the
measured traj ectory wi thout usi ng the FPGA- based
EKF (the green col or curve).
Fi gure 10. Traj ectori es of measured curve (green),
FPGA-based EKF curve (bl ue) and true curve (red).
6. Concl us i on
The desi gn and i mpl ementati on of the Extended
Kal man Fi l ter (EKF) f or posi ti oni ng esti mati on of
mobi l e robot was presented i n thi s paper. The EKF
has been desi gned to fuse i n probabi l i sti c the raw
data of sensors. Experi ments showed that thi s novel
combi nati on si gni f i cantl y i mproves the accuracy of
robot posi ti oni ng and i s suf f i ci ent to ensure the
success of robot navi gati on. Furthermore, the EKF
was i mpl emented i n a FPGA chi p i n order to i ncrease
the processi ng speed f or EFK whi ch requi red many
matri x cal cul ati ons. The resul ts showed that thi s
approach i s reasonabl e and can be used f or
appl i cati ons requi red a hi gher speed.
Thi s work has been supported by the proj ect of
Smart I ntegrated System (SI S) bel ong to the UET.
REFERENCE
[1] J . Borenstei n1, H. R. Everett2, and L . Feng3, "
Where am I ? Sensors and Methods f or Mobi l e Robot
Posi ti oni ng". The Uni versi ty of Mi chi gan, Edi ti on
1996.
[2] J ohann Borenstei n and L i qi ang Feng, Measurement
and Correcti on of Systemati c Odometry Errors i n
Mobi l e Robots. I EEE Tr a ns ac t i o n s on Robo t i c s and
Aut omat i on , Vol 12, No 5, October 1996.
[3] [ Onl i ne] http: / / www. hol ux. com
[4] Si ck AG., 2006-08- 01 Tel egrams f or Operati ng/
Conf i guri ng the L MS 2xx (Fi rmware Versi on
V2. 30/X1. 27), www. si ck. com , Germany, 2007.
[5] Greg Wel ch and Gary Bi shop, " An I ntroducti on to the
K al man Fi l ter". TR 95- 041 Uni versi ty of North
Carol i na, NC 27599- 3175. Updated: Monday, J ul y 24.
2006.
[6] Bai Xue, Wang Demi ng, and Li u Xi anxi ng, " A New
Desi gn Approach f or K al man Fi l ter System Based on
Model to Hardware". The 5th I nternati onal
Conf erence on Computer Sci ence & Educati on Hef ei ,
Chi na. August 2427, 2010.
[7] Xi l i nx, " Accel DSP Synthesi s T ool Us e r Gu i d e " .
UG634 (v11. 4) December 2, 2009
[8] T. T. Hoang, D. A. Vi et, T. Q. Vi nh, A 3D i mage
capture system usi ng a l aser range f i nder, I EI CE
Proceedi ng of the 2th i nternati onal conf erence on
I ntegrated Ci rcui t Desi gn I CDV, Vi etnam, October,
2011.