Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914368611942400 |
|---|---|
| author | Bachmann, Patrick Mironchenko, Andrii |
| author_facet | Bachmann, Patrick Mironchenko, Andrii |
| contents | We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respect to trajectory-dominated inputs. We show that this condition is satisfied by many semi-linear evolution equations.
For ordinary differential equations, as a consequence of our results, we obtain a converse Lyapunov theorem for forward completeness, without a priori restrictions on the magnitude of inputs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_04190 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems Bachmann, Patrick Mironchenko, Andrii Optimization and Control Systems and Control Dynamical Systems We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respect to trajectory-dominated inputs. We show that this condition is satisfied by many semi-linear evolution equations. For ordinary differential equations, as a consequence of our results, we obtain a converse Lyapunov theorem for forward completeness, without a priori restrictions on the magnitude of inputs. |
| title | Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems |
| topic | Optimization and Control Systems and Control Dynamical Systems |
| url | https://arxiv.org/abs/2603.04190 |