When the Helmholtz equation is discretized by standard finite difference or finite element methods, the resulting linear system is highly indefinite and thus notoriously difficult to solve, in fact increasingly so at higher frequency. The exact controllability approach [1] instead reformulates the problem in the time domain and seeks the time-harmonic solution of the corresponding wave equation. By iteratively reducing the mismatch between the solution at initial time and after one period, the controllability method greatly speeds up the convergence to the time-harmonic asymptotic limit. Moreover, each conjugate gradient iteration solely relies on standard numerical algorithms, which are inherently parallel and robust against higher frequencies. The original energy functional used to penalize the departure from periodicity is strictly convex only for sound-soft scattering problems. To extend the controllability approach to general boundaryvalue problems governed by the Helmholtz equation, new penalty functionals are proposed, which are numerically efficient. Numerical experiments for wave scattering from sound-soft and sound-hard obstacles, inclusions, but also for wave propagation in closed wave guides illustrate the usefulness of the resulting controllability methods.Date: May 2, 2018.(CM) transforms the problem back to the time domain, where it seeks a periodic solution yp¨, tq with (known) period T " 2π{ω of the corresponding time-dependent wave equation. The unknown initial conditions, v 0 " yp¨, 0q and v 1 " y t p¨, 0q, that yield the desired periodic solution are then determined by minimizing a convex cost functional, J 1 pv 0 , v 1 q, which penalizes the departure from periodicity. Akin to a shooting method, the controllability approach iteratively solves the least-squares optimization problem with a standard conjugate gradient (CG) iteration [10]. Each CG iteration then requires the solution of a forward and a backward wave equation together with the solution of a symmetric and positive definite linear system independent of ω, both easily solved using standard numerical methods. Hence, the CM-CG approach solely relies on standard numerical algorithms, which are not only robust with respect to ω but also easy to parallelize. In [11], Bardos and Rauch proved the uniqueness of the minimizer for sound-soft exterior Helmholtz problems. They also proposed an alternative functional, J 8 pv 0 , v 1 q, which is unconditionally coercive even for trapping obstacles. Later Koyama proved convergence of the CM-CG method based on J 1 for sound-soft wave scattering from a disk [12].The CM-CG method in [1,8] relied on a piecewise linear finite element (FE) discretization in space and the second-order leapfrog scheme in time. Low-order FE discretizations, however, are notoriously prone to the pollution effect [13]. Moreover, local mesh refinement imposes a severe CFL stability constraint on explicit time integration, as the maximal time-step is dictated by the smallest element in the mesh. Recently, Heikkola et al. [14,15...