Control law synthesis for discrete time and finite horizon dynamical systems under set bounded uncertainty: formulation, controller duality, solvers | IEEE Conference Publication | IEEE Xplore