17 citations · 81 across the 44 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
eess.SY2013★ 3 cited
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…
eess.SY2013★ 2 cited
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
Deepak Kapur, Naijun Zhan, Hengjun Zhao
We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combinin…
cs.LO2013★ 2 cited
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…