This is the vanderpol example from "Reachability Analysis of Nonlinear Systems using Conservative Polynomialization and Non-Convex Sets", HSCC 2013 Althoff

initial set: x in [1.25, 1.55] and y in [2.28, 2.32]

model file: vanderpol_althoff.xml

run plot.py in the current directory to generate all the plots, as well as out_vanderpol_hybridized_plot.xml, which can be directly run in SpaceEx

Stanley Bak, 10-2015
