The Construction of Analytic Diffeomorphisms for Exact Robot Navigation on Star Worlds

Open Access

1 September 1991

journal article
Published by JSTOR in Transactions of the American Mathematical Society

Vol. 327 (1) , 71-116
https://doi.org/10.2307/2001835

Abstract

A Euclidean Sphere World is a compact connected submanifold of Euclidean -space whose boundary is the disjoint union of a finite number of dimensional Euclidean spheres. A Star World is a homeomorph of a Euclidean Sphere World, each of whose boundary components forms the boundary of a star shaped set. We construct a family of analytic diffeomorphisms from any analytic Star World to an appropriate Euclidean Sphere World "model." Since our construction is expressed in closed form using elementary algebraic operations, the family is effectively computable. The need for such a family of diffeomorphisms arises in the setting of robot navigation and control. We conclude by mentioning a topological classification problem whose resolution is critical to the eventual practicability of these results.

Keywords

This publication has 13 references indexed in Scilit:

Robot navigation functions on manifolds with boundary
Advances in Applied Mathematics, 1990
The Jordan-Brouwer Separation Theorem for Smooth Hypersurfaces
The American Mathematical Monthly, 1988
Geometry I
Published by Springer Nature ,1987
On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds
Advances in Applied Mathematics, 1983
Singular Homology Theory
Published by Springer Nature ,1980
Differential Topology
Published by Springer Nature ,1976
Lecture Notes on Elementary Topology and Geometry.
The American Mathematical Monthly, 1968
Topology from the Differentiable Viewpoint.
The American Mathematical Monthly, 1967
The Existence of Polar Non-Degenerate Functions on Differentiable Manifolds
Annals of Mathematics, 1960
General Topology. By John L. Kekley pp. xiv, 298. 60s. 1£ (Macmillan)
The Mathematical Gazette, 1957