What's Decidable about Discrete Linear Dynamical Systems?

Abstract

We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, and outline a number of research directions