summaryrefslogtreecommitdiffstats
path: root/templates/compute_tightening.m
diff options
context:
space:
mode:
Diffstat (limited to 'templates/compute_tightening.m')
-rw-r--r--templates/compute_tightening.m5
1 files changed, 3 insertions, 2 deletions
diff --git a/templates/compute_tightening.m b/templates/compute_tightening.m
index 2bf06a4..7095f9c 100644
--- a/templates/compute_tightening.m
+++ b/templates/compute_tightening.m
@@ -21,8 +21,9 @@ function params = compute_tightening(K_tube,H_tube,h_tube,params)
Px_tube = Pxz.minus(Polyhedron('A',H_tube,'b',h_tube));
params.constraints.StateMatrix = Px_tube.A;
params.constraints.StateRHS = Px_tube.b;
-
- Pu_tube = Puz.minus(Polyhedron('A',H_tube*K_tube,'b',h_tube));
+
+ Pu_tube = Puz.minus(K_tube*Polyhedron('A',H_tube,'b',h_tube))
+% Pu_tube = Puz.minus(Polyhedron('A',H_tube*K_tube,'b',h_tube));
params.constraints.InputMatrix = Pu_tube.A;
params.constraints.InputRHS = Pu_tube.b;
end \ No newline at end of file