Copertina

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Xue, Bai
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Almost Sure Reachability in Continuous-time Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2026)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
di: Sivaramakrishnan, Karthik, et al.
Pubblicazione: (2023)

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

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

Probabilistic Reachability Analysis of Stochastic Control Systems
di: Jafarpour, Saber, et al.
Pubblicazione: (2024)

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

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

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

On the Reachability of 3-Dimensional Paths with a Prescribed Curvature Bound
di: Bae, Juho, et al.
Pubblicazione: (2024)

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

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

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

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

Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
di: Liu, Fengjiao, et al.
Pubblicazione: (2024)

Constraint-Aware Mesh Refinement Method by Reachability Set Envelope of Curvature Bounded Paths
di: Bae, Juho, et al.
Pubblicazione: (2024)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
di: Padmanabhan, Ram, 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)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
di: Solanki, Prashant, et al.
Pubblicazione: (2025)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
di: Li, Jingqi, et al.
Pubblicazione: (2024)

Stochastic Tube-based Model Predictive Control for Cyber-Physical Systems under False Data Injection Attacks with Bounded Probability
di: Xiao, Yuzhou, et al.
Pubblicazione: (2025)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
di: Mballo, Chams Eddine, et al.
Pubblicazione: (2025)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2026)

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

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
di: Schmid, Niklas, 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)

Stochastic Shortest Path Problem with Failure Probability
di: Otsubo, Ritsusamuel
Pubblicazione: (2024)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
di: Delicaris, Joanna, et al.
Pubblicazione: (2026)

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

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

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

On the Reachability and Controllability of Temporal Continuous-Time Linear Networks: A Generic Analysis
di: Zhang, Yuan, et al.
Pubblicazione: (2023)

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

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
di: Xie, Peng, et al.
Pubblicazione: (2025)

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

Data-Driven Reachability Analysis for Piecewise Affine Systems
di: Xie, Peng, et al.
Pubblicazione: (2025)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
di: Wetzlinger, Mark, et al.
Pubblicazione: (2023)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
di: Haimovich, Hernan, et al.
Pubblicazione: (2026)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
di: Karam, Carlo, et al.
Pubblicazione: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
di: Das, Hrishav, et al.
Pubblicazione: (2026)

Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
di: Miller, Jared, et al.
Pubblicazione: (2024)