Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

  title={Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement},
  author={Edmund M. Clarke and Ansgar Fehnker and Zhi Han and Bruce H. Krogh and Olaf Stursberg and Michael Theobald},
Hybrid dynamic systems include both continuous and discrete state variables. Properties of hybrid systems, which have an infinite state space, can often be verified using ordinary model checking together with a finite-state abstraction. Model checking can be inconclusive, however, in which case the abstraction must be refined. This paper presents a new procedure to perform this refinement operation for abstractions of infinite-state systems, in particular of hybrid systems. Following an… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 130 citations. REVIEW CITATIONS


Publications citing this paper.

130 Citations

Citations per Year
Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.


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

Similar Papers

Loading similar papers…