SpaceEx State Space Explorer

SpaceEx v0.9 released, with major gains in speed and precision

SpaceEx v0.9 features a new variable time-step algorithm and a new, much more precise, approximation model. Together, this leads to a considerable increase in performance.

SpaceEx has also become more user-friendly. The user no longer has to specify a time-step. Instead he can specify a "flowpipe-tolerance", which provides an upper bound on the overapproximation error with respect to each template direction.

The new version is available on the download page.