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

Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng

Research output: Contribution to journal › Letter › peer-review

1 Scopus citations

Original language	English
Article number	039102
Journal	Science China Information Sciences
Volume	60
Issue number	3
DOIs	https://doi.org/10.1007/s11432-015-0980-7
State	Published - 1 Mar 2017

Access to Document

@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 -