42 citations · 161 across the 23 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CC2020★ 1 cited
Reachability in Dynamical Systems with Rounding
Christel Baier, Florian Funke, Simon Jantsch +6
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…
math.OC2020
On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems
Mohan Dantam, Amaury Pouly
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable con…