blegat / HybridSystems.jl
Hybrid Systems definitions in Julia
☆28Updated 6 months ago
Related projects: ⓘ
- 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
- A JuMP extension for Polynomial Optimization☆41Updated 2 months ago
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 3 years ago
- A Julia implementation of PRONTO☆20Updated last week
- ☆15Updated last year
- ☆40Updated last week
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆36Updated 2 months ago
- Systems definitions in Julia☆42Updated last week
- A forward McCormick operator library☆16Updated 7 months ago
- Set Programming with JuMP☆20Updated last month
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 3 months ago
- Julia implementation of Locally Feasibly Projected Sequential Quadratic Programming☆24Updated 2 years ago
- Julia interface for OSQP: The Operator Splitting QP Solver☆68Updated 3 months ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated last week
- Read and write a variety of mathematical optimization file formats☆33Updated 4 years ago
- ☆30Updated last year
- Rigorous function approximation using Taylor models in Julia☆63Updated last month
- A free LDL factorisation routine (Julia implementation)☆18Updated last year
- Robust and optimal design and analysis of linear control systems☆55Updated 2 months ago
- Deprecated package (use instead Modia.jl)☆20Updated 3 years ago
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆49Updated 11 months ago
- Julia implementation of TRON solver on GPUs☆15Updated 3 months ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated 5 months ago
- ☆24Updated 2 years ago
- JuMP extensions for constraint programming.☆16Updated 4 years ago
- Rigorous global optimisation in pure Julia☆54Updated 2 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 2 weeks ago
- Implementation of a Augmented Lagrangian method☆53Updated 2 weeks ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago