Entropic Cone approximation and optimization

Hybrid Systems definitions in Julia

Small package containing the rref fonction for computing the reduced row echelon form of the matrix A

Set Programming with JuMP

Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming