Theoretical Aspects of Computing - ICTAC 2009

Volume 5684 of the series Lecture Notes in Computer Science pp 343-348

GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems

  • Hallstein Asheim HansenAffiliated withBuskerud University College
  • , Gerardo SchneiderAffiliated withDept. of Informatics, University of Oslo

* Final gross prices may vary according to local VAT.

Get Access


The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not restricted by the goodness assumption from previous work on the so-called SPDIs.

Unlike SPeeDI (a tool for reachability analysis of SPDIs) the underlying analysis of GSPeeDI is based on a breadth-first search algorithm, and it can handle more general systems.