Controller synthesis for hybrid systems with lower bounds on event separation | IEEE Conference Publication | IEEE Xplore