Tightened Reachability Constraints for Safety Verification of Linear Hybrid Systems

Z. She and Z. Zheng (PRC)


Hybrid Systems, Verification, Reachability Constraints.


In this paper, we generalize reachability constraints that model the continuous flow for linear differential equations, tighten them by using the information on the multiplicity of the eigenvalues and eigenvectors of such equations, and then put them into our constraint based approach for safety verification of hybrid systems that employs recursive rea soning to improve the method of forward search based ab straction refinement.

Important Links:

Go Back