Mathematical and computational developments for Bayesian inference of damage in structural components