1: \begin{definition}[Virtual system]\label{defin:virtualsystem1}

2: 		Consider systems $\Sigma$ and $\Sigma_u$, given by \eqref{eq:closedloopcontrolsystem} and \eqref{eq:controlsystem}, respectively. Suppose that  $\mathcal{C}_v\subseteq \mathcal{X}$ and $\mathcal{C}_x\subseteq \mathcal{X}$ are connected and forward invariant sets. 

3: 		A \emph{virtual system} associated to $\Sigma$ is defined as the system 

4: 		\begin{equation}

5: 		{\Sigma}_{v}:\left\{ \begin{array}{lcc}

6: 		\dot{{x}}_v= {\Phi}_v(x_v,{x},t), \\

7: 		{y}_v={h}_v(x_v,x,t),		

8: 		\end{array}

9: 		\right.		

10: 		\label{eq:virtualsystemTheorem}

11: 		\end{equation}

12: 		in the state $x_v\in\mathcal{C}_v$ and  parametrized by $x\in\mathcal{C}_x$, where   $\Phi:\mathcal{C}_v\times\mathcal{C}_x\times\mathds{R}_{\geq 0}\rightarrow T\mathcal{X}$ and $h_v:\mathcal{C}_v\times\mathcal{C}_x\times\mathds{R}_{\geq 0}\rightarrow T\mathcal{X}$  satisfy  the condition

13: 		\begin{equation}

14: 		{\Phi}_v({x},{x},t)=F(x,t)\quad \text{and}\quad h_v(x,x,t)=h(x,t),  

15: 		\label{eq:virtualcontrolsystemTheorem}		

16: 		\end{equation}

17: 		for all $t\geq t_0$. Similarly, a  \emph{virtual control system}  for $\Sigma_u$ is defined as the control system 

18: 		\begin{equation}

19: 		\begin{split}

20: 		{\Sigma}_{uv}:\left\{ \begin{array}{lcc}

21: 		\dot{x}_v=\Gamma(x_v,x,u,t),\\

22: 		{y}_v={h}_v(x_v,x,t), \quad\quad  \forall t\geq t_0,		

23: 		\end{array}

24: 		\right.			

25: 		\end{split}

26: 		\label{eq:virtualsystemTheorem1}	

27: 		\end{equation}

28: 		in  the state $x_v\in\mathcal{X}$ and parametrized by   $x\in\mathcal{X}$, the output $y_v\in\mathcal{Y}$, where  $h_v:\mathcal{C}_v\times\mathcal{C}_x\times\mathds{R}_{\geq 0}\rightarrow  \mathcal{Y}$ and  $\Gamma:\mathcal{C}_v\times\mathcal{C}_x\times\mathds{R}_{\geq 0}\rightarrow T \mathcal{X}$ satisfy 

29: 		\begin{equation}

30: 		\begin{split}

31: 		\Gamma(x,x,u,t)&=f(x,t)+G(x,t)u,\\

32: 		h_v(x,x,t)&=h(x,t),\quad\quad\quad \forall u, \forall t\geq t_0.		

33: 		\end{split}

34: 		\end{equation}		

35: 	\end{definition}