Sciweavers

ICTAC
2009
Springer

GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems

13 years 9 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
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.
Hallstein Asheim Hansen, Gerardo Schneider
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICTAC
Authors Hallstein Asheim Hansen, Gerardo Schneider
Comments (0)