机构

• 软件研究所 [23]
• 重庆绿色智能技术研究... [1]

采集方式

• OAI收割 [24]

内容类型

• 会议论文 [14]
• 期刊论文 [10]

发表日期

• 2017 [1]
• 2015 [1]
• 2014 [2]
• 2013 [2]
• 2012 [2]
• 2011 [2]
• 更多

学科主题

• Computer S... [2]
• Applied [1]
• Computer S... [1]
• Informatio... [1]
• Theory & M... [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Barrier certificates revisited 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86 作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun 收藏  |  浏览/下载：45/0  |  提交时间：2017/02/16 Hybrid system  Barrier certificate  Formal verification  Invariant  Nonlinear system  Semi-definite programming  Sum of squares   Abstraction of elementary hybrid systems by variable transformation 会议论文  OAI收割 Oslo, Norway, June 24, 2015 - June 26, 2015 作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang   |  收藏  |  浏览/下载：24/0  |  提交时间：2018/03/16 Super-dense computation in verification of hybrid CSP processes 会议论文  OAI收割 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)   |  收藏  |  浏览/下载：18/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 会议论文  OAI收割 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)   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 Lunar lander  formal verification  hybrid systems  reachable set  invariant   model checking conditional csl for continuous-time markov chains 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun   |  收藏  |  浏览/下载：24/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   CCMC: A conditional CSL model checker for continuous-time Markov chains 会议论文  OAI收割 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013 Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)   |  收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16 a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example 会议论文  OAI收割 18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012 Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G.   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22 Errors  Game theory  Hybrid systems  Model checking   an assume/guarantee based compositional calculus for hybrid csp 会议论文  OAI收割 9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012 Wang Shuling; Zhan Naijun; Guelev Dimitar   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22 Differential equations  Hybrid systems   computing semi-algebraic invariants for polynomial dynamical systems 会议论文  OAI收割 Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11, Taipei, Taiwan, October 9, Liu Jiang; Zhan Naijun; Zhao Hengjun   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/10/08 Embedded software  Embedded systems  Polynomials   symbolic decision procedure for termination of linear programs 会议论文  OAI收割 symbolic decision procedure for termination of linear programs, 北京, 2011 Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/10/10 Computer science  Manganese compounds