Model-Based Diagnosis for Pre-Stress of Langevin Transducers | IEEE Conference Publication | IEEE Xplore