Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
Weiming XiangZhongzhu ShaoPublished in: CDC (2022)
Keyphrases
- neural network model
- neural network
- control system
- safety analysis
- artificial neural networks
- network architecture
- multilayer perceptron
- neural models
- bp neural network
- back propagation neural network
- multi layer perceptron
- using artificial neural networks
- rbf neural network
- input variables
- model checking
- safety critical
- hopfield network
- bp network
- growing neural gas
- closed loop
- connection weights
- back propagation
- hidden layer
- activation function
- trained neural network
- fuzzy art
- number of hidden layers