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
Barrier certificates, which serve as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS).
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.