Controller synthesis for hybrid systems with lower bounds on event separation