Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes.
Carlos TrapielloChristophe CombastelAli ZolghadriPublished in: CoRR (2023)
Keyphrases
- neural network
- control system
- neural learning
- back propagation
- connectionist models
- artificial neural networks
- high level
- connectionist learning
- pattern recognition
- symbolic representation
- neural network is trained
- neural network model
- model checking
- feed forward
- fault diagnosis
- bp neural network
- fuzzy logic
- control law
- genetic algorithm
- functional verification
- fault detection and isolation
- safety analysis
- image reconstruction from projections
- hybrid neural network
- prediction model
- self organizing maps
- expert systems
- learning vector quantization
- formal methods
- face verification
- fuzzy neural network
- fuzzy systems
- recurrent neural networks
- connectionist systems
- fermentation process
- real time