Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics

Gang Chen, Peng Wei, Mei Liu. Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics. IEEE T. Automation Science and Engineering, 19(3):2187-2202, 2022. [doi]

Abstract

Abstract is missing.