JuliaReach / ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
☆189Updated last week
Related projects: ⓘ
- Scalable symbolic-numeric set computations in Julia☆227Updated this week
- System Identification toolbox, compatible with ControlSystems.jl☆132Updated 3 weeks ago
- Sum of Squares Programming for Julia☆115Updated 3 weeks ago
- Polyhedral Computation Interface☆172Updated 3 weeks ago
- An intuitive modeling interface for infinite-dimensional optimization problems.☆251Updated last month
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆173Updated last month
- interior point solver for general convex conic optimization problems☆140Updated 2 months ago
- State estimation, smoothing and parameter estimation using Kalman and particle filters.☆114Updated 3 months ago
- Arrays with arbitrarily nested named components.☆290Updated last week
- Multivariate polynomials interface☆135Updated 3 months ago
- A development environment for robust and global optimization☆144Updated 6 months ago
- A Julia interface to the Ipopt nonlinear solver☆152Updated last month
- Data Structures for Optimization Models☆172Updated last month
- Flexible filtering and smoothing in Julia☆75Updated last year
- Interior-point solver in pure Julia☆154Updated 3 months ago
- A solver for nonlinear programming☆160Updated 2 weeks ago
- Differentiating convex optimization programs w.r.t. program parameters☆122Updated last month
- Fast non-allocating calculations of gradients, Jacobians, and Hessians with sparsity support☆247Updated last month
- Linear Operators for Julia☆150Updated last week
- Causal.jl - A modeling and simulation framework adopting causal modeling approach.☆115Updated 2 years ago
- A solver for mixed-integer convex optimization☆131Updated 7 months ago
- Hyperparameter optimization in Julia.☆200Updated 10 months ago
- High accuracy derivatives, estimated via numerical finite differences (formerly FDM.jl)☆297Updated 3 months ago
- Propagation of distributions by Monte-Carlo sampling: Real number types with uncertainty represented by samples.☆261Updated 3 weeks ago
- COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decompos…☆283Updated 4 months ago
- A Julia/JuMP-based Global Optimization Solver for Non-convex Programs☆245Updated last month
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 3 years ago
- A Julia package to construct orthogonal polynomials, their quadrature rules, and use it with polynomial chaos expansions.☆116Updated 4 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆74Updated 3 years ago
- Julia package for simulating Dynamics on Networks☆126Updated this week