Algorithmic analysis of polygonal hybrid systems, part I: Reachability

  title={Algorithmic analysis of polygonal hybrid systems, part I: Reachability},
  author={Eugene Asarin and Gerardo Schneider and Sergio Yovine},
  journal={Theor. Comput. Sci.},
In this work we are concerned with the formal verification of two-dimensional non-deterministic hybrid systems, namely polygonal differential inclusion systems (SPDIs). SPDIs are a class of non-deterministic systems that correspond to piecewise constant differential inclusions on the plane, for which we study the reachability problem. Our contribution is the development of an algorithm for solving exactly the reachability problem of SPDIs. We extend the geometric approach due to Maler and… CONTINUE READING
Highly Cited
This paper has 57 citations. REVIEW CITATIONS


Publications citing this paper.

58 Citations

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

See our FAQ for additional information.


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

The power of QDDs

  • B. Boigelot, P. Godefroid, B. Willems, P. Wolper
  • in: Static Analysis Symposium, in: LNCS, vol…
  • 2007
1 Excerpt

Hybrid acceleration using real vector automata

  • B. Boigelot, F. Herbreteau, S. Jodogne
  • in: CAV, in: LNCS, vol. 2725, Springer
  • 2003
1 Excerpt

Greenstreet (Eds.), Hybrid Systems: Computation and Control, (Stanford, CA, USA)

  • M.R.C.J. Tomlin
  • in: LNCS,
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…