@InProceedings{Dzetkulic:09,
  author = {Tom{\'a}{\v s} Dzetkuli{\v c} and Stefan Ratschan},
  title = {How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes},
  booktitle = {ADHS'09: 3rd IFAC Conference on Analysis and Design of Hybrid Systems},
  year = 2009,
  subproject =   {H1/2},
  pages =        {274--279},
  access = {restricted},
  bibtex={ratschan.adhs09.bib},
  pdf={ratschan.adhs09.pdf},
  abstract = {In this paper we make a step towards an algorithm for the
verification of hybrid systems that, on the one hand allows very general
inputs (e.g., with non-linear ordinary differential equations), but on
the other hand exploits the structure of those parts of the input that
represent special cases (e.g., clocks). We show how to compute  slices
of parallel hyperplanes separating reachable from unreachable parts of
the state space for a given abstraction of the input system, and
demonstrate the usefulness of such slices within an abstraction
refinement algorithm based on hyper-rectangles.},
}