tkoolen / Parametron.jl
Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia
☆73Updated 3 years ago
Related projects: ⓘ
- Julia interface for OSQP: The Operator Splitting QP Solver☆68Updated 3 months ago
- A Julia interface for the SCS conic programming solver☆81Updated 2 months ago
- Implementation of a Augmented Lagrangian method☆53Updated 2 weeks ago
- Rigorous global optimisation in pure Julia☆54Updated 2 years ago
- Robust and optimal design and analysis of linear control systems☆55Updated 2 months ago
- Sum of Squares Programming for Julia☆115Updated 3 weeks ago
- A JuMP extension for Polynomial Optimization☆41Updated 2 months ago
- A JuMP extension to use parameter in constraints RHS☆41Updated 2 years ago
- A free LDL factorisation routine (Julia implementation)☆18Updated last year
- ☆79Updated 2 months ago
- Rigorous function approximation using Taylor models in Julia☆63Updated last month
- Global optimization without derivatives☆51Updated 2 years ago
- Interface to the Mosek solver in Julia☆49Updated 3 months ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated last week
- Julia implementation of TRON solver on GPUs☆15Updated 3 months ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated last week
- MultivariatePolynomials implementation using typed variables in Julia☆25Updated last year
- A Julia implementation of PRONTO☆20Updated last week
- A development environment for robust and global optimization☆144Updated 6 months ago
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆36Updated 2 months ago
- A Julia interface to the ECOS conic optimization solver☆41Updated 2 months ago
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆49Updated 11 months ago
- 🏩🏠🌆🏨🌇🏦☆77Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated last month
- A Julia modeling layer for the Generalized Moment Problem☆12Updated 6 months ago
- ☆40Updated last week
- Nonconvex Exterior Point Operator Splitting☆15Updated 4 months ago
- Hybrid Systems definitions in Julia☆28Updated 6 months ago
- Model and solve optimal control problems in Julia☆64Updated this week
- Simple particle filter implementation in Julia - works with POMDPs.jl models or others.☆45Updated last month