Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation
Crossref DOI link: https://doi.org/10.1007/s11432-015-0980-7
Published Online: 2016-09-27
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zeng, Xia
Lin, Wang
Yang, Zhengfeng
Zeng, Zhenbing
License valid from 2016-09-27