Cover Image

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Taoran, Wagner, Dominik, Pan, Jingduo, Ong, Luke, Easwaran, Arvind, Xue, Bai
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
by: Wu, Taoran, et al.
Published: (2026)

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

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

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)

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

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

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

Sufficient and Necessary Barrier-like Conditions for 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)

Event-Driven Real-Time Multi-Objective Charging Schedule Optimization For Electric Vehicle Fleets
by: Raja, Jose Peeterson Emerson, et al.
Published: (2024)

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
by: Pan, Jingduo, et al.
Published: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

A novel load distribution strategy for aggregators using IoT-enabled mobile devices
by: Shivaraman, Nitin, et al.
Published: (2024)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Methods for Mitigating Uncertainty in Real-Time Operations of a Connected Microgrid
by: Panda, Subrat Prasad, et al.
Published: (2024)

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

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

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
by: Cosner, Ryan K., et al.
Published: (2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

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

Optimal Covariance Steering for Discrete-Time Linear Stochastic Systems
by: Liu, Fengjiao, et al.
Published: (2022)

Dirichlet Logistic Gaussian Processes for Evaluation of Black-Box Stochastic Systems under Complex Requirements
by: Oura, Ryohei, et al.
Published: (2024)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)

Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)

Cluster-based Network Time Synchronization for Resilience with Energy Efficiency
by: Shivaraman, Nitin, et al.
Published: (2024)

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

Reachability Analysis for Black-Box Dynamical Systems
by: Chilakamarri, Vamsi Krishna, et al.
Published: (2024)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
by: Zhao, Jianing, et al.
Published: (2026)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Distribution Steering for Discrete-Time Uncertain Ensemble Systems
by: Wu, Guangyu, et al.
Published: (2024)