JuliaReach / ReachabilityAnalysis.jlLinks
Computing reachable states of dynamical systems in Julia
☆210Updated last week
Alternatives and similar repositories for ReachabilityAnalysis.jl
Users that are interested in ReachabilityAnalysis.jl are comparing it to the libraries listed below
Sorting:
- Scalable symbolic-numeric set computations in Julia☆254Updated this week
- System Identification toolbox, compatible with ControlSystems.jl☆149Updated this week
- Polyhedral Computation Interface☆183Updated 11 months ago
- Sum of Squares Programming for Julia☆127Updated 2 months ago
- interior point solver for general convex conic optimization problems☆147Updated 3 months ago
- An intuitive modeling interface for infinite-dimensional optimization problems.☆312Updated 3 weeks ago
- A development environment for robust and global optimization☆157Updated last month
- Interior-point solver in pure Julia☆162Updated 4 months ago
- A Julia interface to the Ipopt nonlinear solver☆166Updated 3 weeks ago
- A Julia/JuMP-based Global Optimization Solver for Non-convex Programs☆250Updated last month
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆249Updated last month
- Model and solve optimal control problems in Julia, both on CPU and GPU.☆122Updated this week
- State estimation, smoothing and parameter estimation using Kalman and particle filters.☆148Updated last week
- Differentiating optimization programs w.r.t. program parameters☆137Updated this week
- COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decompos…☆309Updated 6 months ago
- Propagation of distributions by Monte-Carlo sampling: Real number types with uncertainty represented by samples.☆289Updated last month
- A JuMP-based Nonlinear Integer Program Solver☆184Updated 4 months ago
- Robust and optimal design and analysis of linear control systems☆65Updated 2 weeks ago
- Multivariate polynomials interface☆139Updated this week
- Toolbox for gradient-based and derivative-free non-convex constrained optimization with continuous and/or discrete variables.☆121Updated 2 years ago
- A solver for mixed-integer convex optimization☆139Updated 10 months ago
- ☆76Updated last week
- A solver for nonlinear programming with GPU support☆238Updated this week
- Tools for the exploration of chaos and nonlinear dynamics☆197Updated 3 weeks ago
- Data Structures for Optimization Models☆186Updated this week
- Hyperparameter optimization in Julia.☆204Updated 2 years ago
- A Julia interface for the SCS conic programming solver☆85Updated last week
- A Julia package to construct orthogonal polynomials, their quadrature rules, and use it with polynomial chaos expansions.☆124Updated this week
- Julia implementations for different rotation parameterizations☆188Updated last month
- Reachability analysis for closed-loop control systems in Julia☆47Updated last week