Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Taoran, Wagner, Dominik, Pan, Jingduo, Ong, Luke, Easwaran, Arvind, Xue, Bai
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Data-Driven Certificate Synthesis
di: Rickard, Luke, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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