Tightened reachability constraints for the verification of linear hybrid systems

Zhikun She; Zhiming Zheng

doi:10.1016/j.nahs.2008.09.013

Tightened reachability constraints for the verification of linear hybrid systems

Zhikun She^*
, Zhiming Zheng

^*此作品的通讯作者

数学科学学院

科研成果: 期刊稿件 › 文章 › 同行评审

8 引用（Scopus）

摘要

In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.

源语言	英语
页（从-至）	1222-1231
页数	10
期刊	Nonlinear Analysis: Hybrid Systems
卷	2
期	4
DOI	https://doi.org/10.1016/j.nahs.2008.09.013
出版状态	已出版 - 11月 2008

访问文件

10.1016/j.nahs.2008.09.013

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{d94c412627214bc48fcdd977d15624b3,

title = "Tightened reachability constraints for the verification of linear hybrid systems",

abstract = "In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.",

keywords = "Hybrid systems, Reachability constraints, Safety verification",

author = "Zhikun She and Zhiming Zheng",

year = "2008",

month = nov,

doi = "10.1016/j.nahs.2008.09.013",

language = "英语",

volume = "2",

pages = "1222--1231",

journal = "Nonlinear Analysis: Hybrid Systems",

issn = "1751-570X",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - Tightened reachability constraints for the verification of linear hybrid systems

AU - She, Zhikun

AU - Zheng, Zhiming

PY - 2008/11

Y1 - 2008/11

N2 - In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.

AB - In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.

KW - Hybrid systems

KW - Reachability constraints

KW - Safety verification

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

U2 - 10.1016/j.nahs.2008.09.013

DO - 10.1016/j.nahs.2008.09.013

M3 - 文章

AN - SCOPUS:56649112845

SN - 1751-570X

VL - 2

SP - 1222

EP - 1231

JO - Nonlinear Analysis: Hybrid Systems

JF - Nonlinear Analysis: Hybrid Systems

IS - 4

ER -

Tightened reachability constraints for the verification of linear hybrid systems

摘要

访问文件

其它文件与链接

学术指纹

引用此