15 citations · 52 across the 35 of their papers we have counts for
5 papers · 1 filter
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems
Hoon Hong, Xiaoxian Tang, Bican Xia
We consider the problem of counting (stable) equilibriums of an important family of algebraic differential equations modeling multistable biological regulatory systems. The problem…
Barrier Certificates Revisited
Liyun Dai, Ting Gan, Bican Xia +1
A barrier certificate can separate the state space of a con- sidered hybrid system (HS) into safe and unsafe parts ac- cording to the safety property to be verified. Therefore this…
Deciding Nonnegativity of Polynomials by MAPLE
Lu Yang, Bican Xia
There have been some effective tools for solving (constant/parametric) semi-algebraic systems in Maple's library RegularChains since Maple 13. By using the functions of the library…
Generating Non-Linear Interpolants by Semidefinite Programming
Liyun Dai, Bican Xia, Naijun Zhan
Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose ha…
Generic Regular Decompositions for Parametric Polynomial Systems
Zhenghong Chen, Xiaoxian Tang, Bican Xia
This paper presents a generalization of our earlier work in [19]. In this paper, the two concepts, generic regular decomposition (GRD) and regular-decomposition-unstable (RDU) vari…