Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation

^*此作品的通讯作者

科研成果: 期刊稿件 › 快报 › 同行评审

1 引用（Scopus）

源语言	英语
文章编号	039102
期刊	Science China Information Sciences
卷	60
期	3
DOI	https://doi.org/10.1007/s11432-015-0980-7
出版状态	已出版 - 1 3月 2017

访问文件

@article{86273680568c42fca4f6e4f9610834de,

title = "Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation",

author = "Xia Zeng and Wang Lin and Zhengfeng Yang and Zhenbing Zeng",

year = "2017",

month = mar,

day = "1",

doi = "10.1007/s11432-015-0980-7",

language = "英语",

volume = "60",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science China Press ",

number = "3",

}

TY - JOUR

T1 - Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation

AU - Zeng, Xia

AU - Lin, Wang

AU - Yang, Zhengfeng

AU - Zeng, Zhenbing

PY - 2017/3/1

Y1 - 2017/3/1

UR - https://www.scopus.com/pages/publications/84989814509

U2 - 10.1007/s11432-015-0980-7

DO - 10.1007/s11432-015-0980-7

M3 - 快报

AN - SCOPUS:84989814509

SN - 1674-733X

VL - 60

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 3

M1 - 039102

ER -