Formally expressing the semantics of observer-based fault detection software.
Alireza Esna AshariEric FeronPublished in: CoRR (2013)
Keyphrases
- fault detection
- industrial processes
- fault diagnosis
- fault identification
- tennessee eastman
- condition monitoring
- fault detection and diagnosis
- failure detection
- software systems
- software development
- robust fault detection
- fuel cell
- rotating machinery
- source code
- fault isolation
- neural network
- fault detection and isolation
- power plant
- development process
- fault localization
- software quality
- software engineering
- evolutionary algorithm
- expert systems
- artificial intelligence