1 code implementation • 1 Mar 2020 • Haokun Li, Bican Xia
A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed.
no code implementations • 1 Feb 2021 • Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
This property indicates that when the corresponding perfect elimination tree has a lower height, the full set of projection polynomials also tends to have a smaller "size".
Symbolic Computation
no code implementations • 22 Mar 2021 • Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors.
no code implementations • 24 Dec 2023 • Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
Furthermore, motivated by this formulation, we introduce the definition of homogenized systems and propose a complete characterization of a family of non-polynomial barrier certificates with more expressive power.
no code implementations • 13 Apr 2024 • Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
Ensuring safety through set invariance has proven to be a valuable method in various robotics and control applications.