@inproceedings{10.1145_3641513.3650173,
    author = {Aghamov, Rajab and Baier, Christel and Karimov, Toghrul and Ouaknine, Joel and Piribauer, Jakob},
    title = {Linear dynamical systems with continuous weight functions},
    year = {2024},
    isbn = {9798400705229},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3641513.3650173},
    doi = {10.1145/3641513.3650173},
    abstract = {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 to compute the mean payoff, the total accumulated weight, and the discounted accumulated weight of the orbit under continuous weight functions and polynomial weight functions as a special case. Besides general LDSs, the special cases of stochastic LDSs and of LDSs with bounded orbits are considered. Furthermore, 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.},
    booktitle = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control},
    articleno = {22},
    numpages = {11},
    keywords = {discounted reward, linear dynamical systems, mean payoff, total reward},
    location = {<conf-loc>, <city>Hong Kong SAR</city>, <country>China</country>, </conf-loc>},
    series = {HSCC '24},
    date-added = {2024-5-8 10:58:1 +0100}
}

@inproceedings{10.1145_3641513.3650173, author = {Aghamov, Rajab and Baier, Christel and Karimov, Toghrul and Ouaknine, Joel and Piribauer, Jakob}, title = {Linear dynamical systems with continuous weight functions}, year = {2024}, isbn = {9798400705229}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3641513.3650173}, doi = {10.1145/3641513.3650173}, abstract = {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 to compute the mean payoff, the total accumulated weight, and the discounted accumulated weight of the orbit under continuous weight functions and polynomial weight functions as a special case. Besides general LDSs, the special cases of stochastic LDSs and of LDSs with bounded orbits are considered. Furthermore, 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.}, booktitle = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control}, articleno = {22}, numpages = {11}, keywords = {discounted reward, linear dynamical systems, mean payoff, total reward}, location = {, Hong Kong SAR, China, }, series = {HSCC '24}, date-added = {2024-5-8 10:58:1 +0100} }