1: \begin{proof}

2: The exponential stability of the $x = 0$ of system (\ref{redumodel1}) is equivalent to

3: \begin{align}

4:     \label{eqn:lyapfuncx1} &\gamma_1 \norm{x}^2 \le V(x) \le \gamma_2 \norm{x}^2, \\

5:     \label{eqn:lyapfuncx2} &V(x[n+1]) \le \sigma_1 V(x[n]),

6: \end{align}

7: where $\gamma_1>0$, $\gamma_2>0$, $0 < \sigma_1 < 1$.

8: The exponential stability of the equilibrium $y = 0$ of system (\ref{boundumodel1}) requires the following equations to hold uniformly in $x$

9: \begin{align}

10:     \label{eqn:lyapfuncy1} &\gamma_3 \norm{y}^2 \le W(y) \le \gamma_4 \norm{y}^2,\\

11:     \label{eqn:lyapfuncy2} &W(y[n+1]) \le \sigma_2 W(y[n]),

12: \end{align}

13: where $\gamma_3>0$, $\gamma_4>0$, $0 < \sigma_2 < 1$.\\

14: We use $\nu = V + W$ as a Lyapunov function candidate for the system (\ref{redumodel1}) and (\ref{boundumodel1}). From (\ref{eqn:lyapfuncx1}), (\ref{eqn:lyapfuncx2}), (\ref{eqn:lyapfuncy1}) and (\ref{eqn:lyapfuncy2})

15: %(\ref{eqn:lyapfuncx1,eqn:lyapfuncx2,eqn:lyapfuncy1,eqn:lyapfuncy2})

16: \begin{align}

17:    \label{eqn:lyapfuncz1} &\text{min}\{\gamma_1, \gamma_3\} \norm{[x,y]}^2 \le \nu(x,y)\le \text{max}\{\gamma_2, \gamma_4\} \norm{[x,y]}^2, \\

18:    \label{eqn:lyapfuncz2} &\nu(x[n+1], y[n+1]) \le \text{max}\{\sigma_1, \sigma_2\}\nu(x[n], y[n]).

19: \end{align}

20: From (\ref{eqn:lyapfuncz1}) and (\ref{eqn:lyapfuncz2}), the equilibrium $[x,y] = 0$ of the systems (\ref{redumodel1}) and (\ref{boundumodel1}) is exponentially stable. Considering Theorem \ref{Theorem:TractoryConvergence}, we can conclude that the equilibrium $[x,y] = 0$ of the systems (\ref{orgsysmodel1}) and (\ref{orgsysmodel2}) is exponentially stable.

21: A more rigorous proof can be performed by following the same methods as the proofs of Proposition 8.1 and Proposition 8.2 in \cite{bof2018lyapunov}. 

22: \end{proof}

23: