1: \begin{definition} \label{def.control}

2: Let $\mc{U}$ be a GTC in $\R^{1+n}$, let $Z$ be a generator of $\mc{U}$, and fix cross-sections $\mc{V}_\pm$ of $\mc{U}$ with $\mc{V}_- < \mc{V}_+$.

3: Moreover, we consider the setting of Problem \ref{prb.linear_wave} on $\mc{U}$.

4: \begin{itemize}

5: \item The wave equation \eqref{eq.linear_wave} is \emph{exactly} (\emph{Dirichlet boundary}) \emph{controllable} on $\mc{U} ( \mc{V}_-, \mc{V}_+ )$, with control on some open $\Gamma \subseteq \partial \mc{U} ( \mc{V}_-, \mc{V}_+ )$, iff given any initial and final data,

6: \begin{equation}

7: \label{eq.control_cauchy_data} ( \phi^\pm_0, \phi^\pm_1 ) \in L^2 ( \mc{V}_\pm ) \times H^{-1} ( \mc{V}_\pm ) \text{,}

8: \end{equation}

9: there exists $\phi_b \in L^2 ( \partial \mc{U} )$, supported in $\Gamma$, such that the solution of \eqref{eq.linear_wave} satisfying\footnote{This solution exists and is unique due to the second part of Theorem \ref{thm.weak_sol}.}

10: \begin{equation}

11: \label{eq.control_existence} ( \phi, Z \phi ) |_{ \mc{V}_- } = ( \phi^-_0, \phi^-_1 ) \text{,} \qquad \phi |_{ \partial \mc{U} } = \phi_b \text{,}

12: \end{equation}

13: also attains the final data

14: \begin{equation}

15: \label{eq.control_goal} ( \phi, Z \phi ) |_{ \mc{V}_+ } = ( \phi^+_0, \phi^+_1 ) \text{.}

16: \end{equation}

17: 

18: \item When \eqref{eq.control_existence} and \eqref{eq.control_goal} hold, we say that $\phi_b$ drives \eqref{eq.linear_wave} from $( \phi^-_0, \phi^-_1 )$ to $( \phi^+_0, \phi^+_1 )$.

19: \end{itemize}

20: \end{definition}

21: