SMS dit: Reachability problems for linear dynamical systems