Abstract: At first we talk about the backstepping method which is introduced for stabilization issues.
This method allows us to change (in some sense) the spectral of the linear operator and to get rapid
stabilization of the KdV equation. Then we prove a Lebeau-Robbiano type bound which together with the backstepping lead to the controllability result.
