Linear dynamical systems with continuous weight functions
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_ | 1866916646048759808 |
|---|---|
| author | Aghamov, Rajab Baier, Christel Karimov, Toghrul Ouaknine, Joël Piribauer, Jakob |
| author_facet | Aghamov, Rajab Baier, Christel Karimov, Toghrul Ouaknine, Joël Piribauer, Jakob |
| contents | In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to model quantitative aspects, such as resource consumption, of a system modelled by an LDS. This paper addresses the problems of how to compute the mean payoff, the total accumulated weight, and the discounted accumulated weight of the orbit under continuous weight functions as well as polynomial weight functions as a special case. Additionally, weight functions that are definable in an o-minimal extension of the theory of the reals with exponentiation, which can be shown to be piecewise continuous, are considered. In particular, good ergodic properties of o-minimal weight functions, instrumental to the computation of the mean payoff, are established. Besides general LDSs, the special cases of stochastic LDSs and LDSs with bounded orbits are addressed. Finally, the problem of deciding whether an energy constraint is satisfied by the weighted orbit, i.e., whether the accumulated weight never drops below a given bound, is analysed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_06512 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Linear dynamical systems with continuous weight functions Aghamov, Rajab Baier, Christel Karimov, Toghrul Ouaknine, Joël Piribauer, Jakob Dynamical Systems In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to model quantitative aspects, such as resource consumption, of a system modelled by an LDS. This paper addresses the problems of how to compute the mean payoff, the total accumulated weight, and the discounted accumulated weight of the orbit under continuous weight functions as well as polynomial weight functions as a special case. Additionally, weight functions that are definable in an o-minimal extension of the theory of the reals with exponentiation, which can be shown to be piecewise continuous, are considered. In particular, good ergodic properties of o-minimal weight functions, instrumental to the computation of the mean payoff, are established. Besides general LDSs, the special cases of stochastic LDSs and LDSs with bounded orbits are addressed. Finally, the problem of deciding whether an energy constraint is satisfied by the weighted orbit, i.e., whether the accumulated weight never drops below a given bound, is analysed. |
| title | Linear dynamical systems with continuous weight functions |
| topic | Dynamical Systems |
| url | https://arxiv.org/abs/2405.06512 |