gtfactslab / immrax

Related projects ⓘ

Alternatives and complementary repositories for immrax

• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated 10 months ago
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆13Updated last week
• oxford-oxcav / fossil
  ☆16Updated last year
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆13Updated last year
• StanfordMSL / Neural-Network-Reach
  ☆10Updated 3 weeks ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆55Updated 3 weeks ago
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆32Updated 4 years ago
• dawsonc / jax_controls_tutorial
  A brief JAX tutorial with examples from control theory
  ☆12Updated 2 years ago
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆28Updated 6 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…
  ☆18Updated last year
• FreyJo / casados-integrators
  A CasADi Python wrapper for the acados integrators.
  ☆20Updated 6 months ago
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆58Updated 3 months ago
• StanfordASL / stlhj
  Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Living…
  ☆13Updated 6 years ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆44Updated 4 years ago
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆35Updated 2 years ago
• sputot / RINO
  Robust INner and Outer approximated reachability analysis
  ☆8Updated 9 months ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 7 years ago
• TUMcps / CORA
  Toolbox for Reachability Analysis
  ☆109Updated last week
• ESCL-at-UTD / zonoLAB
  ☆13Updated last month
• hallfjonas / LCQPow
  LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints
  ☆24Updated 2 months ago
• transafeailab / nnv
  ☆10Updated last year
• schmrlng / MotionPlanning.jl
  Robotic motion planning in Julia
  ☆41Updated 4 years ago
• pmusau17 / rtreach_f1tenth
  real time reachability for the f1Tenth platform
  ☆11Updated 2 years ago
• TobiaMarcucci / pympc
  ☆54Updated 3 months ago
• meco-group / dynamic_optimization_inventory
  A curated list of solvers/software/frameworksrelevant for dynamic optimiation
  ☆28Updated last month
• lassepe / LiftedTrajectoryGames.jl
  A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?
  ☆16Updated 6 months ago
• jhu-asco / optimal_control_framework
  Simple optimal control framework for python
  ☆13Updated 6 years ago
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆15Updated 11 months ago
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆28Updated last year
• lassepe / iLQGames.jl
  Rapidly designing and solving differential games in Julia.
  ☆35Updated 3 weeks ago