SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.
Hussein SibaiYangge LiSayan MitraPublished in: CoRR (2020)
Keyphrases
- neural network
- artificial neural networks
- control system
- reinforcement learning
- neural nets
- genetic algorithm
- neural network model
- real world
- feed forward neural networks
- hybrid systems
- self organizing maps
- symmetry detection
- back propagation
- verification method
- high level
- auto associative
- network architecture
- image reconstruction from projections
- fuzzy systems
- control strategy
- fault diagnosis
- fuzzy logic
- multi layer
- hidden layer
- learning scenarios
- multilayer perceptron
- controller design
- feed forward
- step wise
- neural network is trained
- controller synthesis
- knn