3 citations · 9 across the 10 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Yunjun Bai, Ting Gan, Li Jiao +3
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors. Induced by signal transmission, conversion, the nature of plants, an…
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
Bai Xue, Miaomiao Zhang, Arvind Easwaran +1
In this paper we present a novel model checking approach to finite-time safety verification of black-box continuous-time dynamical systems within the framework of probably approxim…
Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite Programming
Qiuye Wang, Lihong Zhi, Naijun Zhan +2
In this paper, we present a novel approach to synthesize invariant clusters for polynomial programs. An invariant cluster is a set of program invariants that share a common structu…