Carleman estimates and applications to inverse problems for hyperbolic systems. (2017)