Intermittent fault diagnosis of industrial systems in a model-checking framework.
Abderraouf BoussifMohamed GhazelPublished in: ICPHM (2016)
Keyphrases
- fault diagnosis
- industrial systems
- model checking
- industrial applications
- expert systems
- temporal logic
- neural network
- fault detection
- computational intelligence
- fault detection and diagnosis
- artifact centric
- intelligent systems
- complex systems
- automated verification
- ordered binary decision diagrams
- fuzzy logic
- analog circuits
- power transformers
- multi sensor information fusion
- multiple faults
- epistemic logic
- verification method
- temporal properties
- formal verification
- rotating machinery
- operating conditions
- finite state machines
- model based diagnosis
- chemical process
- formal methods
- monitoring and fault diagnosis