QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Super-dense computation in verification of hybrid CSP processes 会议论文 10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013 Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2) 收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16 Hybrid system  Differential invariant  Hybrid CSP  Duration Calculus  Super-dense computation  Hybrid Hoare logic   Formal verification of a descent guidance control program of a lunar lander 会议论文 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014 Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3) 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 Lunar lander  formal verification  hybrid systems  reachable set  invariant   Generating polynomial invariants with DISCOVERER and QEPCAD (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, China, September 24, 2007 - September 27, 2007 作者:  Chen, Yinghua[1];  Xia, Bican[1];  Yang, Lu[2];  Zhan, Naijun[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/17 Algorithms  Computational complexity  Computer programming  Problem solving   Computing reachable sets of linear vector fields revisited (EI收录) 会议 Aalborg, Denmark, 作者:  Gan, Ting[1];  Chen, Mingshuai[2];  Li, Yangjia[2];  Xia, Bican[1];  Zhan, Naijun[2] 收藏  |  浏览/下载：9/0  |  提交时间：2019/04/11 Abstracting  Computability and decidability  Dynamical systems  Eigenvalues and eigenfunctions  Exponential functions  Hybrid systems  Linear control systems  Stream flow   Generating non-linear interpolants by semidefinite programming (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Saint Petersburg, Russia, July 13, 2013 - July 19, 2013 作者:  Dai, Liyun[1,3];  Xia, Bican[1];  Zhan, Naijun[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Computer aided analysis  Interpolation  Model checking