Fault Diagnosis of the On-board Equipment in CTCS-3 Based on Timed Automata and Mutation Theoy.
Zhuolin HuTao TangWanli LuWei ZhengJidong LvShigen GaoShuai SuPublished in: ITSC (2019)
Keyphrases
- fault diagnosis
- timed automata
- model checking
- genetic algorithm
- expert systems
- fault detection
- neural network
- theorem prover
- evolutionary algorithm
- fuzzy logic
- fault detection and diagnosis
- electronic equipment
- operating conditions
- theorem proving
- bp neural network
- first order logic
- genetic algorithm ga
- industrial systems
- condition monitoring
- chemical process
- real time systems
- power transformers
- rotating machinery
- monitoring and fault diagnosis
- differential evolution
- fitness function
- gas turbine
- fault detection and isolation
- power plant
- electrical power systems
- artificial intelligence
- failure diagnosis
- multiple faults
- rbf neural network
- steam turbine
- multi sensor information fusion
- fault identification
- analog circuits
- particle swarm optimization
- computational intelligence
- data mining