Synthesis of Robust Controllers