We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that closed-loop fulfills an arbitrary Linear Temporal Logic specification. Moreover, specification may take into account logical context switches induced by external environ...