Alternatives and similar repositories for immrax

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

• iFR-ACSO / casos
  CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
  ☆13Updated last week
• sisl / SignalTemporalLogic.jl
  Signal temporal logic (STL) formulas and robustness in Julia
  ☆14Updated 8 months ago
• oxford-oxcav / fossil
  ☆25Updated 8 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆69Updated 2 months ago
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆20Updated last month
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆135Updated 3 months ago
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆16Updated 8 months ago
• wangjie212 / TSSOS
  A sparse polynomial optimization tool based on the moment-SOS hierarchy.
  ☆57Updated this week
• thowell / DirectTrajectoryOptimization.jl
  A Julia package for constrained trajectory optimization using direct methods.
  ☆29Updated 3 years ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆78Updated 4 years ago
• maxhcohen / ControlBarrierFunctions.jl
  Control barrier functions (CBFs) in Julia.
  ☆14Updated last year
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆23Updated last year
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 3 years ago
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆64Updated last month
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆34Updated 5 years ago
• ESCL-at-UTD / zonoLAB
  ☆15Updated last month
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• yuanchenyang / SumOfSquares.py
  Python implementation of Sum-of-Squares optimization built on picos
  ☆37Updated 11 months ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• CU-ADCL / CU-DMU-Materials
  ☆58Updated 3 months ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆44Updated 2 years ago
• RoboticExplorationLab / RobotDynamics.jl
  ☆47Updated 6 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…
  ☆17Updated 2 years ago
• RoboticExplorationLab / RobotZoo.jl
  ☆26Updated last year
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆31Updated 6 years ago
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆24Updated 8 months ago
• forrestlaine / TensorGames.jl
  Computing mixed-strategy Nash Equilibria for games involving multiple players
  ☆24Updated 8 months ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆46Updated 4 years ago
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago
• CLeARoboticsLab / MixedComplementarityProblems.jl
  A custom interior point solver for mixed complementarity problems.
  ☆14Updated last month