Alternatives and similar repositories for immrax:

Users that are interested in immrax are comparing it to the libraries listed below

• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆18Updated last month
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆62Updated 3 weeks ago
• oxford-oxcav / fossil
  ☆20Updated 3 months ago
• sisl / SignalTemporalLogic.jl
  Signal temporal logic (STL) formulas and robustness in Julia
  ☆14Updated 3 months ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• iFR-ACSO / casos
  CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
  ☆8Updated last week
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆45Updated 4 years ago
• maxhcohen / ControlBarrierFunctions.jl
  Control barrier functions (CBFs) in Julia.
  ☆14Updated 7 months ago
• TUMcps / CORA
  Toolbox for Reachability Analysis
  ☆120Updated last week
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆16Updated 3 months ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆79Updated 7 months ago
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆29Updated 6 years ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆43Updated 2 years ago
• forrestlaine / TensorGames.jl
  Computing mixed-strategy Nash Equilibria for games involving multiple players
  ☆23Updated 3 months ago
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• ESCL-at-UTD / zonoLAB
  ☆14Updated 6 months ago
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆23Updated 3 months ago
• JuliaGameTheoreticPlanning / iLQGames.jl
  Rapidly designing and solving differential games in Julia.
  ☆38Updated 3 weeks ago
• thowell / DirectTrajectoryOptimization.jl
  A Julia package for constrained trajectory optimization using direct methods.
  ☆28Updated 2 years ago
• StanfordMSL / RATiLQR.jl
  Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia
  ☆21Updated 3 years ago
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆22Updated 8 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆64Updated last month
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆77Updated 3 years ago
• Benny44 / QPALM_vLADEL
  ☆19Updated 3 years ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated last year
• TobiaMarcucci / pympc
  ☆60Updated 8 months ago
• shih-hao-tseng / SLSpy
  SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…
  ☆18Updated last year
• wangjie212 / TSSOS
  A sparse polynomial optimization tool based on the moment-SOS hierarchy.
  ☆51Updated this week
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆32Updated 4 years ago
• RoboticExplorationLab / RobotZoo.jl
  ☆26Updated last year