JuliaReach / ReachabilityAnalysis.jlLinks
Computing reachable states of dynamical systems in Julia
☆210Updated this week
Alternatives and similar repositories for ReachabilityAnalysis.jl
Users that are interested in ReachabilityAnalysis.jl are comparing it to the libraries listed below
Sorting:
- System Identification toolbox, compatible with ControlSystems.jl☆149Updated this week
- Polyhedral Computation Interface☆183Updated 11 months ago
- Scalable symbolic-numeric set computations in Julia☆254Updated this week
- interior point solver for general convex conic optimization problems☆146Updated 2 months ago
- An intuitive modeling interface for infinite-dimensional optimization problems.☆311Updated 3 weeks ago
- Sum of Squares Programming for Julia☆127Updated 2 months ago
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆248Updated last month
- A solver for mixed-integer convex optimization☆139Updated 9 months ago
- COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decompos…☆309Updated 6 months ago
- A Julia interface to the Ipopt nonlinear solver☆166Updated 3 weeks ago
- A development environment for robust and global optimization☆157Updated last month
- A Julia/JuMP-based Global Optimization Solver for Non-convex Programs☆250Updated last month
- A solver for nonlinear programming with GPU support☆238Updated this week
- State estimation, smoothing and parameter estimation using Kalman and particle filters.☆148Updated last week
- Robust and optimal design and analysis of linear control systems☆65Updated last week
- Data Structures for Optimization Models☆185Updated this week
- Differentiating optimization programs w.r.t. program parameters☆137Updated this week
- Model and solve optimal control problems in Julia, both on CPU and GPU.☆122Updated 2 weeks ago
- Multivariate polynomials interface☆139Updated 2 months ago
- Interior-point solver in pure Julia☆161Updated 4 months ago
- An open source model predictive control package for Julia.☆112Updated last week
- Julia implementations for different rotation parameterizations☆188Updated last month
- Fast non-allocating calculations of gradients, Jacobians, and Hessians with sparsity support☆284Updated last month
- Toolbox for gradient-based and derivative-free non-convex constrained optimization with continuous and/or discrete variables.☆121Updated 2 years ago
- Tools for the exploration of chaos and nonlinear dynamics☆197Updated 2 weeks ago
- A JuMP-based Nonlinear Integer Program Solver☆184Updated 4 months ago
- ☆76Updated last week
- Hyperparameter optimization in Julia.☆204Updated 2 years ago
- A Julia interface for the SCS conic programming solver☆85Updated 3 weeks ago
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 4 years ago