Decision procedures for fault detection and isolation derived from knowledge and data | IEEE Conference Publication | IEEE Xplore