Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions