“…In addition, the input u k is obtained from the projection operator P Ω at each trial so u k ∈ Ω. Then, substitutex k = (ỹ e k ,ỹ k ,ũ k ) and x k = (r e ,r k , u k ) with the update solution (30) into the monotonic convergence condition (26) to give J k+1 J k , and substitute x * = (r e , y * , u * ) ∈ S 1 ∩ S 2 and x k = (r e ,r k , u k ) into the monotonic convergence condition (29) to giveJ k+1 J k , which completes the proof.…”