Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling.
Feiyang CaiChuchu FanStanley BakPublished in: CoRR (2024)
Keyphrases
- neural network
- control system
- back propagation
- artificial neural networks
- model checking
- fuzzy logic
- face verification
- genetic algorithm
- neural network model
- fuzzy artmap
- real time
- self organizing maps
- web scale
- formal verification
- learning vector quantization
- neural network is trained
- fuzzy neural network
- network architecture
- training algorithm
- training process
- learning algorithm
- control algorithm
- computer vision
- knn
- industrial automation
- auto associative
- face recognition
- training data
- signature verification
- pattern recognition
- highly scalable
- control method
- activation function
- multi layer perceptron
- control law
- lightweight
- fault diagnosis
- feed forward
- hidden layer
- multi layer