# # Crane

# ## Model

module crane    #jl

using ReachabilityAnalysis

A = [ 0.0           1.0               0.0   0.0   0.0           0.0;
     -0.417533     -3.1931759963     39.24  0.0 -14.825331     11.123344;
      0.0           0.0               0.0   1.0   0.0           0.0;
      0.0417533     0.31931759963    -4.905 0.0   1.4825331    -1.1123344;
      0.0638407957 -0.32473339016573  0.0   0.0  -3.7332068901 -0.7007592976;
      0.0853437452 -0.72366802635628  0.0   0.0  -5.9714023436 -2.2736115136]

function model(X0)
    S = @system(x' = Ax)
    return IVP(S, X0)    
end

end #jl

# ## References
