Recursive and Backward Reasoning in the Verification on Hybrid Systems

  title={Recursive and Backward Reasoning in the Verification on Hybrid Systems},
  author={Stefan Ratschan and Zhikun She},
In this paper we introduce two improvements to the method of verification of h ybrid systems by constraint propagation based abstraction refinement that we introduced earlier. T h first improvement improves the recursive propagation of reachability information over the regions con tituting the abstraction, and the second improvement reasons backward from the set of unsafe states, instea d of reasoning forward from the set of initial states. Detailed computational experiments document the… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 12 references

PHAVer: algorithmic verification of hybrid systems past HyTech

International Journal on Software Tools for Technology Transfer • 2007

Continuous and Interval Constraints

Handbook of Constraint Programming • 2006
View 1 Excerpt

Verifying analog oscillator circuits using forward/backward abstraction refinement

Proceedings of the Design Automation & Test in Europe Conference • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…