Keyphrases
- fault diagnosis
- timed automata
- model checking
- theorem prover
- expert systems
- neural network
- fault detection
- bp neural network
- fault detection and diagnosis
- theorem proving
- fuzzy logic
- operating conditions
- electronic equipment
- industrial systems
- gas turbine
- rbf neural network
- monitoring and fault diagnosis
- real time systems
- fault identification
- multi sensor information fusion
- multiple faults
- rotating machinery
- condition monitoring
- analog circuits
- fault detection and isolation
- fault tree
- failure diagnosis
- power transformers
- power plant
- first order logic
- tennessee eastman
- knowledge base
- genetic algorithm