Reachability analysis for hybrid systems with nonlinear guard sets (Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control)