Fault Diagnosis Using Timed Automata.
Patricia BouyerFabrice ChevalierDeepak D'SouzaPublished in: FoSSaCS (2005)
Keyphrases
- fault diagnosis
- timed automata
- model checking
- theorem prover
- expert systems
- fault detection
- operating conditions
- bp neural network
- neural network
- theorem proving
- fuzzy logic
- first order logic
- power transformers
- fault detection and diagnosis
- gas turbine
- electronic equipment
- real time systems
- condition monitoring
- monitoring and fault diagnosis
- chemical process
- rbf neural network
- failure diagnosis
- industrial systems
- rotating machinery
- multi sensor information fusion
- analog circuits
- fault identification
- soft computing methods
- fault detection and isolation
- electrical power systems
- multiple faults
- fault tree
- steam turbine
- tennessee eastman
- machine learning