Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

27

ICTAC
2009
Springer

favoriteEmaildiscussreport

127views Applied Computing» more ICTAC 2009»

GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems

13 years 8 months ago

GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems

Download folk.uio.no

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

Real-time Traffic

Applied Computing | Breadth-first Search Algorithm | Decision Procedure | ICTAC 2009 | Reachability Analysis |

claim paper

Related Content

» Reachability analysis of GSPDIs theory optimization and implementation

» Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Appro...

» Symbolic analysis for improving simulation coverage of SimulinkStateflow models

» Membership Questions for Timed and Hybrid Automata

» Incorporating dynamic real objects into immersive virtual environments

» You can catch more bugs with transaction level honey

» Randomized directed testing REDIRECT for SimulinkStateflow models

Post Info
More Details (n/a)

Added	19 Feb 2011
Updated	19 Feb 2011
Type	Journal
Year	2009
Where	ICTAC
Authors	Hallstein Asheim Hansen, Gerardo Schneider

Comments (0)