Automatic Synthesis of Robust Numerical Controllers