SpaceEx State Space Explorer

News from the SpaceEx Project

Release of SpaceEx v0.9.5 with Simulator Scenario

Submitted on Friday, 28 October 2011

SpaceEx has been extended with a basic simulator scenario. It computes trajectories for a given number of points in the set of initial states.

SpaceEx v0.9.4 released, new features and bugfixes

Submitted on Friday, 10 June 2011

This latest update fixes a number of known bugs and provides a few new features.

Helicopter Example posted

Submitted on Friday, 4 March 2011

A 28-dimensional controlled helicopter model is now available here. It illustrates the precision and speed of SpaceEx.

SpaceEx Model Editor Update to version 0.8.346

Submitted on Friday, 4 March 2011

The SpaceEx Model Editor has been extended with better handling of components and an improved visualization of automata.

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

Submitted on Friday, 4 March 2011

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 VM Server Update

Submitted on Wednesday, 24 November 2010

The SpaceEx VM server is updated with a bugfix release.

Instructions for Converting the Virtual Machine

Submitted on Thursday, 11 November 2010

Instructions for converting the SpaceEx VM server to other formats are now available.

New Documentation: Introduction to SpaceEx

Submitted on Wednesday, 3 November 2010

An informal introduction to SpaceEx and its features is now available in the user documentation section.

SpaceEx 0.8 beta released

Submitted on Friday, 29 October 2010

A beta version of SpaceEx v0.8 is now available for download.

New design for the Web Interface and for the this website

Submitted on Wednesday, 7 July 2010

The SpaceEx project website has just been updated with a new design and some new features. You can now find publications related to the project on the Documentation section and the overall design has been redone. We hope you'll like it.