Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.
Mathias LechnerDorde ZikelicKrishnendu ChatterjeeThomas A. HenzingerPublished in: AAAI (2022)
Keyphrases
- neural network
- control system
- lyapunov function
- lyapunov theory
- fuzzy logic
- pattern recognition
- hopfield neural network
- stability analysis
- artificial neural networks
- neural network is trained
- stochastic model
- control policies
- neural network model
- neural nets
- monte carlo
- formal verification
- stochastic optimization
- sufficient conditions
- asynchronous circuits
- asymptotic stability
- learning vector quantization
- real time
- face verification
- fuzzy neural network
- network model
- multi layer
- control scheme
- control algorithm
- feed forward
- petri net
- training algorithm
- neural model
- stochastic programming
- genetic algorithm
- radial basis function
- model checking
- back propagation