THE CONSTRUCTION OF ANALYTIC DIFFEOMORPHISMS FOR EXACT ROBOT NAVIGATION ON STAR WORLDS

被引：93

作者：

RIMON, E ^{[1
]}

KODITSCHEK, DE ^{[1
]}

机构：

[1] YALE UNIV,CTR SYST SCI,DEPT ELECT ENGN,NEW HAVEN,CT 06520

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1991年 / 327卷 / 01期

关键词：

D O I：

10.2307/2001835

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

A Euclidean Sphere World is a compact connected submanifold of Euclidean n-space whose boundary is the disjoint union of a finite number of (n - 1) 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.

引用

页码：71 / 116

页数：46

共 24 条

[11]

KODITSCHEK DE, 1988, 8803 YAL U CTR SYST

[12]

KODITSCHEK DE, 1987, ENCY ARTIFICIAL INTE, P902

[13]

LIMA EL, 1988, AM MATH MONTHLY, V71, P39

[14]

MASSEY WS, 1972, INTRO ALGEBRAIC TOPO

[15]

Milnor J., 1965, TOPOLOGY DIFFERENTIA

[16] THE EXISTENCE OF POLAR NON-DEGENERATE FUNCTIONS ON DIFFERENTIABLE MANIFOLDS [J].

MORSE, M .

ANNALS OF MATHEMATICS, 1960, 71 (02) :352-383

[17]

PAVLOV VV, 1984, SOVIET AUTOMAT CONTR, V17

[18]

RIMON E, 1988, 8809 YAL U CTR SYST

[19]

SCHWARTZ JT, 1983, ADV APPL MATH, V4, P298

[20]

SINGER IM, 1976, LECTURE NOTES ELEMEN

← 1 2 3 →