Cover Image

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Omidi, Saber, Petrik, Marek, Yoon, Se Young, Begum, Momotaz
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Machine Learning Robotics Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SDC-Based Model Predictive Control: Enhancing Computational Feasibility for Safety-Critical Quadrotor Control
by: Omidi, Saber
Published: (2025)

Achieving Tractable Minimax Optimal Regret in Average Reward MDPs
by: Boone, Victor, et al.
Published: (2024)

Safe Guaranteed Exploration for Non-linear Systems
by: Prajapat, Manish, et al.
Published: (2024)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

Optimal Derivative Feedback Control for an Active Magnetic Levitation System: An Experimental Study on Data-Driven Approaches
by: Omidi, Saber, et al.
Published: (2026)

On Suboptimal Safety-Critical Tracking Controller Design
by: Batmani, Yazdan, et al.
Published: (2025)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
by: Li, Xiao, et al.
Published: (2023)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
by: Srinivasan, Anutam, et al.
Published: (2026)

Direct Data Driven Control Using Noisy Measurements
by: Esmzad, Ramin, et al.
Published: (2025)

Denoising Diffusion-Based Control of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Score Matching Diffusion Based Feedback Control and Planning of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
by: Lee, Kooktae
Published: (2026)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
by: Gimelfarb, Michael, et al.
Published: (2024)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
by: Siriya, Seth, et al.
Published: (2024)

Introduction to Online Control
by: Hazan, Elad, et al.
Published: (2022)

Online Control-Informed Learning
by: Liang, Zihao, et al.
Published: (2024)

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Kernel-Based Optimal Control: An Infinitesimal Generator Approach
by: Bevanda, Petar, et al.
Published: (2024)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
by: Malaniya, Georgiy, et al.
Published: (2025)

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
by: Lu, Yiwen, et al.
Published: (2023)

Iterative Tuning of Nonlinear Model Predictive Control for Robotic Manufacturing Tasks
by: Ingole, Deepak, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Model Predictive Path Integral PID Control for Learning-Based Path Following
by: Kato, Teruki, et al.
Published: (2026)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
by: Ferlez, James, et al.
Published: (2020)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview
by: Tsukamoto, Hiroyasu, et al.
Published: (2021)

Multi-Step Deep Koopman Network (MDK-Net) for Vehicle Control in Frenet Frame
by: Abtahi, Mohammad, et al.
Published: (2025)

Data-Driven Motion Planning for Uncertain Nonlinear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates
by: Esmaeili, Babak, et al.
Published: (2025)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Unifying Entropy Regularization in Optimal Control: From and Back to Classical Objectives via Iterated Soft Policies and Path Integral Solutions
by: Bhole, Ajinkya, et al.
Published: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
by: Prajapat, Manish, et al.
Published: (2025)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

DASA: Delay-Adaptive Multi-Agent Stochastic Approximation
by: Fabbro, Nicolò Dal, et al.
Published: (2024)

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
by: Jang, Inkyu, et al.
Published: (2025)

Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees
by: Shi, Kanghong, et al.
Published: (2025)