Last year benchmarks

benchmarks/ACC/dynamicsACC.m

@@ -0,0 +1,21 @@
+function [dx]=dynamicsACC(t,x,a_ego)
+
+mu=0.0001; % friction parameter
+
+% x1 = lead_car position
+% x2 = lead_car velocity
+% x3 = lead_car internal state
+
+% x4 = ego_car position
+% x5 = ego_car velocity
+% x6 = ego_car internal state
+
+% lead car dynamics
+a_lead = -2; 
+dx(1,1)=x(2);
+dx(2,1) = x(3);
+dx(3,1) = -2 * x(3) + 2 * a_lead - mu*x(2)^2;
+% ego car dyanmics
+dx(4,1)= x(5); 
+dx(5,1) = x(6);
+dx(6,1) = -2 * x(6) + 2 * a_ego - mu*x(5)^2;

benchmarks/Benchmark10-Bycicle/controller.onnx

@@ -0,0 +1,37 @@
+Sherlock->Onnx:�

+
+
X
+W1
+B1O1"FC
+
+O1R1"ReLU
+
+R1
+W2
+B2O2"FC
+
+O2
Y"ReLUMLPZ
+
X
+

+
+
Z
+W1
+
	
+�
+Z
+B1
+
	
+�
+
Z
+W2
+
	
+
+�Z
+B2
+

+
+
b
+
Y
+
	
+�
+
B	

benchmarks/Benchmark10-Bycicle/dynamics10.m

@@ -0,0 +1,20 @@
+function [dx] = dynamics10(t,x,u,w)
+% Ex_car_model
+  %vehicleODE Bicycle model of a vehicle with
+  % states
+  %       x(1), x(2): x,y positions
+  %       x(3): Yaw angle (\psi)
+  %       x(4): velocity
+  % control inputs
+  %       u(1): acceleration m/s^2
+  %       u(2): steering angle of front wheel
+  % disturbance input
+  %       w: disturbance with a range (-10^-4,10^4)
+  % Initial state range [9.5, 9.55] × [-4.5, -4.45] × [2.1, 2.11] × [1.5, 1.51]
+
+dx(1,1) = x(4) * cos(x(3));
+dx(2,1) = x(4) * sin(x(3));
+dx(3,1) = u(2);
+dx(4,1) = u(1) + w;
+
+end

benchmarks/Benchmark9-Tora/controller.onnx

@@ -0,0 +1,65 @@
+Sherlock->Onnx:�
+
+
X
+W1
+B1O1"FC
+
+O1R1"ReLU
+
+R1
+W2
+B2O2"FC
+
+O2R2"ReLU
+
+R2
+W3
+B3O3"FC
+
+O3R3"ReLU
+
+R3
+W4
+B4O4"FC
+
+O4
Y"ReLUMLPZ
+
X
+

+
+
Z
+W1
+

+d
+Z
+B1
+

+d
+
Z
+W2
+

+d
+dZ
+B2
+

+d
+
Z
+W3
+

+d
+dZ
+B3
+

+d
+
Z
+W4
+

+

+dZ
+B4
+
+

+
b
+
Y
+
+

+
B	

benchmarks/Benchmark9-Tora/dynamics9.m

@@ -0,0 +1,11 @@
+function [dx] = dynamics9(t,x,u)
+% Ex_tora
+% Initial state range:
+% [0.6, 0.7] × [-0.7, -0.6] × [-0.4, -0.3] × [0.5, 0.6]
+
+dx(1,1) = x(2);
+dx(2,1) = - x(1) + 0.1*sin(x(3));
+dx(3,1) = x(4);
+dx(4,1) = u;
+
+end