Constraint Zonotope

In CORA, constraint zonotopes are instantiated by

% cZ = conZonotope(c,G,A,b);

where c is the zonotope center, G is the generator matrix, A is the constraint matrix, and b is the constraint offset.

Example:

% initialize constrained zonotope

c = [0;0];

G = [1 0 1; 1 2 -1];

A = [-2 1 1];

b = 2;

cZ = conZonotope(c,G,A,b);

% plot constrained zonotope

plot(cZ);