Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Xue, Bai
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Stochastic Shortest Path Problem with Failure Probability
by: Otsubo, Ritsusamuel
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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