Model-Based Fault Diagnosis System Verification Using Reachability Analysis.
Jinya SuWen-Hua ChenPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2019)
Keyphrases
- fault diagnosis
- reachability analysis
- model checking
- timed automata
- neural network
- markov decision processes
- fault detection
- bp neural network
- expert systems
- electronic equipment
- monitoring and fault diagnosis
- multiple faults
- failure diagnosis
- condition monitoring
- fuzzy logic
- operating conditions
- industrial systems
- fault detection and diagnosis
- gas turbine
- multi sensor information fusion
- power transformers
- rotating machinery
- chemical process
- incremental algorithms
- analog circuits
- fault identification
- electrical power systems
- fault detection and isolation
- petri net
- decision making
- real time