Convergence analysis for extended Kalman filter based SLAM | IEEE Conference Publication | IEEE Xplore