Distributions and controllability problems (I)
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913389270269952 |
|---|---|
| author | Giannotti, Cristina Spiro, Andrea Zoppello, Marta |
| author_facet | Giannotti, Cristina Spiro, Andrea Zoppello, Marta |
| contents | We consider a non-linear real analytic control system of first order $\dot q^i = f^i(t, q, w)$, with controls $w = (w^α)$ in a connected open set $\mathcal{K} \subset \mathbb{R}^m$ and configurations $q = (q^i)$ in $\mathcal{Q} := \mathbb{R}^n$. The set of points in the extended space-time $\mathcal{M} = \mathbb{R} \times \mathcal{Q} \times \mathcal{K}$, which can be reached from a triple $x_o = (t_o , q_o, w_o) \in \mathcal{M}$ through a continuous graph completion $γ(s) = \big(t(s), q(t(s)), w(t(s))\big)$ of the graph of a solution $t \to (q(t), w(t))$, $t \in [t_o ,t_o + T]$, with piecewise real analytic controls, is called the {\it $\mathcal{M}$-attainable set of $x_o$ in time $T$}. We prove that if $y_o$ is an $\mathcal{M}$-attainable point of $x_o$, a large set of other nearby $\mathcal{M}$-attainable points of $x_o$ can be determined starting directly from $y_o$ and applying an appropriate ordered composition of flows of vector fields in a distinguished distribution $\mathcal{D}^{II} \subset T \mathcal{M}$, canonically associated with the control system. We then determine sufficient conditions for such neighbouring points to constitute an orbit of the pseudogroup of local diffeomorphisms generated by the vector fields in $\mathcal{D}^{II}$. If such conditions are satisfied and if the tangent spaces of these orbits have maximal rank projections onto $\mathcal{Q}$, the control system is locally accessible and has the small time local controllability property near the state points of equilibrium. These results lead to new proofs of classical local controllability criterions and yield new methods to establish the accessibility and the small time local controllability of non-linear control systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_07555 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Distributions and controllability problems (I) Giannotti, Cristina Spiro, Andrea Zoppello, Marta Optimization and Control Differential Geometry 93B03, 93B05, 34H05 We consider a non-linear real analytic control system of first order $\dot q^i = f^i(t, q, w)$, with controls $w = (w^α)$ in a connected open set $\mathcal{K} \subset \mathbb{R}^m$ and configurations $q = (q^i)$ in $\mathcal{Q} := \mathbb{R}^n$. The set of points in the extended space-time $\mathcal{M} = \mathbb{R} \times \mathcal{Q} \times \mathcal{K}$, which can be reached from a triple $x_o = (t_o , q_o, w_o) \in \mathcal{M}$ through a continuous graph completion $γ(s) = \big(t(s), q(t(s)), w(t(s))\big)$ of the graph of a solution $t \to (q(t), w(t))$, $t \in [t_o ,t_o + T]$, with piecewise real analytic controls, is called the {\it $\mathcal{M}$-attainable set of $x_o$ in time $T$}. We prove that if $y_o$ is an $\mathcal{M}$-attainable point of $x_o$, a large set of other nearby $\mathcal{M}$-attainable points of $x_o$ can be determined starting directly from $y_o$ and applying an appropriate ordered composition of flows of vector fields in a distinguished distribution $\mathcal{D}^{II} \subset T \mathcal{M}$, canonically associated with the control system. We then determine sufficient conditions for such neighbouring points to constitute an orbit of the pseudogroup of local diffeomorphisms generated by the vector fields in $\mathcal{D}^{II}$. If such conditions are satisfied and if the tangent spaces of these orbits have maximal rank projections onto $\mathcal{Q}$, the control system is locally accessible and has the small time local controllability property near the state points of equilibrium. These results lead to new proofs of classical local controllability criterions and yield new methods to establish the accessibility and the small time local controllability of non-linear control systems. |
| title | Distributions and controllability problems (I) |
| topic | Optimization and Control Differential Geometry 93B03, 93B05, 34H05 |
| url | https://arxiv.org/abs/2401.07555 |