Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems

Zhe Xu 0005, A. Agung Julius. Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. IEEE Systems Journal, 13(3):3010-3021, 2019. [doi]

Abstract

Abstract is missing.