14
SEIF, EnKF, EKF SLAM Pieter Abbeel UC Berkeley EECS

SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

SEIF,EnKF,EKFSLAM

PieterAbbeelUCBerkeleyEECS

TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAAAAA

Page 2: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

n  Fromananaly6calpointofview==Kalmanfilter

n  Difference:keeptrackoftheinversecovarianceratherthanthecovariancematrix[maFerofsomelinearalgebramanipula6onstogetintothisform]

n  Whyinteres6ng?

n  Inversecovariancematrix=0iseasiertoworkwiththancovariancematrix=infinity(caseofcompleteuncertainty)

n  InversecovariancematrixisoPensparserthanthecovariancematrix---forthe“insiders”:inversecovariancematrixentry(i,j)=0ifxiiscondi6onallyindependentofxjgivensomeset{xk,xl,…}

n  Downside:whenextendedtonon-linearseZng,needtosolvealinearsystemtofindthemean(aroundwhichonecanthenlinearize)

n  SeeProbabilis6cRobo6cspp.78-79formorein-depthpros/consandProbabilis6cRobo6csChapter12foritsrelevancetoSLAM(thenoPenreferredtoasthe“sparseextendedinforma6onfilter(SEIF)”)

Informa6onFilter

Page 3: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

n  KalmanfilterexactunderlinearGaussianassump6ons

n  Extensiontonon-linearseZng:

n  ExtendedKalmanfilter

n  UnscentedKalmanfilter

n  ExtensiontoextremelylargescaleseZngs:

n  EnsembleKalmanfilter

n  SparseInforma6onfilter

n  Mainlimita6on:restrictedtounimodal/Gaussianlookingdistribu6ons

n  Canalleviatebyrunningmul6pleXKFs+keepingtrackofthelikelihood;butthisiss6lllimitedintermsofrepresenta6onalpowerunlessweallowaverylargenumberofthem

KFSummary

Page 4: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

EKF/UKFSLAM

n  State:(nR,eR,θR,nA,eA,nB,eB,nC,eC,nD,eD,nE,eE,nF,eF,nG,eG,nH,eH)

n  Nowmap=loca6onoflandmarks(vs.gridmaps)

n  Transi6onmodel:

n  Robotmo6onmodel;Landmarksstayinplace

B E

FC

H

AG

D

R

Page 5: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

SimultaneousLocaliza6onandMapping(SLAM)

n  Inprac6ce:robotisnotawareofalllandmarksfromthebeginning

n  Moreover:nouseinkeepingtrackoflandmarkstherobothasnotreceivedanymeasurementsabout

àIncrementallygrowthestatewhennewlandmarksgetencountered.

Page 6: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

n  Landmarkmeasurementmodel:robotmeasures[xk;yk],theposi6onoflandmarkkexpressedincoordinateframeaFachedtotherobot:n  h(nR,eR,θR,nk,ek)=[xk;yk]=R(θ)([nk;ek]-[nR;

eR])

n  OPenalsosomeodometrymeasurementsn  E.g.,wheelencoders

SimultaneousLocaliza6onandMapping(SLAM)

Page 7: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

VictoriaParkDataSetVehicle

[courtesy by E. Nebot]

Page 8: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

DataAcquisi6on

[courtesy by E. Nebot]

Page 9: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

VictoriaParkDataSet

[courtesy by E. Nebot]

Page 10: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

Es6matedTrajectory

[courtesy by E. Nebot]

Page 11: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

EKFSLAMApplica6on

[courtesy by J. Leonard]

Page 12: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

12

EKFSLAMApplica6on

odometry estimated trajectory

[courtesy by John Leonard]

Page 13: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

Landmark-basedLocaliza6on

Page 14: SEIF, EnKF, EKF SLAM - People @ EECS at UC Berkeley · 2015-12-01 · EKF-SLAM: prac6cal challenges n Defining landmarks n Laser range finder: Dis6nct geometric features (e.g. use

EKF-SLAM:prac6calchallengesn  Defininglandmarks

n  Laserrangefinder:Dis6nctgeometricfeatures(e.g.useRANSACtofindlines,thenusecornersasfeatures)

n  Camera:“interestpointdetectors”,textures,color,…

n  OPenneedtotrackmul6plehypotheses

n  Dataassocia6on/Correspondenceproblem:whenseeingfeaturesthatcons6tutealandmark---Whichlandmarkisit?

n  Closingtheloopproblem:howtoknowyouareclosingaloop?

à  Cansplitoffmul6pleEKFswheneverthereisambiguity;

à  KeeptrackofthelikelihoodscoreofeachEKFanddiscardtheoneswithlowlikelihoodscore

n  Computa6onalcomplexitywithlargenumbersoflandmarks.