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 10 months ago
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆21Updated 3 months ago
• oxford-oxcav / fossil
  ☆26Updated 11 months ago
• iFR-ACSO / casos
  CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
  ☆16Updated this week
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆141Updated last month
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆72Updated last month
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆16Updated this week
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆64Updated 3 months ago
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆34Updated 5 years ago
• ESCL-at-UTD / zonoLAB
  ☆16Updated last month
• baggepinnen / DifferentialDynamicProgramming.jl
  A package for solving Differential Dynamic Programming and trajectory optimization problems.
  ☆78Updated 4 years ago
• CU-ADCL / CU-DMU-Materials
  ☆59Updated 3 weeks ago
• yuanchenyang / SumOfSquares.py
  Python implementation of Sum-of-Squares optimization built on picos
  ☆37Updated last year
• blegat / SwitchOnSafety.jl
  Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
  ☆24Updated last year
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• maxhcohen / ControlBarrierFunctions.jl
  Control barrier functions (CBFs) in Julia.
  ☆14Updated last year
• sums-of-squares / sos
  Information page for running sos solvers
  ☆14Updated 4 years ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆44Updated 2 years ago
• wangjie212 / TSSOS
  A sparse polynomial optimization tool based on the moment-SOS hierarchy.
  ☆61Updated 2 months ago
• thowell / DirectTrajectoryOptimization.jl
  A Julia package for constrained trajectory optimization using direct methods.
  ☆29Updated 3 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
• RoboticExplorationLab / RobotDynamics.jl
  ☆47Updated 8 months ago
• pnanez / HyEQ_Toolbox
  Hybrid systems equations simulator, development repository
  ☆14Updated last month
• RoboticExplorationLab / RobotZoo.jl
  ☆26Updated last year
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆30Updated 7 years ago
• forrestlaine / TensorGames.jl
  Computing mixed-strategy Nash Equilibria for games involving multiple players
  ☆25Updated 10 months ago
• lassepe / LiftedTrajectoryGames.jl
  A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?
  ☆17Updated 5 months ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆25Updated 4 months ago
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago