The construction of analytic diffeomorphisms for exact robot navigation on star worlds | IEEE Conference Publication | IEEE Xplore