Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.
Mathias LechnerDorde ZikelicKrishnendu ChatterjeeThomas A. HenzingerPublished in: CoRR (2021)
Keyphrases
- neural network
- control system
- lyapunov function
- control law
- model checking
- artificial neural networks
- lyapunov theory
- back propagation
- hopfield neural network
- pattern recognition
- closed loop
- stability analysis
- stochastic optimization
- control policies
- fuzzy logic
- neural network model
- backpropagation neural network
- safety analysis
- neural network is trained
- real environment
- training algorithm
- feed forward neural networks
- recurrent neural networks
- control method
- stochastic programming problems
- sufficient conditions
- fault diagnosis
- self organizing maps
- signature verification
- bp neural network
- neural nets
- nonlinear systems
- activation function
- prediction model
- face verification
- adaptive fuzzy
- multilayer perceptron
- auto associative
- monte carlo
- multi layer perceptron
- image reconstruction from projections
- knn
- fuzzy systems