Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Xue Bai"'
Inner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems analysis and control theory as it provides a reliable estimation of the s
Externí odkaz:
http://arxiv.org/abs/2405.11155
Autor:
Xue, Bai
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 that, within a predefined finite-time horizon, a system starting from
Externí odkaz:
http://arxiv.org/abs/2404.18118
Ensuring safety through set invariance has proven to be a valuable method in various robotics and control applications. This paper introduces a comprehensive framework for the safe probabilistic invariance verification of both discrete- and continuou
Externí odkaz:
http://arxiv.org/abs/2404.09007
In this paper, we investigate the problem of verifying the finite-time safety of continuous-time perturbed deterministic systems represented by ordinary differential equations in the presence of measurable disturbances. Given a finite time horizon, i
Externí odkaz:
http://arxiv.org/abs/2402.17167
Autor:
Liang, Zhen, Wu, Taoran, Zhao, Ran, Xue, Bai, Wang, Ji, Yang, Wenjing, Deng, Shaojun, Liu, Wanwei
Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectiveness and efficiency. However, these strategies face challenges in address
Externí odkaz:
http://arxiv.org/abs/2401.12550
Autor:
Xue, Bai
This manuscript presents an innovative framework for constructing barrier functions to bound reachability probabilities for continuous-time stochastic systems described by stochastic differential equations (SDEs). The reachability probabilities consi
Externí odkaz:
http://arxiv.org/abs/2312.15843
Constraint-solving-based program invariant synthesis involves taking a parametric template, encoding the invariant conditions, and attempting to solve the constraints to obtain a valid assignment of parameters. The challenge lies in that the resultin
Externí odkaz:
http://arxiv.org/abs/2310.11133
Autor:
Xue, Bai
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 controllers that maximize the lower bounds of the exit probability tha
Externí odkaz:
http://arxiv.org/abs/2310.05088
Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across industries, including aerospace, automotive, and manufacturing. This pa
Externí odkaz:
http://arxiv.org/abs/2310.04961
Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability of hybrid systems in a correct-by-construction manner. Unfortunately,
Externí odkaz:
http://arxiv.org/abs/2309.05906