Algorithmic analysis of polygonal hybrid systems, part I: Reachability

@article{Asarin2007AlgorithmicAO,
  title={Algorithmic analysis of polygonal hybrid systems, part I: Reachability},
  author={Eugene Asarin and Gerardo Schneider and Sergio Yovine},
  journal={Theor. Comput. Sci.},
  year={2007},
  volume={379},
  pages={231-265}
}
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

Citations

Publications citing this paper.

58 Citations

0510'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.

References

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…