We plan to develop constructive methods and tools for the (semi)automatic synthesis of hybrid controllers. In the continuous case, optimal control laws may be derived as solutions of the Hamilton-Jacobi-Bellman equation, while discrete controllers can be synthesized by solving games on finite automata. Both methods can be seen as special cases of a generic game-theoretic approach to safety control (see http://robotics.eecs.berkeley.edu/~clairet/hs98.html). This insight can likely be extended to more general hybrid control objectives. In order to enable the simulation and implementation of the resulting controller, special emphasis must be put on constructivity.