Advertisement

Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

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

This is a preview of subscription content, log in to check access.

References

  1. 1

    Alur R. Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software, New York, 2011. 273–278

  2. 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

  3. 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

  4. 4

    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

  5. 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

  6. 6

    Platzer A, Clarke E M. Computing differential invariants of hybrid systems as fixedpoints. Form Methods Syst Des, 2009, 35: 98–120

  7. 7

    Sankaranarayanan S, Sipma H, Manna Z. Constructing invariants for hybrid systems. Form Methods Syst Des, 2008, 32: 25–55

  8. 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

  9. 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

Download references

Author information

Correspondence to Wang Lin.

Additional information

The authors declare that they have no conflict of interest.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation

  • 039102