b$)$ Consider the following hybrid automaton $T$ with location set Loc$=\{l_0,l_1\}$ and vari$-$

able set Var$=\{x,y\}$ :

Please specify a timed automaton $T^{\text{'}}$ with location set Loc' and variable set $Va{r}^{\text{'}}=$Var,

and a function $f$:$(Lo{c}^{\text{'}}{V}_{Va{r}^{\text{'}}})(Loc{V}_{\text{V}\text{a}\text{r}})$ such that

Reach$(T)=\{f()|inReach(T^{\text{'}})\}$