This directory contains code to recreate the figures from Section 3 of
the paper

  Ian M. Mitchell and Shahab Kaynama, "An Improved Algorithm for
  Robust Safety Analysis of Sampled Data Systems" in HSCC 2015.

Unfortunately, Shahab did not document these files so well, so you are
on your own.  On the optimistic side, I have seen them run by somebody
other than Shahab.

Ian M. Mitchell 
May 2015
