Cover Image

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Taoran, Wagner, Dominik, Ong, C. -H. Luke, Xue, Bai
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
by: Wu, Taoran, et al.
Published: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, et al.
Published: (2026)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
by: Engelaar, Maico H. W., et al.
Published: (2024)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
by: Wu, Taoran, et al.
Published: (2024)

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
by: Wu, Taoran, et al.
Published: (2025)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
by: Rober, Nicholas, et al.
Published: (2023)

Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies
by: Patra, Dinesh, et al.
Published: (2026)

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems
by: Luo, Yujia, et al.
Published: (2026)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
by: Wu, Taoran, et al.
Published: (2025)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
by: Zhang, Hengde, et al.
Published: (2026)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2025)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

PAC-Bayesian Optimal Control with Stability and Generalization Guarantees
by: Boroujeni, Mahrokh Ghoddousi, et al.
Published: (2025)

On Finite- and Fixed-Time Stabilization of Abstract Nonlinear Systems with Well-Posedness Guarantees
by: Fenza, Kamal, et al.
Published: (2025)

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
by: Meng, Qingkai, et al.
Published: (2025)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
by: Xue, Bai
Published: (2023)

A PAC-Bayesian Framework for Optimal Control with Stability Guarantees
by: Boroujeni, Mahrokh Ghoddousi, et al.
Published: (2024)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Distributionally Robust Stochastic MPC under Disturbance-Affine Feedback Policies
by: Chen, Xu, et al.
Published: (2026)

Data-Driven Unknown Input Reconstruction for MIMO Systems with Convergence Guarantees
by: Breukelman, Enno, et al.
Published: (2026)

Distribution Grid Line Outage Identification with Unknown Pattern and Performance Guarantee
by: Xiao, Chenhan, et al.
Published: (2023)

Distributed Unknown Input Observers for Discrete-Time Linear Time-Invariant Systems
by: Torchiaro, Franco Angelo, et al.
Published: (2025)

Distributed Adaptive Estimation with ISS Guarantees for Sensor Networks with Partially Unknown Source Dynamics
by: Wafi, Moh Kamalul, et al.
Published: (2025)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

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

Learning Safety-Compatible Observers for Unknown Systems
by: Bae, Juho, et al.
Published: (2025)

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems
by: Shafa, Taha, et al.
Published: (2024)

Recursively Feasible Stochastic Model Predictive Control for Time-Varying Linear Systems Subject to Unbounded Disturbances
by: Knaup, Jacob W., et al.
Published: (2024)

Learning-based Prescribed-Time Safety for Control of Unknown Systems with Control Barrier Functions
by: Huang, Tzu-Yuan, et al.
Published: (2024)