QQ客服 官方微博 反馈留言

	Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation
	Zeng, Xia[1]; Lin, Wang[2]; Yang, Zhengfeng[3]; Zeng, Zhenbing[4]
刊名	SCIENCE CHINA-INFORMATION SCIENCES
	2017
卷号	60
ISSN号	1674-733X
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2195286
专题	上海大学
作者单位	1.[1]East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 2.[2]Wenzhou Univ, Coll Math & Informat Sci, Wenzhou 325035, Zhejiang, Peoples R China.,Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210093, Jiangsu, Peoples R China. 3.[3]East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 4.[4]Shanghai Univ, Dept Math, Shanghai 200444, Peoples R China.
推荐引用方式 GB/T 7714	Zeng, Xia[1],Lin, Wang[2],Yang, Zhengfeng[3],et al. Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation[J]. SCIENCE CHINA-INFORMATION SCIENCES,2017,60.
APA	Zeng, Xia[1],Lin, Wang[2],Yang, Zhengfeng[3],&Zeng, Zhenbing[4].(2017).Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.SCIENCE CHINA-INFORMATION SCIENCES,60.
MLA	Zeng, Xia[1],et al."Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation".SCIENCE CHINA-INFORMATION SCIENCES 60(2017).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。