Stability Verification in Stochastic Control Systems via Neural Network

The dataset used in the paper is a discrete-time stochastic dynamical system with two novel aspects: (a) using ranking supermartingales (RSMs) to certify almost-sure asymptotic stability, and (b) presenting a method for learning neural network RSMs.

Data and Resources

Cite this as

Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger (2024). Dataset: Stability Verification in Stochastic Control Systems via Neural Network. https://doi.org/10.57702/6kt37k9g

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2112.09495
Author Mathias Lechner
More Authors
Đorđe Žikelić
Krishnendu Chatterjee
Thomas A. Henzinger