MeasureDesignHybridSOS CDC2014 Code Code for using occupation measures for computation of reachable sets. Uses SPOTless found @ https://github.com/spot-toolbox/spotless