Set-Valued Koopman Theory for Control Systems
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908536097734656 |
|---|---|
| author | Bonnet-Weill, Benoît Korda, Milan |
| author_facet | Bonnet-Weill, Benoît Korda, Milan |
| contents | In this paper, we introduce a new notion of Koopman operator which faithfully encodes the dynamics of controlled systems by leveraging the tools of set-valued analysis. In this context, we propose generalisations of the Liouville and Perron-Frobenius operators, and show that they respectively coincide with proper set-valued analogues of the infinitesimal generator and dual operator of the Koopman semigroup. We also give meaning to the spectra of these set-valued maps and prove an adapted version of the classical spectral mapping theorem relating the eigenvalues of a semigroup with those of its generator. Our approach provides theoretical justifications for existing practical methods in the Koopman community that study control systems by bundling together the Koopman and Liouville operators associated with different control inputs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_11569 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Set-Valued Koopman Theory for Control Systems Bonnet-Weill, Benoît Korda, Milan Optimization and Control Koopman Operators, Control Systems, Differential Inclusions, Set-Valued Analysis In this paper, we introduce a new notion of Koopman operator which faithfully encodes the dynamics of controlled systems by leveraging the tools of set-valued analysis. In this context, we propose generalisations of the Liouville and Perron-Frobenius operators, and show that they respectively coincide with proper set-valued analogues of the infinitesimal generator and dual operator of the Koopman semigroup. We also give meaning to the spectra of these set-valued maps and prove an adapted version of the classical spectral mapping theorem relating the eigenvalues of a semigroup with those of its generator. Our approach provides theoretical justifications for existing practical methods in the Koopman community that study control systems by bundling together the Koopman and Liouville operators associated with different control inputs. |
| title | Set-Valued Koopman Theory for Control Systems |
| topic | Optimization and Control Koopman Operators, Control Systems, Differential Inclusions, Set-Valued Analysis |
| url | https://arxiv.org/abs/2401.11569 |