Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems.
Zhe XuA. Agung JuliusPublished in: IEEE Syst. J. (2019)
Keyphrases
- temporal logic
- fault detection
- privacy preservation
- provably correct
- model checking
- privacy preserving
- reactive systems
- fault diagnosis
- industrial processes
- formal methods
- robust fault detection
- modal logic
- artificial intelligence
- data sets
- intelligent systems
- distributed systems
- belief revision
- management system
- data model
- machine learning