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]

Authors

Gang Chen

This author has not been identified. Look up 'Gang Chen' in Google

Peng Wei

This author has not been identified. Look up 'Peng Wei' in Google

Mei Liu

This author has not been identified. Look up 'Mei Liu' in Google