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
  ☆14Updated 3 months ago
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆18Updated 2 months ago
• oxford-oxcav / fossil
  ☆20Updated 4 months ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆64Updated last month
• iFR-ACSO / casos
  CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
  ☆9Updated this week
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆62Updated last month
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆33Updated 4 years ago
• maxhcohen / ControlBarrierFunctions.jl
  Control barrier functions (CBFs) in Julia.
  ☆14Updated 7 months ago
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆22Updated 8 months ago
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆16Updated 4 months ago
• thowell / DirectTrajectoryOptimization.jl
  A Julia package for constrained trajectory optimization using direct methods.
  ☆28Updated 2 years ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆79Updated 8 months ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆120Updated this week
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆23Updated 4 months ago
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆77Updated 4 years ago
• ESCL-at-UTD / zonoLAB
  ☆14Updated 6 months ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆45Updated 4 years ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆43Updated 2 years ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆9Updated last year
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆29Updated 6 years ago
• schmrlng / MotionPlanning.jl
  Robotic motion planning in Julia
  ☆42Updated 5 years ago
• StanfordMSL / RATiLQR.jl
  Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia
  ☆21Updated 3 years ago
• TobiaMarcucci / pympc
  ☆60Updated 9 months ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated last year
• yotakayama / STLCCP
  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
  ☆14Updated last year
• StanfordASL / Learning-Control-Oriented-Structure
  Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …
  ☆20Updated last year
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• StanfordASL / CoCo
  ☆36Updated 2 years ago
• forrestlaine / TensorGames.jl
  Computing mixed-strategy Nash Equilibria for games involving multiple players
  ☆23Updated 3 months ago