Benoît Legat

mathraining. Site interactif avec théorie, exercices et problèmes

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

HybridSystems.jl. Hybrid Systems definitions in Julia

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

SetProg.jl. Set Programming with JuMP

glpkmex. A Matlab MEX Interface for the GLPK library

GenOpt.jl. JuMP extension for constraint and term generators

ICCOPT_SummerSchool_2022. Jupyter Notebook

EntropicCone.jl. Entropic Cone approximation and optimization

usaco-tool. Tool in bash and python for training at the usacogate website

git-dot. Generate a .dot file describing a git history

SeqOpt.jl. Sequential solver for nonlinear optimization

LINMA2710. Course material for the course LINMA2710 at UCLouvain

CondensedMatterSOS.jl. Condensed Matter with Sum-of-Square optimization

RPHSCC2016. Repeatibility Package for the paper "Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques" of HSCC 2016

LFSAB1507. Projet MAP

JuMP-dev_2019_tutorial. Advanced tutorial for JuMP-dev 3 : https://www.juliaopt.org/meetings/santiago2019/

OpenVocGUI.

LEPL1503. Course material for the course LEPL1503 at UCLouvain