Verification of Neural Network Control Systems in Continuous Time.
Ali ArjomandBigdeliAndrew MataStanley BakPublished in: SAIV (2014)
Keyphrases
- neural network
- control system
- fuzzy logic
- artificial neural networks
- back propagation
- neural network is trained
- hybrid neural network
- formal verification
- neural network model
- model checking
- markov chain
- genetic algorithm
- optimal control
- markov processes
- pattern recognition
- dynamical systems
- image reconstruction from projections
- fault detection and isolation
- iterative learning control
- fuzzy artmap
- auto associative
- signature verification
- face verification
- multi layer perceptron
- multilayer perceptron
- feed forward neural networks
- network model
- learning vector quantization
- multi layer
- bp neural network
- safety analysis
- prediction model
- recurrent neural networks
- fault diagnosis
- continuous time bayesian networks
- data sets