You're currently viewing an old version of this dataset. To see the current version, click here.

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

This dataset has no data

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

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

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