Reachability problems for systems with linear dynamics