Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Taoran, Wagner, Dominik, Ong, C. -H. Luke, Xue, Bai
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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)

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

Finite-time 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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