Methods For Reachability-Based Hybrid Controller Design