This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Alur R. Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software, New York, 2011. 273–278
Parrilo P A. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Dissertation for Ph.D. Degree. Los Angeles: California Institute of Technology, 2000
Prajna S, Jadbabaie A, Pappas G J. A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans Automat Contr, 2007, 52: 1415–1429
Kong H, He F, Song X, et al. Exponential-conditionbased barrier certificate generation for safety verification of hybrid systems. In: Proceedings of the International Conference on Computer Aided Verification, Saint Petersburg, 2013. 8044: 242–257
Gulwani S, Tiwari A. Constraint-based approach for analysis of hybrid systems. In: Proceedings of the International Conference on Computer Aided Verification, Princeton, 2008. 5123: 190–203
Platzer A, Clarke E M. Computing differential invariants of hybrid systems as fixedpoints. Form Methods Syst Des, 2009, 35: 98–120
Sankaranarayanan S, Sipma H, Manna Z. Constructing invariants for hybrid systems. Form Methods Syst Des, 2008, 32: 25–55
Liu J, Zhan N, Zhao H, et al. Abstraction of elementary hybrid systems by variable transformation. In: Proceedings of the 20th International Symposium on Formal Methods, Norway, 2015. 9109: 360–377
Yang Z, Lin W, Wu M. Exact verification of hybrid systems based on bilinear SOS representation. ACM Trans Embed Comput Syst, 2015, 14: 1–19
The authors declare that they have no conflict of interest.
About this article
Cite this article
Zeng, X., Lin, W., Yang, Z. et al. Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60, 39102 (2017). https://doi.org/10.1007/s11432-015-0980-7