GSPeeDI

GSPeeDI

Description: 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.\parUnlike 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.

Written in Python.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://folk.uio.no/hallstah/gspeedi/

Download: Link

Documentation: Link to relevant paper can be found here.

Contact: Hallstein Asheim Hansen (see website for email)

Excerpt from: http://www.gu.se/english/research/publication/?publicationId=115910