### A Carleman estimates based approach for the stabilization of some locally damped semilinear hyperbolic equations

First, we consider a semilinear hyperbolic equation with a locally distributed damping in a bounded domain. The damping is located on a neighborhood of a suitable portion of the boundary. Using a Carleman estimate [Duyckaerts, Zhang and Zuazua, Ann. Inst. H. Poincaré Anal. Non Linéaire (to appear); Fu, Yong and Zhang, SIAM J. Contr. Opt. 46 (2007) 1578–1614], we prove that the energy of this system decays exponentially to zero as the time variable goes to infinity. Second, relying on another Carleman...