Zobrazeno 1 - 10
of 4 689
pro vyhledávání: '"Xue, BAI"'
Autor:
Xue, Bai
In this paper, we examine sufficient and necessary barrier-like conditions for the safety verification and reach-avoid verification of stochastic discrete-time systems. Safety verification aims to certify the satisfaction of the safety property, whic
Externí odkaz:
http://arxiv.org/abs/2408.15572
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
Autor:
Lin Zhang, Yuntian Deng, Xue Bai, Xiao Wei, Yushuang Ren, Shuang Chen, Hongxin Deng, Yanjie Yin
Publikováno v:
Chinese Medical Journal, Vol 137, Iss 23, Pp 2808-2820 (2024)
Abstract. Liver disease involves a complex interplay of pathological processes, including inflammation, hepatocyte necrosis, and fibrosis. End-stage liver disease (ESLD), such as liver failure and decompensated cirrhosis, has a high mortality rate, a
Externí odkaz:
https://doaj.org/article/e5d9d4666e274df888ed14338160c81b
Publikováno v:
Energy Informatics, Vol 7, Iss 1, Pp 1-13 (2024)
Abstract With the intensification of the global energy crisis and the increase in environmental awareness, energy-saving problems related to household appliances have garnered widespread attention. Here, the usage patterns of electric washing machine
Externí odkaz:
https://doaj.org/article/9427c5be189b44c69e704a7a83a3d9b9
Autor:
Yumin Chen, Xue Bai, Ying Zhang, Yafang Zhao, Huagen Ma, Yunbo Yang, Meijun Wang, Yinghui Guo, Xiaopeng Li, Tong Wu, Yue Zhang, Hui Kong, Yan Zhao, Huaihua Qu
Publikováno v:
Artificial Cells, Nanomedicine, and Biotechnology, Vol 52, Iss 1, Pp 12-22 (2024)
Chinese herbs contain substances that regulate female hormones. Our study confirmed that Zingiberis rhizoma carbonisata contains Zingiberis rhizoma-based carbon dots (ZR-CDs), which exert regulatory effects on serum oestradiol and FSH in mice and sho
Externí odkaz:
https://doaj.org/article/4f0b9b0274784f5da89c9944c80fec25