High level toolbox

• EntropicCone.jl: Approximation of the Entropic Cone and optimization over it.

• SwitchOnSafety.jl: Computation of invariant sets for hybrid systems.

• Dionysos.jl: Optimal control on hybrid systems

Optimization

• MathOptInterface.jl: An abstraction layer for mathematical optimization solvers.

• JuMP.jl: Domain-specific modeling language for mathematical optimization built on top of MathOptInterface.

• SumOfSquares.jl: Sum of Squares restriction and Moment relaxation for PolyJuMP.jl: JuMP extension for polynomial variables and polynomial nonnegativity constraints.

• SetProg.jl: JuMP extension for set variables and inclusion constraints.

• StructDualDynProg.jl: Stochastic Dual Dynamic Programming algorithm for StructJuMP.jl: Block-structured optimization framework for JuMP.

Utilities

• JuliaPolyhedra:

  • Polyhedra.jl: Polyhedral computation framework with support for

    • CDD,

    • LRS,

    • QHull,

    • ConvexHull.jl and

    • PORTA.

• JuliaAlgebra:

  • MultivariatePolynomials.jl: Interface for multivariate polynomials with two implementations:

    • DynamicPolynomials.jl and

    • TypedPolynomials.jl.

  • MultivariateBases.jl: Bases for multivariate polynomials.

  • SemialgebraicSets.jl: Representation of algebraic sets and basic semialgebraic sets, groebner basis computation and solvers for algebraic systems.

  • MultivariateMoments.jl: Extraction of atomic measures from moment matrices.

• MutableArithmetics.jl: Interface for efficient arithmetics on mutable types

• HybridSystems.jl: Hybrid systems implementations.