Switch On Safety (SOS)
This packages implements methods for computing invariant sets using Sum Of Squares Programming. It supports:
- Systems defined in MathematicalSystems.jl.
- Hybrid Systems defined in HybridSystems.jl.
It also includes utilities for approximation the Joint Spectral Radius.