%0 Journal Article %A Rauh, A. %A Minisini, J. %A Hofer, E. P. %T Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties %J International Journal of Applied Mathematics and Computer Science %D 2009 %P 425-439 %V 19 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/IJAMCS_2009_19_3_a4/ %G en %F IJAMCS_2009_19_3_a4