logo

SCIENCE CHINA Information Sciences, Volume 60, Issue 3: 039102(2017) https://doi.org/10.1007/s11432-015-0980-7

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

More info
  • ReceivedFeb 22, 2016
  • AcceptedApr 22, 2016
  • PublishedSep 27, 2016

Abstract


Acknowledgment

Acknowledgments

This work was supported in part by National Natural Science Foundation of China (Grant Nos. 11471209, 61321064) and Innovation Program of Shanghai Municipal Education Commission (Grant No. 14ZZ046).


References

[1] Alur R. Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software, New York, 2011. 273--278. Google Scholar

[2] 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. Google Scholar

[3] 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 CrossRef Google Scholar

[4] Kong H, He F, Song X, et al. Exponential-condition-based 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. Google Scholar

[5] 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. Google Scholar

[6] Platzer A, Clarke E M. Computing differential invariants of hybrid systems as fixedpoints. Form Methods Syst Des, 2009, 35: 98-120 CrossRef Google Scholar

[7] Sankaranarayanan S, Sipma H, Manna Z. Constructing invariants for hybrid systems. Form Methods Syst Des, 2008, 32: 25-55 CrossRef Google Scholar

[8] 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. Google Scholar

[9] 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 Google Scholar

Copyright 2020 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有

京ICP备18024590号-1       京公网安备11010102003388号