lee-ck / ellipsotopes

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ellipsotopes

This repository implements the ellipsotope, a set representation that combines the advantages of ellipsoids and zonotopes for reachability analysis and fault detection. Check out the paper here.

The key aspect of this repository is the @ellipsotope class, which is implemented similar to ellipsoids in the Ellipsoidal Toolbox and zonotopes in CORA. The class implements a variety of operations (e.g., affine transformations, Minkowski sums, and intersections).

The "examples" folder contains the numerical examples on the paper, and the "figures" folder contains scripts to generate the figures in the paper. The "utilities" folder includes lots of helper functions needed by the rest of the code.

Requirements

  • MATLAB (R2018a or greater)
  • CORA
  • tbxmanager
    • MPT3
    • YALMIP
    • LCP solver

References

If you find this work useful, please cite our paper that is available here.

Kousik, S., Dai, A. and Gao, G., 2021. Ellipsotopes: Combining Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection. arXiv preprint arXiv:2108.01750.

About


Languages

Language:MATLAB 99.9%Language:M 0.1%