Linear dynamical systems with continuous weight functions
International Conference on Hybrid Systems: Computation and Control(2024)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要