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]
刊名	中国科学. 信息科学
	2017
卷号	60页码:039102
ISSN号	1674-733X
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2194356
专题	上海大学
作者单位	1.East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, Shanghai 200062, China 2.College of Mathematics and Information Science, Wenzhou University, State Key Laboratory for Novel Software Technology, Zhejiang 325035, China 3.Department of Mathematics, Shanghai University, Shanghai 200444, 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]. 中国科学. 信息科学,2017,60:039102.
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.中国科学. 信息科学,60,039102.
MLA	Zeng Xia[1],et al."Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation".中国科学. 信息科学 60(2017):039102.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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