Input-to-state stability of robust receding horizon control with an expected value cost - Goulart, PJ; Kerrigan, EC (Automatica, 2008)