A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix M ∈ℚ^d × d, an initial vector x∈ℚ^d, a granularity g∈ℚ_+ and a rounding operation [·] projecting a vector of ℚ^d onto another vector whose every entry is a multiple of g, we are interested in the behaviour of the orbit 𝒪=<[x], [M[x]],[M[M[x]]],...>, i.e., the trajectory of a linear dynamical system in whicharXiv:2009.13353v1 fatcat:xbogzzin65hsjhsxlnyw4ifgpa