TY - JOUR AU - Rauh, A. AU - Minisini, J. AU - Hofer, E. P. TI - Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties JO - International Journal of Applied Mathematics and Computer Science PY - 2009 SP - 425 EP - 439 VL - 19 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2009_19_3_a4/ LA - en ID - IJAMCS_2009_19_3_a4 ER -