a computationally efficient method for large-scale ... computationally efficient method for...

8
A Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder Massachusetts Institute of Technology, Dept. of Ocean Engineering, Cambridge, MA 02139, U.S.A., [email protected] Massachusetts Institute of Technology, Dept. of Ocean Engineering, Cambridge, MA 02139, U.S.A., [email protected] Abstract Decoupled stochastic mapping (DSM) is a computation- ally efficient approach to large-scale concurrent mapping and localization. DSM reduces the computational burden of conventional stochastic mapping by dividing the environ- ment into multiple overlapping submap regions, each with its own stochastic map. Two new approximation techniques are utilized for transferring vehicle state information from one submap to another, yielding a constant-time algorithm whose memory requirements scale linearly with the size of the operating area. The performance of two different varia- tions of the algorithm is demonstrated through simulations of environments with 110 and 1200 features. Experimental re- sults are presented for an environment with 93 features using sonar data obtained in a 3 by 9 by 1 meter testing tank. 1. Introduction The objective of concurrent mapping and localization (CML) is to enable a mobile robot to build a map of an unknown environment while concurrently using that map to navigate. CML has been a central research topic in the field of mobile robotics due to its the- oretical challenges and critical importance for appli- cations [1, 2, 3]. Our approach is based on stochas- tic mapping (SM), a feature-based approach to CML first developed by Smith et al. [4] and Moutarlier and Chatila [5]. One of the key issues that has hampered previous work in feature-based CML is the map scal- ing problem [6]. The computational complexity of stochastic mapping is , where is the number of features in the environment [5]. This complexity arises from the need to represent an ever-growing num- ber of correlations between the vehicle and the features in the map as the size of the map increases. Previous research has demonstrated that simple strategies which ignore correlations will become overconfident and di- To appear in “Robotics Research: the Ninth International Sym- posium”, John Hollerbach and Dan Koditschek (Eds), Springer- Verlag, London, 2000. verge [7, 8]. In decoupled stochastic mapping (DSM), the envi- ronment is represented in terms of multiple globally- referenced submaps, each with its own vehicle track. Two new approximation methods, referred to as (1) cross-map vehicle relocation and (2) cross-map vehicle updating, are developed for transferring vehicle state estimate information from one submap to another as the vehicle transitions between map regions. These transition strategies are utilized to realize two vari- ations of the DSM algorithm, single-pass DSM and multi-pass DSM. Using single-pass DSM, the error bounds do not improve with time and they become larger for submap regions that are further from the origin. In contrast, the multi-pass DSM method can achieve spatial convergence across all submaps. 2. Stochastic Mapping We consider the scenario of an autonomous underwater vehicle (AUV) using forward-looking sonar to perform CML in an environment consisting of point-like fea- tures [9, 10]. In our implementation, the AUV senses features in the environment through range and bearing measurements. These measurements are used to create a map of the environment and concurrently to localize the vehicle. The complete full covariance algorithm, incorporating data association and track initiation, is referred to as augmented stochastic mapping (ASM) and is illustrated in Figure 1. More detail is provided in Feder et al. [10, 11]. The estimated locations of the robot and the fea- tures in the map are represented by a single state vector at each discrete time step , where and are the estimated robot and feature locations, respectively. Associated with this state vector is an estimated er- ror covariance, , which represents the errors in the robot and feature locations, and the cross-correlations 1

Upload: dangcong

Post on 26-May-2018

224 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

A Computationally Efficient Method for Large-Scale ConcurrentMapping and Localization

John J. Leonard�

and Hans Jacob S. Feder�

�Massachusetts Institute of Technology, Dept. of Ocean Engineering, Cambridge, MA 02139, U.S.A., [email protected]

Massachusetts Institute of Technology, Dept. of Ocean Engineering, Cambridge, MA 02139, U.S.A., [email protected]

Abstract

Decoupled stochastic mapping (DSM) is a computation-ally efficient approach to large-scale concurrent mappingand localization. DSM reduces the computational burdenof conventional stochastic mapping by dividing the environ-ment into multiple overlapping submap regions, each withits own stochastic map. Two new approximation techniquesare utilized for transferring vehicle state information fromone submap to another, yielding a constant-time algorithmwhose memory requirements scale linearly with the size ofthe operating area. The performance of two different varia-tions of the algorithm is demonstrated through simulations ofenvironments with 110 and 1200 features. Experimental re-sults are presented for an environment with 93 features usingsonar data obtained in a 3 by 9 by 1 meter testing tank.

1. Introduction

The objective of concurrent mapping and localization(CML) is to enable a mobile robot to build a map ofan unknown environment while concurrently using thatmap to navigate. CML has been a central researchtopic in the field of mobile robotics due to its the-oretical challenges and critical importance for appli-cations [1, 2, 3]. Our approach is based on stochas-tic mapping (SM), a feature-based approach to CMLfirst developed by Smith et al. [4] and Moutarlier andChatila [5]. One of the key issues that has hamperedprevious work in feature-based CML is the map scal-ing problem [6]. The computational complexity ofstochastic mapping is

����� �, where

�is the number

of features in the environment [5]. This complexityarises from the need to represent an ever-growing num-ber of correlations between the vehicle and the featuresin the map as the size of the map increases. Previousresearch has demonstrated that simple strategies whichignore correlations will become overconfident and di-

�To appear in “Robotics Research: the Ninth International Sym-

posium”, John Hollerbach and Dan Koditschek (Eds), Springer-Verlag, London, 2000.

verge [7, 8].

In decoupled stochastic mapping (DSM), the envi-ronment is represented in terms of multiple globally-referenced submaps, each with its own vehicle track.Two new approximation methods, referred to as (1)cross-map vehicle relocation and (2) cross-map vehicleupdating, are developed for transferring vehicle stateestimate information from one submap to another asthe vehicle transitions between map regions. Thesetransition strategies are utilized to realize two vari-ations of the DSM algorithm, single-pass DSM andmulti-pass DSM. Using single-pass DSM, the errorbounds do not improve with time and they becomelarger for submap regions that are further from theorigin. In contrast, the multi-pass DSM method canachieve spatial convergence across all submaps.

2. Stochastic Mapping

We consider the scenario of an autonomous underwatervehicle (AUV) using forward-looking sonar to performCML in an environment consisting of point-like fea-tures [9, 10]. In our implementation, the AUV sensesfeatures in the environment through range and bearingmeasurements. These measurements are used to createa map of the environment and concurrently to localizethe vehicle. The complete full covariance algorithm,incorporating data association and track initiation, isreferred to as augmented stochastic mapping (ASM)and is illustrated in Figure 1. More detail is providedin Feder et al. [10, 11].

The estimated locations of the robot and the fea-tures in the map are represented by a single state vector���� ������� ������ ����� ������ � �!�"�!� at each discrete time step � ,where

������ � �!� and��#�$� � �!�%�&� ��#'(� � �!�*)+),) ���-.� � �!�"�!� are

the estimated robot and feature locations, respectively.Associated with this state vector is an estimated er-ror covariance, / � � � , which represents the errors in therobot and feature locations, and the cross-correlations

1

Page 2: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

track deletiontrack initiation

dead reckoning

SM update

feature integration

state prediction

data association

feature deletion

sonar

controlinput

Figure 1: Augmented stochastic mapping (ASM) [11].

between these states:

/ � � � �� / � � � � � / � � � ���/ � � � � � / � � � � ��� ) (1)

We denote the vehicle’s state by � � � � � ��� ���� ���to represent the vehicle’s east position, north position,heading, and speed, respectively. The state of feature is represented by ��� � � � � � �!� � . The dynamic modelused in the algorithm simulates an AUV equipped withcontrol surfaces and a single aft thruster for propulsion,moving at a nominal forward speed of � )�� m/s. Thecontrol input � to the vehicle is given by a change inheading, � � , and speed, � � , of the vehicle to modelchanges in rudder angle and forward thrust, that is,� � � �*� � � � � � ��� . Thus, the dynamic model of theAUV, � � � , is given by

��� ����� ��� � � ��� � ��� � � � � � ����� � � � � � � � (2)

where � � � � � ��� � is a white, Gaussian random processindependent of ��� �(� .

The observation model � � � for the system is givenby

� � � � � � ��� ��� � �!��"#� (3)

where

� � � is the observation vector of range and bear-

ing measurements. The observation model, � � � , de-fines the (nonlinear) coordinate transformation fromstate to observation coordinates. The stochastic pro-cess � " , is assumed to be white, Gaussian, and inde-pendent of ��� � � and �$� , and has covariance % . Giventhese asumptions, an extended Kalman filter (EKF) isemployed to estimate the state

�� and covariance / .

3. Decoupled Stochastic Mapping

To overcome the� � �� �

complexity of the EKF, theDSM algorithm divides the environment into multipleglobally-referenced submap regions. Each submap hasits own vehicle position estimate, a set of feature es-

timates and a corresponding estimated covariance ma-trix. The state estimate of the vehicle and all the fea-tures of submap & at time � is represented by

��$' � � � .The covariance is represented by / ' � � � :

/ ' � � � � � / '� � � � � / '� � � � �/ ' � � � � � / ' � � � � �(� ) (4)

In the current implementation, the size and locationof each submap region is specified a priori based on anassumed density of features. Submap regions overlapslightly to prevent excessive map switching. If the ve-hicle travels into an area for which no submap exists, anew submap is created. If the vehicle travels into a pre-viously visited region, then the earliest created submapcontaining the current estimated vehicle location is re-trieved and either cross-map relocation or cross-mapupdating is performed.

To illustrate this process, suppose that the vehicleleaves submap & at time � and reenters submap ) . Let*

designate the most recent time step at which ) wasthe active submap. Cross-map relocation performs thefollowing steps:

+,.-0/ 1325476 +,98:;/ 132+, -< / =>2@?$ACB -D/ 132E4GF B 8:H: / 1323I B -:H: / =>2 B -: < / =J2B -< : / =>2 B -<J< / =>2 KMLThe vehicle state estimate in submap ) at time � is ob-tained by using the current vehicle state estimate fromsubmap & and the feature state estimate from submap) from time step

*. The current vehicle covariance

from submap & is added to the vehicle covariance forsubmap ) from time

*, and the vehicle-to-feature cor-

relation and feature covariance terms for submap ) areleft unchanged.

The goal of cross-map updating is to bring more ac-curate vehicle estimates from lower to higher maps, tofacilitate spatial convergence. It consists of two steps,(1) de-correlation (denoted by �ON ) and (2) EKF updat-ing (denoted by �QP ). First, the vehicle state estimatefor submap ) is randomized, the vehicle covariancefor submap ) is greatly inflated, and the feature co-variance for submap ) is doubled:

+, - / 1#RS2T4 6MU -, -< / 132 ? AVB - / 1#RW254 F B -:H: / =>2XIZY - B -: < / =>2B -< : / =J2 � B -<J< / =J2 K Awhere []\ designates a random value uniformly dis-tributed over the region defining submap ) and ^ \designates a covariance much larger than the size ofsubmap ) . Second, the vehicle state estimate fromsubmap & ,

���'� � � � , is used as a measurement

, with

Page 3: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

yes

doesmap Bexist?

stillin map

A?

create new map B

retrieve map B

cross-maprelocation

ASM

no

yes

no

define cor.features

Figure 2: Single-pass decoupled stochastic mapping algo-rithm. Cross-map vehicle relocation is used for all transitionsbetween submaps.

covariance / '� � � ��� , in an extended Kalman filter to up-date the vehicle position in submap ) . This can besummarized by the following equations:

� � B - / 1 R 2�������� B - / 1 R 2�����I B 8:H: / 132 R �+, - / 1��W2G4 +, - / 1 R 23I � � ���� +, - / 1 R 2B - / 1 � 2G4 ����� � �� B - / 1 R 2������ � �� � I � B 8:H: / 132 � � Awhere � is the � by

� � � ��� �matrix � ��� � . More

detail is provided in [12].

Single-pass DSM uses cross-map relocation for allsubmap transitions, and is summarized in Figure 2. Aconstant time algorithm is obtained, because no op-erations need to be performed on the state estimatesfor inactive submaps. However, once a submap is cre-ated, the initial error present in the map can never bereduced, and spatial convergence does not occur. Toslow the growth of spatial errors, a small number offeatures (called correspondence features) are includedfrom the previous submap when a new submap is ini-tialized [12].

Multi-pass DSM is summarized in Figure 3, anduses cross-map updating to transition from lower tohigher submaps, and cross-map relocation to transi-tion from higher to lower submaps. As the vehiclemakes repeated passes through the environment, theerror bounds of all submaps converge.

4. Comparison Between DSM and FullCovariance Stochastic Mapping

To compare each DSM method with the ASM full co-variance algorithm, simulations were performed for ascenario with 110 features randomly distributed overa 1 km by 1 km area, in the presence of clutter and

yes

doesmap Bexist?

stillin map

A?

create new map B

retrieve map B

is#(B)>#(A)

?

cross-mapupdate

cross-maprelocation

ASM

yesno

no

yes

no

Figure 3: Multi-pass decoupled stochastic mapping. Cross-map vehicle relocation is used when transitioning fromhigher to lower maps, and cross-map vehicle updating is usedwhen transitioning from lower to higher maps.

Table 1: Simulation parameters.sampling period, � �

sec.maximum sonar range 200 msonar coverage angle �! #"#$range measurement standard deviation 0.5 mbearing measurement standard deviation % $feature probability of detection 0.90vehicle cruise speed 2.5 m/sspeed process standard deviation 5% of &('heading process standard deviation 2.0 $dead reckoning speed standard deviation 0.4 m/sdead reckoning heading standard deviation 3.0 $initial position uncertainty std. dev. 0.7 minitial heading uncertainty std. dev. 5.0 $initial speed uncertainty std. dev. 0.2 m/sgate parameter ) 9clutter parameter * 1track initiation parameters + � % A-, �

dropouts. The desired path of the AUV and the truefeature locations are shown in Figure 4.

The top two plots of Figure 5 show the position er-rors of the vehicle versus time and the 3 . error boundsfor ASM. On the first pass through the environment,the uncertainty grows as the vehicle is furthest fromthe origin, and then decreases when the vehicle returnsclose to the origin. On subsequent traversals, the errorbounds are reduced.

For each of the two DSM algorithms, the survey areais partitioned into four submaps. Each submap boundsa 525 m by 525 m square region. Figure 4 showsthe location of the submaps as generated by the DSMalgorithm. The numbers signify the order in whichsubmaps were created.

The middle plots of Figure 5 show the position er-rors for single-pass DSM. As with the full covari-

Page 4: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

ance algorithm, the position uncertainty of the vehiclegrows as the distance from the starting point increases.Further, after the first pass through the survey path, theASM and the single-pass DSM results look very sim-ilar and achieve close to the same error bounds. Thecrucial difference between the methods is that ASMestimates the correlations between all features, whilesingle-pass DSM only estimates the correlations withinsubmaps. ASM is able to exploit all the correlationsand thus reduce the global error at all locations. Single-pass DSM is unable to reduce the global uncertaintyof submaps below the uncertainty upon creation of thesubmap. This can be seen from the “steps” in the northand east 3 . bounds after the completion of the firstpass through the survey area (that is, after the first 2hours of the mission).

The bottom plots of Figure 5 show the position er-rors of the vehicle versus time and the � . bounds forthe survey performed by multi-pass DSM. The multi-pass errors resemble the results for ASM more thanthe results from single-pass DSM. Clearly, the vehicledoes better after the first pass through the survey area(that is, after about 2 hours) than before. Thus, thealgorithm is capable of reducing the global error ev-erywhere and not only locally in the submaps, as forsingle-pass DSM. However, one can see that the errorbounds are a little more uneven than those of ASM,and reducing the uncertainties takes a little more time.

5. Large-Scale Simulation Results

Next, we will demonstrate results using single-passDSM and multi-pass DSM for surveying a large-scaleenvironment with 1200 features for a mission durationof over 100 hours, sampling at a rate of 1 Hz. Fig-ure 6 shows the desired path of the AUV through the3 km by 3 km survey area, the partition of the surveyarea into submaps, and true and estimated positions ofthe features in the survey area for the multi-pass DSMsimulation shown in Figure 8.

Figure 7 shows plots of the position errors of the ve-hicle versus time and the � . bounds when using single-pass DSM for the survey area of Figure 6. In this sim-ulation, the vehicle completed 11 laps of the surveypath. The position uncertainty of each submap growsas a function of submap number.

Figures 8 and 9 show the position errors of the ve-hicle versus time when using multi-pass DSM for twodifferent survey paths. In Figure 8, the vehicle followsthe survey path indicated in Figure 6, whereas in Fig-ure 9 the vehicle follows an alternating survey path thatrotates the path given in Figure 6 by 90 degrees after

Table 2: DSM experiment parameters.sampling period, � �

sec.maximum sonar range 250 cmsonar coverage angle �! #" $range measurement standard deviation 2 cmbearing measurement standard deviation %#$feature probability of detection 0.90vehicle cruise speed 10 cm/sspeed process standard deviation 5% of &��heading process standard deviation 2.0 $dead reckoning speed standard deviation 0.45 cm/sdead reckoning heading standard deviation 3.0 $initial position uncertainty std. dev. 0.7 cminitial heading uncertainty std. dev. 5.0 $initial speed uncertainty std. dev. 0.2 cm/sgate parameter ) 9clutter parameter * 1track initiation parameters + � % A-, �

each complete circuit of the environment.

The multi-pass DSM shows a considerable improve-ment over single-pass DSM in the long run as thesurvey area is revisited. However, during the firstpass through the survey area, the maximum uncertaintywhen using multi-pass DSM is more than 30% higherthan the result when using single-pass DSM. Single-pass DSM should be used when the survey area is tobe traversed only once and multi-pass DSM should beused if one anticipates multiple traversals of the envi-ronment.

The normalized squared state errors [13] for the ve-hicle state estimates are also shown in Figures 7, 8, and9. The normalized squared errors are reasonably well-behaved for the single-pass DSM run. However, Fig-ure 8 indicates when the same repetitive survey path isused with multi-pass DSM, the amount of normalizedsquared errors falling outside the 99% error bounds isunacceptably high. However, this situation improvestremendously when the vehicle follows an alternatingsurvey path, as illustrated by the mission shown in Fig-ure 9. When the vehicle is able to observe each featurefrom many different survey directions, the normalizederrors are very well-behaved.

6. Testing Tank Experiment

We now present a simple multi-pass DSM experimentfor further investigation of the approach. The parame-ters for the mission were chosen so as to simulate anAUV scaled down by a factor of 100. A 500 kHzmechanically scanned sonar was mounted on a roboticpositioning system and scanned over a � � ��� sector ateach sensing location. Each scan took approximately 2minutes.

Page 5: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

In the experiment, 93 fishing bobbers were used asfeatures and were randomly placed in the testing tankas shown by the crosses in Figure 10. The sonar re-turns from the tank walls were discarded by time gat-ing. The sonar trajectory was set to perform a lawn-mower path starting at the lower right corner of thetank and moving towards the left. The estimated resultfrom the DSM algorithm was compared to the true po-sition of the sonar as obtained from position encoderson the robotic positioning system. The entire missionlasted about 1250 time steps. The resulting positionestimate errors and the normalized squared state errorsfor the experiment are shown in Figure 11.

7. Conclusion

This paper has presented a new, computationally ef-ficient method for large-scale CML and demonstratedits performance through simulations and experiments.The single-pass and multi-pass DSM algorithms yieldperformance that is comparable to full covariancestochastic mapping, while maintaining constant com-putational requirements. Further work is necessaryto explore the limits of the approximations employedby the cross-map relocation and cross-map updatingsubmap transition strategies. For example, the normal-ized squared errors of multi-pass DSM are too largewhen a repetitive survey path is followed (Figure 8),but are quite good when an alternating survey path isfollowed (Figure 9). The results are encouraging, how-ever, because they demonstrate successful stochasticmapping on a scale an order of magnitude larger thanany results previously published.

Work in progress is investigating alternative submaptransition strategies, for example using covariance in-tersection [7]. Provably consistent error bounds can beachieved at the expense of a linear-time algorithm thatmaintains current vehicle-to-feature cross-correlationterms for all inactive submaps. Our current and fu-ture research aims to achieve a provably consistent,constant-time algorithm that can achieve spatial andtemporal convergence, without an undue increase indata association complexity.

Acknowledgments

This research has been funded in part by the NSFthrough grant BES-9733040, the MIT Sea GrantCollege Program under grant NA86RG0074 (projectRCM-3), the Naval Undersea Warfare Center undercontract N66604-99-M-7235, the Norwegian ResearchCouncil through grant 109338/410, and the Henry L.

and Grace Doherty Assistant Professorship in OceanUtilization. The authors wish to thank Robert Car-penter, Simon Julier, Jeff Uhlmann, Rick Rikoski, andSung Joon Kim for helpful discussions and comments.

References

[1] R. A Brooks. Aspects of mobile robot visual map mak-ing. In Second Int. Symp. Robotics Research, Tokyo,Japan, 1984. MIT Press.

[2] R. Chatila and J.P. Laumond. Position referencing andconsistent world modeling for mobile robots. In IEEEInternational Conference on Robotics and Automation.IEEE, 1985.

[3] M. W. M. G. Dissanayake, P. Newman, H. F. Durrant-Whyte, S. Clark, and M. Csorba. A solution to thesimultaneous localization and map building (SLAM)problem. In Sixth International Symposium on Experi-mental Robotics, March 1999.

[4] R. Smith, M. Self, and P. Cheeseman. A stochastic mapfor uncertain spatial relationships. In 4th InternationalSymposium on Robotics Research. MIT Press, 1987.

[5] P. Moutarlier and R. Chatila. Stochastic multisensorydata fusion for mobile robot location and environmentmodeling. In 5th Int. Symposium on Robotics Research,Tokyo, 1989.

[6] J. J. Leonard and H. F. Durrant-Whyte. Simultaneousmap building and localization for an autonomous mo-bile robot. In Proc. IEEE Int. Workshop on IntelligentRobots and Systems, pages 1442–1447, Osaka, Japan,1991.

[7] J. K. Uhlmann, S. J. Julier and M. Csorba. Nondiver-gent Simultaneous Map Building and Localisation us-ing Covariance Intersection. Navigation and ControlTechnologies for Unmanned Systems II, 1997.

[8] J. A. Castellanos, J. D. Tards, and G. Schmidt. Buildinga global map of the environment of a mobile robot: Theimportance of correlations. In Proc. IEEE Int. Conf.Robotics and Automation, pages 1053–1059, 1997.

[9] R. N. Carpenter. Concurrent mapping and localizationusing forward look sonar. In IEEE AUV, Cambridge,MA, August 1998.

[10] H. J. S. Feder, C. M. Smith, and J. J. Leonard. Incor-porating environmental measurements in navigation. InIEEE AUV, Cambridge, MA, August 1998.

[11] H. J. S. Feder, J. J. Leonard, and C. M. Smith. Adaptivemobile robot navigation and mapping. Int. J. RoboticsResearch, 18(7):650–668, July 1999.

[12] J. J. Leonard and H. J. S. Feder. Decoupled stochasticmapping. Marine Robotics Laboratory Technical Re-port 99-1, Massachusetts Institute of Technology, 1999.

[13] Y. Bar-Shalom and X. R. Li. Estimation and Tracking:Principles, Techniques, and Software. Artech House,1993.

Page 6: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

0 200 400 600 800 1000

0

200

400

600

800

1000

East (m)

Nor

th (

m)

0 200 400 600 800 10000

100

200

300

400

500

600

700

800

900

1000

East (m)

Nor

th (

m)

1 2

34

Figure 4: Top: the desired survey path of the vehicle andthe location of the 110 randomly distributed point features(crosses). The vehicle starts at (0,0) meters and follows thepath of the arrows. Bottom: the submap partition of the sur-vey area as generated by the two DSM algorithms.

0 2 4 6 8−8

−6

−4

−2

0

2

4

6

8

Time (hrs.)

Nor

th p

ositi

on e

rror

(m

) (3σ

)

0 2 4 6 8−8

−6

−4

−2

0

2

4

6

8

Time (hrs.)

Eas

t pos

ition

err

or (

m)

(3σ)

0 2 4 6 8−8

−6

−4

−2

0

2

4

6

8

Time (hrs.)

Nor

th p

ositi

on e

rror

(m

) (3σ

)

0 2 4 6 8−8

−6

−4

−2

0

2

4

6

8

Time (hrs.)

Eas

t pos

ition

err

or (

m)

(3σ)

0 2 4 6 8−8

−6

−4

−2

0

2

4

6

8

Time (hrs.)

Nor

th p

ositi

on e

rror

(m

) (3σ

)

0 2 4 6 8−8

−6

−4

−2

0

2

4

6

8

Time (hrs.)

Eas

t pos

ition

err

or (

m)

(3σ)

Figure 5: Errors and ��� bounds produced by full covarianceASM(top), single-pass DSM (middle), and multi-pass DSM(bottom) surveys of the region shown in Figure 4

0 1000 2000 30000

500

1000

1500

2000

2500

3000

East (m)

Nor

th (

m)

0 500 1000 1500 2000 2500 30000

500

1000

1500

2000

2500

3000

1 2 3 4 5 6

12 11 10 9 8 7

13 14 15 16 17 18

24 23 22 21 20 19

25 26 27 28 29 30

36 35 34 33 32 31

East (m)

Nor

th (

m)

0 500 1000 1500 2000 2500 3000

0

500

1000

1500

2000

2500

3000

East (m)

Nor

th (

m)

Figure 6: Top: The desired survey path of the vehicle in the3 km by 3 km survey area with 1200 features. Middle: Thepartition of the survey area into 36 submaps. Bottom: Thetrue feature positions (marked by ‘ � ’) and the estimated fea-ture positions (marked by ‘ � ’) and 3 � error ellipses for thelong duration multi-pass DSM run.

Page 7: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

0 20 40 60 80 100−20

−10

0

10

20

Time (hrs.)

Nor

th p

ositi

on e

rror

(m

) (3σ

)

0 20 40 60 80 100−20

−10

0

10

20

Time (hrs.)

Eas

t pos

ition

err

or (

m)

(3σ)

0 20 40 60 80 1000

10

20

30

40

50

60

Time (hrs.)

Nor

mal

ized

squ

ared

err

or f

or r

obot

pos

ition

Mean = 4.92% above 13.3 =1.41

Figure 7: Position errors, � � bounds (top and middle), andnormalized mean squared error (bottom) for a 36 submapsingle-pass DSM survey of the area given in Figure 6. Thehorizontal dashed line drawn at the value 13.3 in the bottomplot indicates the 99% error level [13].

0 20 40 60 80 100 120−20

−10

0

10

20

Time (hrs.)

Nor

th p

ositi

on e

rror

(m

) (3σ

)

0 20 40 60 80 100 120−20

−10

0

10

20

Time (hrs.)

Eas

t pos

ition

err

or (

m)

(3σ)

0 20 40 60 80 100 1200

10

20

30

40

50

60

Time (hrs.)

Nor

mal

ized

squ

ared

err

or f

or r

obot

pos

ition

Mean = 8.19% above 13.3 =18.63

Figure 8: Position errors, ��� bounds (top and middle), andnormalized mean squared error (bottom) for a 36 submapmulti-pass DSM survey of the area given in Figure 6. Thehorizontal dashed line drawn at the value 13.3 in the bottomplot indicates the 99% error level [13].

Page 8: A Computationally Efficient Method for Large-Scale ... Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization John J. Leonard and Hans Jacob S. Feder

20 40 60 80 100 120 140−20

−15

−10

−5

0

5

10

15

20

Time (hrs.)

Nor

th p

ositi

on e

rror

(m)

(3σ)

20 40 60 80 100 120 140

−15

−10

−5

0

5

10

15

Time (hrs.)

Eas

t pos

ition

err

or(m

) (3σ)

0 20 40 60 80 100 120 1400

5

10

15

Time (hrs.)

Nor

mal

ized

squ

ared

err

or

Figure 9: Position errors, � � bounds (top and middle), andnormalized mean squared error (bottom) for a 36 submapmulti-pass DSM survey of an environment with 1200 fea-tures with the same conditions as in Figure 8, except usingan alternating survey strategy that rotates the path given inFigure 6 by 90 degrees after each complete circuit of the en-vironment. The first two cycles through the environment re-sult in the following submap transition sequence: 1, 2, 3, ...,36, 25, 24, 13, 12, 1, 12, 13, 24, 25, 36, 35, 26, 23, 15, 11,2, 3, 10, 15, 22, 27, 34, 33, 32, 29, 20, 17, 8, 5, 6, 7, 18, 19,30, 31. By varying the submap transition sequence in thismanner, improved normalized squared errors are obtained.

−6 −4 −2 0 2

−2

−1

0

1

East (m)

Nor

th(m

)

−7 −6 −5 −4 −3 −2 −1 0 1 2

−2

−1

0

1

East (m)

Nor

th(m

)

−4 −2 0 2

−2

−1

0

1

East (m)

Nor

th (

m)

Figure 10: Top: Desired path and the location of 93 featuresfor the experiment. Middle: All sonar returns processed dur-ing the experiment, referenced to the true sensor location.(Returns originating from the tank walls were discarded.)Bottom: Actual path of the sensor and estimated feature lo-cations with 3 � error ellipses.

200 400 600 800 1000 1200

−0.06

−0.04

−0.02

0

0.02

0.04

0.06

Time (T)

Nor

th p

ositi

on e

rror

(m

) (3σ

) 1 2 1

200 400 600 800 1000 1200−0.1

−0.05

0

0.05

0.1

Time (T)

Eas

t pos

ition

err

or (

m)

(3σ) 1 2 1

0 200 400 600 800 1000 1200

2

4

6

8

10

12

14

16

Time (T)

Nor

mal

ized

squ

ared

err

or f

or r

obot

pos

ition

1 2 1

Mean = 3.17% above 13.3 =0.08

Figure 11: Position errors, ��� bounds (top) and normalizedmean squared error (bottom) for the robot position for multi-pass DSM experiment in the testing tank.