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.

Contents

• Invariant Sets
• Joint Spectral Radius (JSR)
• Gripenberg algorithm, a Branch-and-Bound approach
• Sum-of-Squares approach
• Polytopic approach