Andreas Rauh, Johanna Minisini, Eberhard P. Hofer. Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties. Applied Mathematics and Computer Science, 19(3):425-439, 2009. [doi]
Abstract is missing.