Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Taoran, Wagner, Dominik, Pan, Jingduo, Ong, Luke, Easwaran, Arvind, Xue, Bai
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
von: Wu, Taoran, et al.
Veröffentlicht: (2026)

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

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

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

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
von: Xue, Bai, et al.
Veröffentlicht: (2026)

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

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

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
von: Ren, Dejin, et al.
Veröffentlicht: (2025)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
von: Xue, Bai
Veröffentlicht: (2024)

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

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
von: Wu, Taoran, et al.
Veröffentlicht: (2024)

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

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
von: Pan, Jingduo, et al.
Veröffentlicht: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

A novel load distribution strategy for aggregators using IoT-enabled mobile devices
von: Shivaraman, Nitin, et al.
Veröffentlicht: (2024)

Robust Adaptive Discrete-Time Control Barrier Certificate
von: Liu, Changrui, et al.
Veröffentlicht: (2025)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
von: Xue, Bai
Veröffentlicht: (2023)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

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

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

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems
von: Luo, Yujia, et al.
Veröffentlicht: (2026)

Optimal Covariance Steering for Discrete-Time Linear Stochastic Systems
von: Liu, Fengjiao, et al.
Veröffentlicht: (2022)

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

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

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

Converse Theorems for Certificates of Safety and Stability
von: Mestres, Pol, et al.
Veröffentlicht: (2024)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
von: Akbarzadeh, Omid, et al.
Veröffentlicht: (2026)

Data-Driven Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2025)

Cluster-based Network Time Synchronization for Resilience with Energy Efficiency
von: Shivaraman, Nitin, et al.
Veröffentlicht: (2024)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
von: Rober, Nicholas, et al.
Veröffentlicht: (2023)

Reachability Analysis for Black-Box Dynamical Systems
von: Chilakamarri, Vamsi Krishna, et al.
Veröffentlicht: (2024)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
von: Zhao, Jianing, et al.
Veröffentlicht: (2026)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
von: Ren, Dejin, et al.
Veröffentlicht: (2024)

Safety Certification is Classification
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Distribution Steering for Discrete-Time Uncertain Ensemble Systems
von: Wu, Guangyu, et al.
Veröffentlicht: (2024)