Controller synthesis for hybrid systems with a lower bound on event separation.