Validated linear dynamic model of electrically-shunted magnetostrictive transducers with application to structural vibration control