Search Results for author: Bican Xia

Found 3 papers, 1 papers with code

Switching Controller Synthesis for Delay Hybrid Systems under Perturbations

no code implementations22 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.

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

no code implementations1 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

Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection

1 code implementation1 Mar 2020 Haokun Li, Bican Xia

A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed.

Cannot find the paper you are looking for? You can Submit a new open access paper.