aa25desh

Benchmark Report for TaylorModels

Job Properties

• Time of benchmark: 24 Jun 2019 - 0:4
• Package commit: dirty
• Julia commit: 80516c
• Julia command flags: None
• Environment variables: None

Results

aa25desh

# ==========
# Daisy
# ==========

SUITE["Daisy"] = BenchmarkGroup()

# These examples are taken from [Project Daisy](https://github.com/malyzajko/daisy/blob/master/testcases/).

# This function measures the relative precision of the result in a more informative way than
# taking the scalar overestimation because it evaluates the precision of the lower and the

aa25desh

using LazySets

Z1=rand(Zonotope,dim=1,num_generators=2)
Z2=rand(Zonotope,dim=3,num_generators=5)

aa25desh

using DifferentialEquations
function f(du,u,p,t)
  du[1] = dx = p[1]*u[1] - u[1]*u[2]
  du[2] = dy = -3*u[2] + u[1]*u[2]
end

u0 = [1.0;1.0]
tspan = (0.0,10.0)
p = [1.5]
prob = ODEProblem(f,u0,tspan,p)

aa25desh

min_x=f(x_err)
min_y=f(y_err)

rbf_x = UniformRBFE(t,min_x, normalize=true)
rbf_y = UniformRBFE(t,min_y, normalize=true)
bfa_x = BasisFunctionApproximation(x,t,rbf_x,1)
bfa_y = BasisFunctionApproximation(y,t,rbf_y,1)

x_hat_new  = bfa_x(t)
y_hat_new  = bfa_y(t)