Keyphrases
- fault diagnosis
- temporal logic
- model checking
- neural network
- steam turbine
- electrical power systems
- bp neural network
- fault detection
- fault detection and diagnosis
- condition monitoring
- expert systems
- soft computing methods
- fuzzy logic
- electronic equipment
- modal logic
- analog circuits
- power transformers
- multiple faults
- chemical process
- monitoring and fault diagnosis
- verification method
- gas turbine
- operating conditions
- computation tree logic
- failure diagnosis
- formal specification
- formal specification language
- multi agent systems