Admissibility of trajectories for control systems related by smooth mappings (Q1411649): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00498-003-0133-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2093587511 / rank | |||
Normal rank |
Latest revision as of 00:53, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Admissibility of trajectories for control systems related by smooth mappings |
scientific article |
Statements
Admissibility of trajectories for control systems related by smooth mappings (English)
0 references
29 October 2003
0 references
The author seeks conditions guaranteeing that a given differential space transformation maps every trajectory of one control system into an admissible trajectory of another control system. Let two control systems \[ \dot{x}= f(x,u),\quad \dot{y} = g(y,v) \] be defined on two differential manifolds \(M\) and \(N\) and let \(\Phi: M\to N\) be a \(C^1\) mapping. The systems are called \(\Phi\)-related if for every \(x\in M\) \[ \{ d\Phi_x f(x,\omega),\;\omega\in\Omega\}\subseteq \{g(\Phi(x),\theta),\;\theta\in\Theta\} \] Here \(\Omega\) and \(\Theta\) are separable metric spaces where the respective control functions take on their values. A mapping \(\xi:\,Y\to Z\), where \(Y\) and \(Z\) are topological spaces, compactly covers compact subsets of its image if for every compact set \(K\subseteq\xi(Y)\) there exists a compact set \(C\subseteq Y\) such that \(K\subseteq \xi(C)\). It is obtained that if the mapping \[ \xi(x,\theta) = (x,g(\Phi(x),\theta)): M\times \Theta\to M\times TN \] compactly covers compact subsets of its image and systems \(f\) and \(g\) are \(\Phi\)-related, then the mapping \(\Phi\) maps trajectories of system \(f\) into trajectories of system \(g\). In this result, admissible controls for both systems are essentially compact-valued on compact intervals functions such that the systems satisfy \(C^1\)-Carathéodory condition. With an additional assumption of local compactness of the spaces \(\Omega\) and \(\Theta\), the above-mentioned result is strengthened. Namely, it is obtained that for a given transformation \(\Phi\) there exists a Borel-measurable transformation \(\nu: M\times\Omega\to\Theta\) such that \(\Phi\) maps trajectories of system \(f\) to trajectories of system \(g\), whose controls can be obtained using transformation \(\nu\).
0 references
nonlinear control system
0 references
related control systems
0 references
system equivalence
0 references
phase space transformation
0 references