Learning provably stabilizing neural controllers for discrete-time stochastic systems
We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability 1. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introdu...
Saved in:
Main Authors: | ANSARIPOUR, Matin, CHATTERJEE, Krishnendu, HENZINGER, A. Thomas, LECHNER, Mathias, ZIKELIC, Dorde |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2023
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/9067 https://ink.library.smu.edu.sg/context/sis_research/article/10070/viewcontent/978_3_031_45329_8.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
A learner-verifier framework for neural network controllers and certificates of stochastic systems
by: CHATTERJEE, Krishnendu, et al.
Published: (2023) -
Compositional policy learning in stochastic control systems with formal guarantees
by: ZIKELIC, Dorde, et al.
Published: (2024) -
Stochastic invariants for probabilistic termination
by: CHATTERJEE, Krishnendu, et al.
Published: (2017) -
Stability verification in stochastic control systems via neural network supermartingales
by: LECHNER, Mathias, et al.
Published: (2024) -
Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
by: AKSHAY, S., et al.
Published: (2024)