Dynamic-model-based anomaly diagnosis as an operator aid | IEEE Conference Publication | IEEE Xplore