ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers.
James FerlezMahmoud ElnaggarYasser ShoukryCody FlemingPublished in: CoRR (2020)
Keyphrases
- neural network
- nearest neighbor
- knn
- artificial neural networks
- neural network model
- modular neural networks
- back propagation
- fuzzy logic
- genetic algorithm
- neyman pearson
- data points
- backpropagation neural network
- data sets
- nearest neighbor search
- recurrent neural networks
- neural network training
- hybrid systems
- filtering method
- median filter
- multi layer
- bp neural network
- prediction model
- training set
- multilayer perceptron
- feed forward
- radial basis function
- pattern recognition
- multiresolution