SpaceEx State Space Explorer

Major Bugfix Update: SpaceEx v0.9.8c

Important bugs have been fixed in version 0.9.8c. Users are highly encouraged to update to this version.


The release includes the following improvements: 

  • major performance improvement in DAE to ODE conversion (quantifier elimination),
  • major bugfix in the conversion from DAE to ODE that could lead to guards and invariants being ignored or empty,
  • major bugfix in the treatment of piecewise linear functions that deteriorated accuracy and clustering in the STC scenario.

Version 0.9.8c is now available for download. Experience and bug reports are highly welcome.