Tightened reachability constraints for the verification of linear hybrid systems

详细信息    查看全文

• 作者：Zhikun She ; Zhiming Zheng
• 关键词：Hybrid systems ; Safety verification ; Reachability constraints
• 刊名：Nonlinear Analysis: Hybrid Systems
• 出版年：2008
• 出版时间：November 2008
• 年：2008
• 卷：2
• 期：4
• 页码：1222-1231
• 全文大小：634 K

文摘

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.