CSpace

浏览/检索结果: 共4条,第1-4条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Nonexistence of minimal pairs in L[d] 会议论文
11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29, 2015 - July 3, 2015
作者:  Fang, Chengling;  Liu, Jiang;  Wu, Guohua;  Yamaleev, Mars M.
Adobe PDF(182Kb)  |  收藏  |  浏览/下载:72/0  |  提交时间:2018/03/16
Abstraction of elementary hybrid systems by variable transformation 会议论文
20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015
作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang
Adobe PDF(512Kb)  |  收藏  |  浏览/下载:52/0  |  提交时间:2018/03/16
A heuristic for sigma set selection of UKF 会议论文
2014 12th IEEE International Conference on Signal Processing, ICSP 2014, Hangzhou, China, October 19, 2014 - October 23, 2014
作者:  Wang, Yujin;  Liu, Jiang;  Yang, Wenqiang;  Zhang, Ju
Adobe PDF(918Kb)  |  收藏  |  浏览/下载:72/0  |  提交时间:2018/03/16
A linear extension of Unscented Kalman Filter to higher-order moment-matching 会议论文
2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014, 900 West Olympic Boulevard, Los Angeles, CA, United states, December 15, 2014 - December 17, 2014
作者:  Liu, Jiang;  Wang, Yujin;  Zhang, Ju
Adobe PDF(550Kb)  |  收藏  |  浏览/下载:49/0  |  提交时间:2018/03/16