SwitchOnSafety
  • Index
    • Contents
  • Invariant Sets
  • Joint Spectral Radius
  • Examples
    • AJPR14e54
Version
  • Index
  • Index
Edit on GitHub

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
Invariant Sets »

Settings


This document was generated with Documenter.jl on Saturday 24 October 2020. Using Julia version 1.0.5.