![](/img/cover-not-exists.png)
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation
Xia Zeng,Wang Lin,Zhengfeng Yang,Zhenbing ZengVolume:
60
Language:
english
Journal:
Science China Information Sciences
DOI:
10.1007/s11432-015-0980-7
Date:
March, 2017
File:
PDF, 200 KB
english, 2017