已选(0)清除
条数/页: 排序方式:
|
| Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他 2017-01-01 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2017/12/03
|
| Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2017/12/03
|
| Open weak CAD and its applications 其他 2017-01-01 Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2017/12/03
|
| Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2017/12/03
|
| Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他 2016-01-01 Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2017/12/03 |
| Computing Reachable Sets of Linear Vector Fields Revisited 其他 2016-01-01 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2017/12/03
|
| Smaller SDP for SOS decomposition 其他 2015-01-01 Dai, Liyun; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Proving inequalities and solving global optimization problems via simplified CAD projection 其他 2015-01-01 Han, Jingjun; Jin, Zhi; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0  |  提交时间:2017/12/03
|
| Decidability of the Reachability for a Family of Linear Vector Fields 其他 2015-01-01 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|