Koopman-based Kalman Filter for Fault Detection for the Superconducting Radio Frequency Cavities of the European XFEL | IEEE Conference Publication | IEEE Xplore