Alternatives and similar repositories for immrax

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

• sisl / SignalTemporalLogic.jl
  Signal temporal logic (STL) formulas and robustness in Julia
  ☆15Updated 9 months ago
• oxford-oxcav / fossil
  ☆26Updated 10 months ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆136Updated last week
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆69Updated 2 weeks ago
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆16Updated 9 months ago
• iFR-ACSO / casos
  CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
  ☆14Updated last week
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆20Updated 2 months ago
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆34Updated 5 years ago
• yuanchenyang / SumOfSquares.py
  Python implementation of Sum-of-Squares optimization built on picos
  ☆37Updated last year
• wangjie212 / TSSOS
  A sparse polynomial optimization tool based on the moment-SOS hierarchy.
  ☆61Updated last month
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆78Updated 4 years ago
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆64Updated 2 months ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• ESCL-at-UTD / zonoLAB
  ☆16Updated 2 weeks ago
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆30Updated 7 years 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
• CU-ADCL / CU-DMU-Materials
  ☆58Updated this week
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆24Updated 10 months ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆44Updated 2 years ago
• intelligent-control-lab / ModelVerification.jl
  ☆14Updated 3 months ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆48Updated 4 years ago
• maxhcohen / ControlBarrierFunctions.jl
  Control barrier functions (CBFs) in Julia.
  ☆14Updated last year
• thowell / DirectTrajectoryOptimization.jl
  A Julia package for constrained trajectory optimization using direct methods.
  ☆29Updated 3 years ago
• minlp-toolbox / CAMINO
  Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)
  ☆28Updated last month
• TobiaMarcucci / pympc
  ☆62Updated last year
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 4 years ago
• JuliaMPC / NLOptControl.jl
  nonlinear control optimization tool
  ☆113Updated 7 months ago
• JamieMair / MuJoCo.jl
  Julia bindings and visualiser for the MuJoCo physics engine.
  ☆63Updated last week
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆24Updated last year