CORC

在结果中检索

CORC

浏览/检索结果: 共61条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Early ending in homotopy path-tracking for real roots 会议论文
Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican
收藏  |  浏览/下载：13/0  |  提交时间：2019/06/25
Reachability Analysis for Solvable Dynamical Systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 7
作者:  Gan, Ting;  Chen, Mingshuai;  Li, Yangjia;  Xia, Bican;  Zhan, Naijun
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/05
Reachability analysis for solvable dynamical systems 期刊论文
IEEE Transactions on Automatic Control, 2018, 卷号: 63, 期号: 7
作者:  Gan, Ting;  Chen, Mingshuai;  Li, Yangjia;  Xia, Bican;  Zhan, Naijun
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/05
Parameter Synthesis Problems for one parametric clock Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/26
Parameter synthesis problems for one parametric clock timed automata [arXiv] 期刊论文
arXiv, 2018, 页码: 20
作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/26
Barrier certificates revisited 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
收藏  |  浏览/下载：34/0  |  提交时间：2017/02/16
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他
2017-01-01
Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Open weak CAD and its applications 其他
2017-01-01
Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03

©版权所有 ©2017 CSpace - Powered by CSpace