Analytic methods for reachability problems