Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

  title={Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction},
  author={Rajeev Alur and Thao Dang and Franjo Ivancic},
Predicate abstraction has emerged to be a powerful technique for extracting nite-state models from in nite-state systems, and has been recently shown to enhance the e ectiveness of the reachability computation techniques for hybrid systems. Given a hybrid system with linear dynamics and a set of linear predicates, the veri er performs an on-they search of the nite discrete quotient whose states correspond to the truth assignments to the input predicates. To compute the transitions out of an… CONTINUE READING
Highly Cited
This paper has 81 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 55 extracted citations

82 Citations

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

See our FAQ for additional information.

Similar Papers

Loading similar papers…