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]
@article{ChenWL22-6, title = {Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics}, author = {Gang Chen and Peng Wei and Mei Liu}, year = {2022}, doi = {10.1109/TASE.2021.3074548}, url = {https://doi.org/10.1109/TASE.2021.3074548}, researchr = {https://researchr.org/publication/ChenWL22-6}, cites = {0}, citedby = {0}, journal = {IEEE T. Automation Science and Engineering}, volume = {19}, number = {3}, pages = {2187-2202}, }