Finite element model updating through sum-of-squares (SOS) optimization and constrained Kalman filters