Model Checking on Fault Diagnosis Graph.
Xu WangCristian MahuleaManuel Silva SuárezPublished in: WODES (2014)
Keyphrases
- fault diagnosis
- model checking
- temporal logic
- expert systems
- formal verification
- model checker
- neural network
- automated verification
- temporal properties
- fault detection
- formal specification
- fault detection and diagnosis
- symbolic model checking
- finite state
- fuzzy logic
- power transformers
- chemical process
- gas turbine
- electronic equipment
- multi sensor information fusion
- analog circuits
- formal methods
- operating conditions
- condition monitoring
- computation tree logic
- finite state machines
- multiple faults
- timed automata
- graph theory
- bounded model checking
- epistemic logic
- monitoring and fault diagnosis
- rotating machinery
- transition systems
- concurrent systems
- verification method
- linear temporal logic
- deterministic finite automaton
- alternating time temporal logic
- computational intelligence
- artificial intelligence