CORA has a modular design, making it possible to use the capabilities of the various set representations for other purposes besides reachability analysis. The toolbox implements vector set representation, e.g., intervals, zonotopes, Taylor models, and polytopes, as well as matrix set representations such as matrix zonotopes and interval matrices.
The reachability algorithms implemented in CORA rely on set-based computation. One major design principle is that the same standard set operations are implemented for all set representations so that algorithms can be executed with different set representations. We show some basic set operations here. More information in Section 2.1 in the CORA manual.
Plotting sets is a useful function to visualize your computations:
The function
Further examples can be found at ./examples/contSet
on GitHub.