7 citations · 25 across the 18 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
eess.SY2023
Reach-avoid Controllers Synthesis for Safety Critical Systems
Bai Xue
In this paper we propose sufficient conditions to synthesizing reach-avoid controllers for deterministic systems modelled by ordinary differential equations and stochastic systems…
eess.SY2023★ 2 cited
Reachability Verification for Stochastic Discrete-time Dynamical Systems
Bai Xue
In this paper we study reachability verification problems of stochastic discrete-time dynamical systems over the infinite time horizon. The reachability verification of interest in…
eess.SY2023
Reach-avoid Verification using Lyapunov Densities
Bai Xue
Reach-avoid analysis combines the construction of safety and specific progress guarantees, and is able to formalize many important engineering problems. In this paper we study the…