SpaceEx State Space Explorer

Simulink to SpaceEx translator SL2SX available

A semi-automatic translation tool from Simlink to SpaceEx, called SL2SX, is now available as a beta-version from http://www-verimag.imag.fr/~minopoli/sl2sx.html. The tool will be presented at HSCC'16, together with a theoretical paper on how to handle the semantic differences.