Optimal robust prediction for uncertain discrete-time systems