中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	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
	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
	geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants 期刊论文 OAI收割 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 卷号: 7788, 页码: 189-228 Kapur Deepak; Zhang Zhihai; Horbach Matthias; Zhao Hengjun; Lu Qi; Nguyen ThanhVu \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2013/09/17 Abstracting
	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
	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