M. Asch and G. Lebeau, Geometrical aspects of exact boundary controllability for the wave equation - a numerical study, ESAIM: Control, Optimisation and Calculus of Variations, vol.3, pp.163-212, 1998.
DOI : 10.1051/cocv:1998106

N. Burq and G. Lebeau, Mesures de d??faut de compacit??, application au syst??me de Lam??, Annales Scientifiques de l?????cole Normale Sup??rieure, vol.34, issue.6, pp.817-870, 2001.
DOI : 10.1016/S0012-9593(01)01078-3

G. [. Bardos, J. Lebeau, and . Rauch, Sharp sufficient conditions for the observation, control and stabilisation of waves from the boundary, SIAM J.Control Optim, vol.305, pp.1024-1065, 1992.

B. Dehman and G. Lebeau, Analysis of the HUM Control Operator and Exact Controllability for Semilinear Waves in Uniform Time, SIAM Journal on Control and Optimization, vol.48, issue.2, 2009.
DOI : 10.1137/070712067

]. P. Gér91 and . Gérard, Microlocal defect measures, C.P.D.E, vol.16, pp.1762-1794, 1991.

J. [. Glowinski, J. He, and . Lions, Exact and Approximate Controllability for Distributed Parameter Systems: A Numerical Approach, 2008.
DOI : 10.1017/CBO9780511721595

C. [. Glowinski, J. L. Li, and . Lions, A numerical approach to the exact boundary controllability of the wave equation (I) Dirichlet controls: Description of the numerical methods, Japan Journal of Applied Mathematics, vol.19, issue.2, pp.1-76, 1990.
DOI : 10.1007/BF03167891

]. L. Hör85 and . Hörmander, The analysis of linear partial differential operators, III. Grundl. Math. Wiss. Band, vol.274, 1985.

]. G. Leb92 and . Lebeau, Contrôle analytique I : Estimations a priori, Duke Math. J, vol.68, issue.1, pp.1-30, 1992.

J. Lions, Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués, Recherches en Mathématiques Appliquées, vol.2, issue.9, 1988.

[. Melrose and J. Sjostrand, Singularities of boundary value problems I. CPAM, pp.593-617, 1978.

[. Melrose and J. Sjostrand, Singularities of boundary value problems. II, Communications on Pure and Applied Mathematics, vol.292, issue.2, pp.129-168, 1982.
DOI : 10.1002/cpa.3160350202

]. Rus78 and . Russell, Controllability and stabilizability theory for linear partial differential equations: recent progress and open questions, SIAM Rev, vol.20, pp.639-739, 1978.

M. Taylor, Pseudodifferential operators, 1981.

]. E. Zua02 and . Zuazua, Controllability of partial differential equations and its semi-discrete approximations. Discrete and Continuous Dynamical Systems, pp.469-513, 2002.

]. E. Zua05 and . Zuazua, Propagation, observation, and control of waves approximated by finite difference methods, SIAM Rev, vol.47, issue.2, pp.197-243, 2005.