psace-uofa / InvariantSetApproximation.jl

Package for computing invariant sets of general discrete-time dynamical systems with controls and uncertainties using graph-based algorithms.
MIT License
2 stars 0 forks source link