Cover Image

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Fuente: arXiv

Saved in:

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

Similar Items

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

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

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, 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)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, 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)

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

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
by: Feng, Shenghua, et al.
Published: (2025)

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

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

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

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

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
by: Su, Han, et al.
Published: (2023)

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

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
by: Liu, Zishun, et al.
Published: (2024)

Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
by: Fushimi, Sotaro, et al.
Published: (2025)

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

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
by: Chung, Long Kiu, et al.
Published: (2024)

Reach-avoid games for players with damped double integrator dynamics
by: Lyu, Mengxin, et al.
Published: (2025)

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
by: Liu, Zishun, et al.
Published: (2025)

Covariance Stabilization for a class of Stochastic Discrete-time Linear Systems using the S-Variable Approach
by: Moussa, Kaouther, et al.
Published: (2025)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
by: Ding, Jianqiang, et al.
Published: (2025)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
by: Shakhesi, Erfan, et al.
Published: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)

On the Nonexistence of Continuous Immersions for Discrete-time Systems
by: Ristich, Eron, et al.
Published: (2026)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Discrete-time Two-Layered Forgetting RLS Identification under Finite Excitation
by: Tsuruhara, Satoshi, et al.
Published: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Discrete-time Negative Imaginary Systems from ZOH Sampling
by: Shi, Kanghong, et al.
Published: (2023)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

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

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

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

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Robust Finite-time Stabilization of Linear Systems with Limited State Quantization
by: Zhou, Yu, et al.
Published: (2024)

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

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

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

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)