Verification of Neural Network Control Systems in Continuous Time.
Ali ArjomandBigdeliAndrew MataStanley BakPublished in: CoRR (2024)
Keyphrases
- neural network
- control system
- fuzzy logic
- back propagation
- neural network is trained
- model checking
- state space
- genetic algorithm
- markov chain
- artificial neural networks
- neural network model
- neural nets
- pattern recognition
- multilayer perceptron
- feed forward neural networks
- functional verification
- hybrid neural network
- markov processes
- signature verification
- multi layer
- optimal control
- feed forward
- closed loop
- fuzzy systems
- hidden layer
- network architecture
- control law
- activation function
- face verification
- network model
- neural model
- bp neural network
- fault detection and isolation
- fermentation process