Safety in RL #101 similar problem with projection

upb-lea · Jul 26, 2023 · 3ab5acf · 3ab5acf
1 parent 69e4162
commit 3ab5acf
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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