This is the images README for the paper "Scalable Static Hybridization Methods for Analysis of Nonlinear Systems" by Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, and Pradyot Prakkash, HSCC 2016

All the computations and images in the paper can be generated by running a single script. Before the script is run, however, a few dependencies must be in place (the custom dependencies are included in the deps folder).

- The Hyst .jar path must be assigned to the HYST_BIN environment variable.
- The hybridpy (hypy) python library must be on your PYTHONPATH environment variable.
- The path to the SpaceEx script must be set in the SPACEEX_BIN environment variable.
- Your version of Python should be 2.7, and include numpy, scipy, and matplotlib.

All the computations and generated plots can be made by running "python ploy.py" in the current working directory. Alternatively, each directory contains its own plot.py to generate the plots relevant to that particular exmaple.


README created by Stanley Bak, October 2015
