“…This implies point (1). For point (2), since the dynamics of Z k is nominal (i.e., completely known) under Assumption 3, we have that ISS in X f follows directly from the selection of the terminal ingredients (i.e., the choice of Ψ j , j = {1, 2, 3}, in Algorithm 1), which guarantees that Finally, for point (3), we have that the solution of OCP (17) implies that x k ∈ z k,0 , z k,0 ⊂ X due to relation (2) and u k = s k 0 ∈ U, under Assumption 6 and the discussed features of X f .…”