RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная молодежная конференция «Геометрия и управление»
15 апреля 2014 г. 13:10, г. Москва, МИАН
 


Nilpotent Sub-Riemannian Problem on the Engel Group

Andrey Ardentov

PSI RAS, Pereslavl-Zalessky, Russia
Видеозаписи:
Flash Video 195.1 Mb
Flash Video 1,168.6 Mb
MP4 195.1 Mb
Материалы:
Adobe PDF 6.6 Mb
Adobe PDF 79.7 Kb

Количество просмотров:
Эта страница:160
Видеофайлы:56
Материалы:57

Andrey Ardentov


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: The following sub-Riemannian problem is considered:
\begin{eqnarray*} &&\dot{q} = u_1 X_1 + u_2 X_2, \quad q = (x,y,z,v)^T \in M=\mathbf{R}^4, \quad (u_1, u_2) \in \mathbf{R}^2,
&&X_1 = (1, 0, - \frac{y}{2}, 0)^T, \quad X_2 = (0, 1, \frac{x}{2}, \frac {x^2+y^2}{2} )^T,
&&q(0) = q_0 = (0,0,0,0)^T, \quad q(t_1) = q_1,
&&l = \int_0^{t_1} \sqrt{u_1^2 + u_2^2}   dt \to \min. \end{eqnarray*}

It arises as a nilpotent approximation to nonholonomic systems in four-dimensional space with two-dimensional control, for instance for the system describing motion of a mobile robot with a trailer on a plane.
Vector fields at the controls $X_1$, $X_2$ generate four-dimensional nilpotent Lie algebra called the Engel algebra [1]. $X_1$, $X_2$, $X_3=[X_1,X_2]$, $X_4=[X_1,X_3]$ are basis left invariant fields on the Engel group $M$ [2]. The system is completely controllable by Rashevskii–Chow theorem [3]. Existence of optimal solutions is implied by Filippov theorem.
Pontryagin's maximum principle has been applied. Projections of abnormal extremals on the plane XY are straight lines. Family of all normal extremals is parametrized by the phase cylinder of pendulum
$$C=T_{q_0}^*M\cap\{H=1/2\}=\{\lambda = (\theta, c, \alpha)  |  \theta \in S^1; c, \alpha \in \mathbf{R}\},$$
where $H$ is the Hamiltonian function.
Adjoint subsystem of the Hamiltonian system is reduced to the equation of pendulum:
$$\ddot \theta = -\alpha \sin \theta, \qquad \alpha = \operatorname{const}.$$

The cylinder $C$ has the stratification by value of the energy integral. Every subset of the cylinder corresponds to the particular type of trajectories of the pendulum. Hamiltonian system has been integrated in every case [4], thus exponential mapping is defined as:
$$\operatorname{Exp}\nolimits: N \rightarrow M, \qquad N= C\times \mathbf{R}_+.$$

Discrete symmetries of exponential mapping have been considered in order to find the first Maxwell time which gives upper bound for the cut time (i. e., the time of loss of global optimality) along extremal trajectories:
$$t_{\operatorname{cut}} (\lambda) \leq t_{\operatorname{MAX}^1} (\lambda).$$

Moreover, the first conjugate time (i. e., the time of loss of local optimality) along the trajectories has been investigated [5]. The function that gives the upper bound of the cut time provides the lower bound of the first conjugate time:
$$t_{\operatorname{MAX}^1} (\lambda) \leq t_{\operatorname{conj}^1} (\lambda).$$

So the first Maxwell time defines the decomposition of the preimage and the image of the exponential mapping into corresponding subdomains. Hadamard theorem about global diffeomorphism has been applied to prove that restriction of the exponential mapping for these subdomains is a diffeomorphism. Finally the following theorem has been proved.
$ $
Theorem. For any $\lambda \in C$
$$t_{\operatorname{cut}} (\lambda) = t_{\operatorname{MAX}^1} (\lambda)$$

On the basis of the results obtained, a software for numerical computation of a global solution to the sub-Riemannian problem on the Engel group has been developed.

Материалы: slides.pdf (6.6 Mb), abstract.pdf (79.7 Kb)

Язык доклада: английский

Список литературы
  1. R. Montgomery, A tour of subriemannian geometries, their geodesics and applications. Mathematical Surveys and Monographs, vol. 91, American Mathematical Society, Providence, RI, 2002.
  2. Yu.L. Sachkov, Controlability and symmetries of invariant systems on Lie groups and homogeneous spaces, in Russian. Fizmatlit Publishers, 2007.
  3. A.A. Agrachev, Yu.L. Sachkov, Control Theory from the Geometric Viewpoint. Springer, 2004.
  4. Yu.L. Sachkov, A.A. Ardentov, Extremal trajectories in a nilpotent sub-Riemannian problem on the Engel group. Sbornik: Mathematics. 2011. 202, 11. 31–54.  mathscinet
  5. Yu.L. Sachkov, A.A. Ardentov, Conjugate points in nilpotent sub-Riemannian problem on the Engel group. Journal of Mathematical Sciences. 2013. 195, 3. 369–390  mathscinet


ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017