SwitchOnSafety (julia): Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
Keywords: julia