T. Ahmed-ali, F. Mazenc, and F. Lamnabhi-lagarrigue, Disturbance attenuation for discrete-time feedforward nonlinear systems, Stability and Stabilization of Nonlinear Systems, pp.1-17, 1999.

E. Aranda-bricaire and C. H. Moog, Invariant codistributions and the feedforward form for discrete-time nonlinear systems, Systems & control letters, vol.52, issue.2, pp.113-122, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00410674

A. Astolfi and R. Ortega, Immersion and invariance: a new tool for stabilization and adaptive control of nonlinear systems, IEEE Transactions on Automatic Control, vol.48, issue.4, pp.590-606, 2003.

C. J. Chiang, C. C. Huang, and M. Jankovic, Discrete-time cross-term forwarding design of robust controllers for hcci engines, Proceedings of the 2010, 2010.

, American Control Conference, pp.2218-2223

A. Isidori, Nonlinear Control Systems, 1995.

M. Jankovic, Control of cascade systems with time delay-the integral cross-term approach, 45th IEEE Conference on Decision and Control, pp.2547-2552, 2006.

Z. Jiang and Y. Wang, Input-to-state stability for discrete-time nonlinear systems, Automatica, vol.37, issue.6, pp.857-869, 2001.

D. Kazakos and J. Tsinias, The input-to-state stability condition and global stabilization of discrete-time systems. Automatic Control, IEEE Transactions on, vol.39, issue.10, pp.2111-2113, 1994.

N. Kazantzis, A new approach to the zero-dynamics assignment problem for nonlinear discrete-time systems using functional equations, Systems & Control Letters, vol.51, issue.3, pp.311-324, 2004.

H. Khalil, Nonlinear Systems, 2002.

W. Lin and Q. Gong, A remark on partial-state feedback stabilization of cascade systems using small gain theorem, IEEE transactions on automatic control, vol.48, issue.3, pp.497-499, 2003.

W. Lin and R. Pongvuthithum, Global stabilization of cascade systems by c/sup 0/partial-state feedback, IEEE transactions on automatic control, vol.47, issue.8, pp.1356-1362, 2002.

M. Mattioni, S. Monaco, and D. Normand-cyrot, Feedforwarding under sampling, IEEE Transactions on Automatic Control, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01923758

M. Mattioni, S. Monaco, and S. D. Normand-cyrot, Lyapunov stabilization of discrete-time feedforward dynamics, 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp.4272-4277, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01583221

F. Mazenc and H. Nijmeijer, Forwarding in discrete-time nonlinear systems, International Journal of Control, vol.71, issue.5, pp.823-835, 1998.

F. Mazenc and L. Praly, Adding an integration and global asymptotic stabilization of feedforward systems, IEEE Transactions on Automatic Control, vol.41, issue.11, pp.1559-1578, 1996.

S. Monaco and D. Normand-cyrot, A unified representation for nonlinear discrete-time and sampled dynamics, Journal of Mathematical Systems Estimation and Control, vol.7, pp.477-503, 1997.

S. Monaco and D. Normand-cyrot, Nonlinear average passivity and stabilizing controllers in discrete-time, Systems & Control Letters, vol.60, pp.431-439, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648121

S. Monaco and D. Normand-cyrot, Stabilization of nonlinear discrete-time dynamics in strict-feedforward form, European Control Conference 13, pp.2186-2191, 2013.

S. Monaco, D. Normand-cyrot, and M. Mattioni, Stabilization of feedforward discrete-time dynamics through immersion and invariance, 2016 American Control Conference (ACC), pp.264-269, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01323560

E. M. Navarro-lópez and E. Fossas-colet, Feedback passivity of nonlinear discrete-time systems with direct input-output link, Automatica, vol.40, issue.8, pp.1423-1428, 2004.

D. Ne?i?, A. R. Teel, and E. D. Sontag, Formulas relating kl stability estimates of discrete-time and sampled-data nonlinear systems, Systems & Control Letters, vol.38, issue.1, pp.49-60, 1999.

A. Pavlov and L. Marconi, Incremental passivity and output regulation, Systems & Control Letters, vol.57, issue.5, pp.400-409, 2008.

R. Sepulchre, M. Jankovi?, and P. Kokotovi?, Constructive nonlinear control, 1997.

L. Wei and C. Byrnes, Design of discrete-time nonlinear control systems via smooth feedback, IEEE Transactions on Automatic Control, vol.39, issue.11, pp.2340-2346, 1994.

. Accordingly, construction V 0 (z k+1 , ? k+1 ) ?V 0

, W ( f (z k ))?W (z k )+U(a(? k ))?U(? k ) ? 0 so concluding the proof