HaroldTaeter's Stars
blegat/HybridSystems.jl
Hybrid Systems definitions in Julia
blegat/SwitchOnSafety.jl
Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
JuliaStochOpt/StructDualDynProg.jl
Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface
jump-dev/SumOfSquares.jl
Sum of Squares Programming for Julia
JuliaPolyhedra/Polyhedra.jl
Polyhedral Computation Interface
JuliaAlgebra/MultivariatePolynomials.jl
Multivariate polynomials interface
blegat/LINMA1170
Analyse Numérique en force