Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Xue, Bai
Format:	Preprint
Publié:	2023
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Almost Sure Reachability in Continuous-time Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2026)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
par: Sivaramakrishnan, Karthik, et autres
Publié: (2023)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
par: Xue, Bai
Publié: (2024)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
par: Xue, Bai, et autres
Publié: (2026)

Probabilistic Reachability Analysis of Stochastic Control Systems
par: Jafarpour, Saber, et autres
Publié: (2024)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
par: Liu, Zishun, et autres
Publié: (2024)

On Certificates for Almost Sure Reachability in Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

On the Reachability of 3-Dimensional Paths with a Prescribed Curvature Bound
par: Bae, Juho, et autres
Publié: (2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
par: Wu, Taoran, et autres
Publié: (2024)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
par: Xue, Bai, et autres
Publié: (2026)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
par: Sivaramakrishnan, Vignesh, et autres
Publié: (2024)

Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
par: Liu, Fengjiao, et autres
Publié: (2024)

Constraint-Aware Mesh Refinement Method by Reachability Set Envelope of Curvature Bounded Paths
par: Bae, Juho, et autres
Publié: (2024)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
par: Padmanabhan, Ram, et autres
Publié: (2026)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
par: Li, Yonghan, et autres
Publié: (2024)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
par: Solanki, Prashant, et autres
Publié: (2025)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
par: Li, Jingqi, et autres
Publié: (2024)

Stochastic Tube-based Model Predictive Control for Cyber-Physical Systems under False Data Injection Attacks with Bounded Probability
par: Xiao, Yuzhou, et autres
Publié: (2025)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
par: Mballo, Chams Eddine, et autres
Publié: (2025)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
par: Dietrich, Elizabeth, et autres
Publié: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
par: Schmid, Niklas, et autres
Publié: (2026)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)

Stochastic Shortest Path Problem with Failure Probability
par: Otsubo, Ritsusamuel
Publié: (2024)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
par: Delicaris, Joanna, et autres
Publié: (2026)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
par: Ren, Dejin, et autres
Publié: (2024)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
par: Wu, Taoran, et autres
Publié: (2026)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
par: Liu, Zishun, et autres
Publié: (2025)

On the Reachability and Controllability of Temporal Continuous-Time Linear Networks: A Generic Analysis
par: Zhang, Yuan, et autres
Publié: (2023)

Reachability Analysis for Black-Box Dynamical Systems
par: Chilakamarri, Vamsi Krishna, et autres
Publié: (2024)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
par: Xie, Peng, et autres
Publié: (2025)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
par: Wu, Taoran, et autres
Publié: (2025)

Data-Driven Reachability Analysis for Piecewise Affine Systems
par: Xie, Peng, et autres
Publié: (2025)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
par: Wetzlinger, Mark, et autres
Publié: (2023)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
par: Haimovich, Hernan, et autres
Publié: (2026)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
par: Karam, Carlo, et autres
Publié: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
par: Das, Hrishav, et autres
Publié: (2026)

Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
par: Miller, Jared, et autres
Publié: (2024)