From d95c84ce7e39e8aceb80e7e7aea351ccea5ab487 Mon Sep 17 00:00:00 2001 From: Diego Manzanas Date: Wed, 1 Jul 2020 10:56:10 -0500 Subject: [PATCH] Update specifications.txt --- benchmarks/Airplane/specifications.txt | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/benchmarks/Airplane/specifications.txt b/benchmarks/Airplane/specifications.txt index 7584a79..5aed4f6 100644 --- a/benchmarks/Airplane/specifications.txt +++ b/benchmarks/Airplane/specifications.txt @@ -3,20 +3,21 @@ Initial states: x1 = 0 x2 = 0 x3 = 0 -x4 = 0 -x5 = 0 -x6 = 0 +x4 = [0.0, 1.0] +x5 = [0.0, 1.0] +x6 = [0.0, 1.0] x7 = [0.0, 1.0] x8 = [0.0, 1.0] x9 = [0.0, 1.0] -x10 = [0.0, 1.0] -x11 = [0.0, 1.0] -x12 = [0.0, 1.0] +x10 = 0 +x11 = 0 +x12 = 0 -t = 20 seconds +t = 20 control steps = 2 seconds +control step = 0.1 Property: -x2 should be in [−0.5, 0.5] and x10,x11,x12 should be in [-1.0,1.0] +x2 should be in [−0.5, 0.5] and x7,x8,x9 should be in [-1.0,1.0] -Refer to this for more details: https://github.com/amaleki2/benchmark_closedloop_verification/blob/master/AINNC_benchmark.pdf \ No newline at end of file +Refer to this for more details: https://github.com/amaleki2/benchmark_closedloop_verification/blob/master/AINNC_benchmark.pdf