Probabilistic Zonotope

In CORA, probabilistic zontopes are instantiated by

% probZ = probZonotope(Z,P);

where Z is the concatenated zonotope center and generator matrix, and P is the probabilistic generator matrix.

Example:

% initialize probabilistic zonotope

Z = [0 1 0; 0 0 1];

P = [3 2; 3 -2];

probZ = probZonotope(Z,P);

% plot probabilistic zonotope

plot(probZ);