Robot cartography: a topology-driven discretization for redundant manipulators | IEEE Conference Publication | IEEE Xplore