Simultaneous localization and map building: a global topological model with local metric maps | IEEE Conference Publication | IEEE Xplore