English

Control in the spaces of ensembles of points

Optimization and Control 2019-07-08 v2 Classical Analysis and ODEs

Abstract

We study the controlled dynamics of the {\it ensembles of points} of a Riemannian manifold MM. Parameterized ensemble of points of MM is the image of a continuous map γ:ΘM\gamma:\Theta \to M, where Θ\Theta is a compact set of parameters. The dynamics of ensembles is defined by the action γ(θ)Pt(γ(θ))\gamma(\theta) \mapsto P_t(\gamma(\theta)) of the semigroup of diffeomorphisms Pt:MM, tRP_t:M \to M, \ t \in \mathbb{R}, generated by the controlled equation x˙=f(x,u(t))\dot{x}=f(x,u(t)) on MM. Therefore any control system on MM defines a control system on (generally infinite-dimensional) space EΘ(M)\mathcal{E}_\Theta(M) of the ensembles of points. We wish to establish criteria of controllability for such control systems. As in our previous work ([1]) we seek to adapt the Lie-algebraic approach of geometric control theory to the infinite-dimensional setting. We study the case of finite ensembles and prove genericity of exact controllability property for them. We also find sufficient approximate controllability criterion for continual ensembles and prove a result on motion planning in the space of flows on MM. We discuss the relation of the obtained controllability criteria to various versions of Rashevsky-Chow theorem for finite- and infinite-dimensional manifolds.

Keywords

Cite

@article{arxiv.1907.00905,
  title  = {Control in the spaces of ensembles of points},
  author = {Andrei Agrachev and Andrey Sarychev},
  journal= {arXiv preprint arXiv:1907.00905},
  year   = {2019}
}

Comments

24 pages