Fault diagnosis for discrete event systems: Modelling and verification.
Zineb Simeu-AbaziMaria di MascoloMichal KnotekPublished in: Reliab. Eng. Syst. Saf. (2010)
Keyphrases
- discrete event systems
- fault diagnosis
- failure diagnosis
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- expert systems
- neural network
- fuzzy logic
- fault detection and diagnosis
- discrete event
- operating conditions
- gas turbine
- power transformers
- fault detection
- chemical process
- electronic equipment
- monitoring and fault diagnosis
- analog circuits
- bp neural network
- multi sensor information fusion
- industrial systems
- model checking
- multiple faults
- fault identification
- temporal constraints
- condition monitoring and assessment
- rotating machinery
- fault detection and isolation
- condition monitoring
- power plant
- dynamic systems
- computational intelligence