Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng. Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Science in China Series F: Information Sciences, 60(3):39102, 2017. [doi]
Abstract is missing.