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

^*Corresponding author for this work

School of Mathematical Sciences

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

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.

Original language	English
Pages (from-to)	1222-1231
Number of pages	10
Journal	Nonlinear Analysis: Hybrid Systems
Volume	2
Issue number	4
DOIs	https://doi.org/10.1016/j.nahs.2008.09.013
State	Published - Nov 2008

Keywords

Hybrid systems
Reachability constraints
Safety verification

Access to Document

10.1016/j.nahs.2008.09.013

Cite this

@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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this