InvariantSetApproximation is a Julia package for computing invariant sets of general discrete-time dynamical systems with controls and uncertainties.
These instructions will get you a copy of this project up and running on your local machine.
This package requires Julia v1.3 or later. Refer to the official documentation on how to install and run Julia on your system.