In this repository, we provide a guide on how to interleave MATLAB modeling and SpaceEx reachability computations. The main functionalites involve (i) the cosntruction of SpaceEx model files (xml & ...
% addpath([ismrm_sunrise_path filesep 'ismrm_sunrise_matlab-master' filesep 'vdspiral']) % addpath([ismrm_sunrise_path filesep 'ismrm_sunrise_matlab-master' filesep ...