1 citations · 1 across the 10 of their papers we have counts for
10 papers · 1 filter
Sufficient and Necessary Smooth Barrier-like Conditions for Continuous-Time Stochastic Reach-Avoid Verification
Bai Xue
In this paper, we study infinite-horizon reach-avoid verification for continuous-time stochastic systems modeled by stochastic differential equations (SDEs). We formulate this prob…
Sufficient and Necessary Continuous Barrier-like Conditions for Discrete-Time Stochastic Reach-Avoid Verification
Bai Xue
This paper develops necessary and sufficient barrier-like characterizations using continuous barrier functions for infinite-horizon reach-avoid verification of discrete-time stocha…
Converse Barrier Certificates for Set-Based Stochastic Reach-Avoid Verification
Bai Xue, C. -H. Luke Ong
Recent work established sufficient and necessary barrier-like conditions for infinite-horizon reach-avoid verification of stochastic discrete-time systems from a single initial sta…
Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
Bai Xue, C. -H. Luke Ong
This paper addresses the quantitative verification of finite-time constrained occupation time for stochastic continuous-time systems governed by stochastic differential equations (…
Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
Bai Xue, Peixin Wang, C. -H. Luke Ong
This paper addresses the quantitative verification of constrained occupation time in stochastic discrete-time systems, focusing on the probability of visiting a target set at least…
Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
Bai Xue, Luke Ong, Dominik Wagner +1
Providing finite-time probabilistic safety and reach-avoid guarantees is crucial for safety-critical stochastic systems. Existing state-of-the-art barrier methods often rely on a r…
Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
Bai Xue
This paper investigates necessary and sufficient barrier-like conditions for infinite-horizon safety and reach-avoid verification of stochastic discrete-time systems, derived via a…
Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
Bai Xue
This paper studies finite-time safety and reach-avoid verification for stochastic discrete-time dynamical systems. The aim is to ascertain lower and upper bounds of the probability…
A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
Bai Xue
This manuscript presents an innovative framework for constructing barrier functions to bound reachability probabilities for continuous-time stochastic systems described by stochast…
Safe Exit Controllers Synthesis for Continuous-time Stochastic Systems
Bai Xue
This paper tackles the problem of generating safe exit controllers for continuous-time systems described by stochastic differential equations (SDEs). The primary aim is to develop…