Safety verification of nonlinear systems based on rational invariants

Wang Lin; Min Wu; Zhengfeng Yang; Zhenbing Zeng

doi:10.1145/2631948.2631967

Safety verification of nonlinear systems based on rational invariants

Wang Lin
, Min Wu
, Zhengfeng Yang
, Zhenbing Zeng

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014
Publisher	Association for Computing Machinery
Pages	107-108
Number of pages	2
ISBN (Print)	9781450329637
DOIs	https://doi.org/10.1145/2631948.2631967
State	Published - 2014
Event	2014 Symposium on Symbolic-Numeric Computation, SNC 2014 - Shanghai, China Duration: 28 Jul 2014 → 31 Jul 2014

Publication series

Name	Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014

Conference

Conference	2014 Symposium on Symbolic-Numeric Computation, SNC 2014
Country/Territory	China
City	Shanghai
Period	28/07/14 → 31/07/14

Keywords

BMI solving
Rational invariant
Safety verfication
Sum-of-squares relaxation

Access to Document

10.1145/2631948.2631967

Cite this

@inproceedings{1ab138d86b4747f9ba9ba1855f0fcbeb,

title = "Safety verification of nonlinear systems based on rational invariants",

keywords = "BMI solving, Rational invariant, Safety verfication, Sum-of-squares relaxation",

author = "Wang Lin and Min Wu and Zhengfeng Yang and Zhenbing Zeng",

year = "2014",

doi = "10.1145/2631948.2631967",

language = "英语",

isbn = "9781450329637",

series = "Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014",

publisher = "Association for Computing Machinery",

pages = "107--108",

booktitle = "Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014",

address = "美国",

note = "2014 Symposium on Symbolic-Numeric Computation, SNC 2014 ; Conference date: 28-07-2014 Through 31-07-2014",

}

Lin, W, Wu, M, Yang, Z & Zeng, Z 2014, Safety verification of nonlinear systems based on rational invariants. in Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014. Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Association for Computing Machinery, pp. 107-108, 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, 28/07/14. https://doi.org/10.1145/2631948.2631967

Safety verification of nonlinear systems based on rational invariants. / Lin, Wang; Wu, Min; Yang, Zhengfeng et al.
Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014. Association for Computing Machinery, 2014. p. 107-108 (Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Safety verification of nonlinear systems based on rational invariants

AU - Lin, Wang

AU - Wu, Min

AU - Yang, Zhengfeng

AU - Zeng, Zhenbing

PY - 2014

Y1 - 2014

KW - BMI solving

KW - Rational invariant

KW - Safety verfication

KW - Sum-of-squares relaxation

UR - https://www.scopus.com/pages/publications/84906323675

U2 - 10.1145/2631948.2631967

DO - 10.1145/2631948.2631967

M3 - 会议稿件

AN - SCOPUS:84906323675

SN - 9781450329637

T3 - Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014

SP - 107

EP - 108

BT - Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014

PB - Association for Computing Machinery

T2 - 2014 Symposium on Symbolic-Numeric Computation, SNC 2014

Y2 - 28 July 2014 through 31 July 2014

ER -

Safety verification of nonlinear systems based on rational invariants

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this