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]

Bibliographies