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

Hybrid Systems definitions in Julia

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

Set Programming with JuMP

Entropic Cone approximation and optimization