From 3ab5acfae1255d5bf3a023c79685420453c86938 Mon Sep 17 00:00:00 2001 From: webbah Date: Wed, 26 Jul 2023 14:58:04 +0200 Subject: [PATCH] Safety in RL #101 similar problem with projection --- examples/scripts/Safeguard.jl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/examples/scripts/Safeguard.jl b/examples/scripts/Safeguard.jl index e08463d5..57c5d92f 100644 --- a/examples/scripts/Safeguard.jl +++ b/examples/scripts/Safeguard.jl @@ -248,6 +248,12 @@ poly_3D_Hrep = doubledescription(poly_3d.vrep) volume(poly_3d) # TODO: Why is this 0? Problem -> when abort algorithm? +poly_3d_proj = project(poly, [1,2,3]) +volume(poly_3d_proj) + +poly_2d_v_u_prj = project(poly, [2,3]) +plot(poly_2d_v_u_prj) + feas_bA = poly_3D_Hrep.A