Context-Dependent Reachability Analysis for Hybrid Systems