Reachability properties of constrained linear systems