1: \begin{definition}\label{defin:virtualsystem1}

2: 		A \emph{virtual system} associated to \eqref{eq:closedloopcontrolsystem} is defined as a system 

3: 		\begin{equation}

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

5: 		\label{eq:virtualsystemTheorem}

6: 		\end{equation}

7: 		in the state $x_v\in\mathcal{C}_v$ and  parametrized by $x\in\mathcal{C}_x$,  where $\mathcal{C}_v\subseteq \mathcal{X}$ and $\mathcal{C}_x\subseteq \mathcal{X}$ are connected and forward invariant,   $\Phi:\mathcal{X}\times\mathcal{X}\times\mathds{R}_{\geq 0}\rightarrow T\mathcal{X}$ is a smooth vector field satisfying 

8: 		\begin{equation}

9: 		{\Phi}({x},{x},t)=F(x,t),  \quad \forall t\geq t_0.

10: 		\label{eq:virtualcontrolsystemTheorem}		

11: 		\end{equation}

12: 		Furthermore, a  \emph{virtual control system} for the system with inputs \eqref{eq:controlsystem},  in  the state $x_v\in\mathcal{X}$, is similarly defined as

13: 		\begin{equation}

14: 		\begin{split}

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

16: 		y_v&=h_v(x_v,x,t)

17: 		\end{split}

18: 		\label{eq:virtualsystemTheorem1}	

19: 		\end{equation}

20: 		parametrized by the variable $x\in\mathcal{X}$, the output $y_v\in\mathcal{Y}$, with smooth vector fields $h_v:\mathcal{X}\times\mathcal{X}\times\mathds{R}_{\geq0}\rightarrow  \mathcal{Y}$ and  $\Gamma:\mathcal{X}\times\mathcal{X}\times\mathcal{U}\times\mathds{R}_{\geq0}\rightarrow T \mathcal{X}$ satisfying

21: 		\begin{equation}

22: 		\begin{split}

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

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

25: 		\end{split}

26: 		\end{equation}		

27: 	\end{definition}