We show that the discrete-time pseudo-reachability problem is decidable for diagonalisable linear dynamical systems. To do this we develop a new approach based on $o$-minimality of real numbers augmented with real exponentiation.

翻译：我们显示,离散时间伪可达性问题对于可对等线性动态系统来说是可以分辨的。 为了做到这一点,我们开发了一种新的方法,其基础是实际数字的美元-最低值,并辅之以真正的速率。