论文标题
对载流的向载体领域导轨的拓扑分析
Topological Analysis of Vector-Field Guided Path Following on Manifolds
论文作者
论文摘要
路径跟随控制算法使系统的轨迹在其指导下的轨迹沿给定的几何所需路径融合并演变。存在各种此类算法,但是其中许多只能保证局部融合到其附近所需的道路。相反,使用精心设计的引导矢量场的控制算法可以确保轨迹几乎全局地收敛到所需的路径。在这里,“几乎”是指在某些情况下,一组零轨迹集合到奇异集中,其中矢量场变为零(所有其他轨迹都会收敛到所需的路径)。在本文中,我们首先将指导矢量场从欧几里得空间概括为一般光滑的riemannian歧管。这种概括可以处理一些抽象配置空间(例如机器人臂关节空间)中的路径跟踪。然后,我们从拓扑角度展示了几个理论结果。具体而言,我们的动机是,观察到指导矢量场的奇异点存在于许多示例中,其中所需的路径对单位圆而言是同型的,但是尚不清楚奇异点的存在是否始终存在(即,所需路径的拓扑是固有的)。在$ n $维的欧几里得空间中,我们提供了一个肯定的答案,并得出结论,不可能确保全球融合到与单位圈同构的所需路径。此外,我们表明始终存在\ emph {非路径控制轨迹}(即,不融合到所需路径的轨迹从一个球的边界开始,该球的边界在$ n $ diblemensional euclidean Space中包含所需路径的边界中,$ n \ ge 3 $。提供了示例以说明理论结果。
A path-following control algorithm enables a system's trajectories under its guidance to converge to and evolve along a given geometric desired path. There exist various such algorithms, but many of them can only guarantee local convergence to the desired path in its neighborhood. In contrast, the control algorithms using a well-designed guiding vector field can ensure almost global convergence of trajectories to the desired path; here, "almost" means that in some cases, a measure-zero set of trajectories converge to the singular set where the vector field becomes zero (with all other trajectories converging to the desired path). In this paper, we first generalize the guiding vector field from the Euclidean space to a general smooth Riemannian manifold. This generalization can deal with path-following in some abstract configuration space (such as robot arm joint space). Then we show several theoretical results from a topological viewpoint. Specifically, we are motivated by the observation that singular points of the guiding vector field exist in many examples where the desired path is homeomorphic to the unit circle, but it is unknown whether the existence of singular points always holds in general (i.e., is inherent in the topology of the desired path). In the $n$-dimensional Euclidean space, we provide an affirmative answer, and conclude that it is not possible to guarantee global convergence to desired paths that are homeomorphic to the unit circle. Furthermore, we show that there always exist \emph{non-path-converging trajectories} (i.e., trajectories that do not converge to the desired path) starting from the boundary of a ball containing the desired path in an $n$-dimensional Euclidean space where $n \ge 3$. Examples are provided to illustrate the theoretical results.