JuliaReach / MathematicalSystems.jl
Systems definitions in Julia
☆42Updated last week
Related projects: ⓘ
- Rigorous function approximation using Taylor models in Julia☆63Updated last month
- MultivariatePolynomials implementation using typed variables in Julia☆25Updated last year
- Reachability analysis for closed-loop control systems in Julia☆44Updated last week
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated 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
- Rigorous global optimisation in pure Julia☆54Updated 2 years ago
- Discrete event generation and simulation in Julia☆56Updated 10 months ago
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 3 years ago
- Hybrid Systems definitions in Julia☆28Updated 6 months ago
- A JuMP extension for Polynomial Optimization☆41Updated 2 months ago
- Benchmark tools for solvers☆23Updated last month
- C-code generation and an interface between ControlSystems.jl and SymPy.jl☆49Updated 11 months ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 3 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 2 weeks ago
- Interface to the Mosek solver in Julia☆49Updated 3 months ago
- Flow algorithms on Graphs.jl☆27Updated 5 months ago
- A Julia modeling layer for the Generalized Moment Problem☆12Updated 6 months ago
- Set Programming with JuMP☆20Updated last month
- A Julia interface to the ECOS conic optimization solver☆41Updated 2 months ago
- Light-weight expression manipulation tools☆78Updated 8 months ago
- JSON Schema validation package for Julia☆30Updated 3 weeks ago
- ☆40Updated last week
- Implementation of a Augmented Lagrangian method☆53Updated 2 weeks ago
- Backend for DiffEqOnline, a webapp for scientific machine learning (SciML)☆25Updated 4 years ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆60Updated 3 months ago
- Data structures for linear and quadratic optimization problems based on NLPModels.jl☆16Updated last month
- Static types useful for dispatch and generated functions.☆52Updated last month
- This library generates graph layouts using the TikZ graph layout package.☆77Updated 2 years ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated 5 months ago
- Intermediate wrapper of MOI for some linear quadratic solvers☆16Updated 4 years ago