dimensions="4"
modes="4"
simulator="simu"
init-mode="1"
delta="0.002"
time-step="0.001"
abs-error="0.00001"
rel-error="0.0001"
time-horizon="15.0"
init-eqns="8"
init-matrix=[10000.0,0,0,0,-10000.0,0,0,0,0,1000.0,0,0,0,-1000.0,0,0,0,0,10000.0,0,0,0,-10000.0,0,0,0,0,1000.0,0,0,0,-1000.0]
init-b=[6353.0,-6353.0,14750.0,-14650.0,5573.0,-5573.0,17.0,-17.0]
unsafe-eqns="1"
unsafe-matrix=[0.0,100.0,0,0]
unsafe-b=[1100.0]
annotation-mode="1"
annotation-type="contraction"
annotation='dx1^2 + dx2^2'
beta='dx1^2 + dx2^2'
k="1.0"
gamma="-0.1"
annotation-mode="2"
annotation-type="contraction"
annotation='dx1^2 + dx2^2'
beta='dx1^2 + dx2^2'
k="1.0"
gamma="-0.1"
visualize all to ReachSetPowertrain
