Deciding stability and mortality of piecewise affine dynamical systems
Résumé
We show that several global properties (attractivity, global asymptotic stability and mortality) of discrete time dynamical systems defined by iteration of piecewise-affine maps are undecidable. Such results had been known only for local properties (e.g., point-to-point reachability). These three properties are undecidable in dimension at least two, but turn out to be decidable in one dimension for continuous maps. This gives a partial answer to a question of Sontag on the decidability of the stability of saturated linear dynamical systems.