Exact controllability for a Thermodiffusion System with locally distributed controls

In this work we establish a exact controllability result for a thermodiffusion system, modeled by Cattaneo's law, posed in a one-dimensional domain. In the present model the control mechanisms are effective in a small subinterval of the domain. To obtain the desired results, we prove an observability inequality for the adjoint system which, together with the multiplier methods and the Hilbert Uniqueness Method (HUM) developed by J.L. Lions, gives the controllability.