This is a deterministic variant of the tank example from "Reachability Analysis of Nonlinear Systems
with Uncertain Parameters using Conservative Linearization", Althoff CDC 2008

model file: tank6.xml

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

Stanley Bak, 10-2015
