Verifying Neural Network Controlled Systems Using Neural Networks.
Qingye ZhaoXin ChenZhuoyu ZhaoYifan ZhangEnyi TangXuandong LiPublished in: HSCC (2022)
Keyphrases
- neural network
- artificial neural networks
- fault diagnosis
- computer systems
- neuro fuzzy systems
- competitive learning
- multilayer perceptron
- neural network is trained
- complex systems
- intelligent systems
- management system
- pattern recognition
- back propagation
- fuzzy logic
- feed forward
- neural nets
- trained neural network
- training algorithm
- network architecture
- activation function
- genetic algorithm
- multilayer feedforward
- fuzzy systems
- self organizing maps
- learning algorithm