The stability of saturated linear dynamical systems is undecidable (Q5943100)

This paper is devoted to the study of the following problem: given a discrete-time dynamical system of the form \(x_{t+1}= f(x_t)\), where \(f:\mathbb{R}^n\to \mathbb{R}^n\) is a saturated linear function or, more generally, a continuous piecewise affine function, decide whether all trajectories converge to the origin. The authors prove that the global asymptotic stability of a saturated linear system is not decidable.