Systematic algorithms for characterizing the robustness of predictive controllers