Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics | IEEE Journals & Magazine | IEEE Xplore