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

软件工程学院

Wenzhou University
East China Normal University
Shanghai University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

源语言	英语
主期刊名	Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014
出版商	Association for Computing Machinery
页	107-108
页数	2
ISBN（印刷版）	9781450329637
DOI	https://doi.org/10.1145/2631948.2631967
出版状态	已出版 - 2014
活动	2014 Symposium on Symbolic-Numeric Computation, SNC 2014 - Shanghai, 中国期限: 28 7月 2014 → 31 7月 2014

出版系列

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

会议

会议	2014 Symposium on Symbolic-Numeric Computation, SNC 2014
国家/地区	中国
市	Shanghai
时期	28/07/14 → 31/07/14

访问文件

10.1145/2631948.2631967

其它文件与链接

链接到 Scopus 的出版物

引用此

Lin, W., Wu, M., Yang, Z., & Zeng, Z. (2014). Safety verification of nonlinear systems based on rational invariants. 在 Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014 (页码 107-108). (Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014). Association for Computing Machinery. https://doi.org/10.1145/2631948.2631967

@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. 在 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, 页码 107-108, 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, 中国, 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 等.
Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014. Association for Computing Machinery, 2014. 页码 107-108 (Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, SNC 2014).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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 -