This is readme describes how to use the Hyst SpaceEx XML (SX) to MathWorks Simulink/Stateflow (SLSF) diagrams, particularly continuous-time Stateflow charts.

This is based on work under review for the Federated Conference on Distributed Computing Techniques 2015.
Title: Translating Hybrid Automata to Simulink/Stateflow Models
Authors: Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, and Christian Schilling
More details: http://swt.informatik.uni-freiburg.de/tool/spaceex/ha2slsf

To run the translator on the Chemical Akzo problem for example, use the following:

SpaceExToStateflow('Chemical_Akzo.xml', 'Chemical_Akzo.cfg', '--folder', 'Chemical_Akzo');

This will create and open the SLSF model for Chemical Akzo and will save the model file at output\Chemical_Akzo.mdl

To convert all the benchmarks, execute:

sx2slsf\sx2slsf_all_benchmarks.m