SpaceEx State Space Explorer

SpaceEx VM Server Update

The SpaceEx VM server is updated with a bugfix release.

The following bugs have been addressed:

- Config files can now be saved from within the web interface.

- Several small bugs have been removed from the web interface.


As a new feature, the core now handles algebraic constraints. Note that these constraints are evaluated only after the flowpipe construction is done, so that these can not yet be used to close feed back loops. For example

   x'==a*x+u & u==-x

gives the result obtained by computing first

   x'==a*x+u & -infty <= u <= infty

and then intersecting with the constraint u==-x. The final result will be -infty <= x <= infty and -infty <= u <= infty.