Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
Weiming XiangZhongzhu ShaoPublished in: CoRR (2023)
Keyphrases
- neural network model
- neural network
- control system
- safety analysis
- artificial neural networks
- network architecture
- bp neural network
- input variables
- trained neural network
- using artificial neural networks
- multilayer perceptron
- hopfield network
- neural models
- back propagation neural network
- model checking
- dynamic characteristics
- rbf neural network
- multi layer perceptron
- fuzzy logic
- control law
- bp network
- growing neural gas
- back propagation
- fuzzy art
- safety critical
- control strategy
- support vector machine