This is supplementary material for the submission at
Applied Verification for Continuous and Hybrid Systems (ARCH) 2017 Workshop
Catgory: Benchmark Submission
Title: Reachability Analysis of Transfomer-Isolated DC-DC Converters
Authors: Omar Ali Beg, Ali Davoudi, and Taylor T. Johnson

In this archive:
1) "examples" folder includes two benchmarks subfolders, i.e.:
  a. flyback (use flyback_openloop.xml and flyback_openloop_spaceex.cfg for reachability analysis)
  b. forward (use forward_conv.xml and forward_conv_spaceex.cfg for reachability analysis)
2) "lib" folder contains an executable Jar file of Hyst
3) "src/matlab" includes all source codes for the Hyst translation tool

To run the Hyst tool for conversion from spaceex to slsf, do the following:

1) Open Matlab
2) Move to the folder where you extracted the files
3) Make "src/matlab" as current directory in Matlab
4) Run the following command (where you enter a meaningful relative path to your model):
	
  Example call for flyback: 	

     SpaceExToStateflow('..\..\beg_arch2017_benchmark\examples\flyback\flyback_openloop.xml')

  This produces a Stateflow model on following location (might take some seconds, especially when the

  Simulink libraries have not been loaded yet):
  
  ..\..\arch2016_benchmark_ams_circuits\src\matlab\output_slsf_models