Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.
Weiming XiangZhongzhu ShaoPublished in: ACC (2022)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- back propagation
- activation function
- neural nets
- genetic algorithm
- fault diagnosis
- neural network model
- competitive learning
- neural network is trained
- self organizing maps
- feed forward
- network architecture
- multilayer feedforward
- trained neural network
- fuzzy systems
- fuzzy logic
- training algorithm
- bp neural network
- data compression
- recurrent neural networks
- sufficient conditions