Map Updating Revisited for Navigation Map : A mathematical way to perform map updating for autonomous mobile robot | IEEE Conference Publication | IEEE Xplore