Alternatives and similar repositories for SLSpy

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

• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆19Updated 4 months ago
• TobiaMarcucci / pympc
  ☆61Updated last year
• thowell / CALIPSO.jl
  Conic Augmented Lagrangian Interior-Point SOlver
  ☆72Updated 2 years ago
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆44Updated 2 years ago
• bjack205 / BilinearControl.jl
  ☆27Updated 2 years ago
• cvxgrp / cocp
  Source code for the examples accompanying the paper "Learning convex optimization control policies."
  ☆84Updated 2 years ago
• darnstrom / daqp
  A dual active-set algorithm for convex quadratic programming
  ☆79Updated last week
• lassepe / DifferentiableTrajectoryOptimization.jl
  Differentiable trajectory optimization in Julia.
  ☆64Updated 4 months ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆46Updated 4 years ago
• anassinator / pddp
  WIP implementation of Probabilistic Differential Dynamic Programming in PyTorch
  ☆15Updated last year
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆34Updated 5 years ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated 2 years ago
• locuslab / robust-nn-control
  Enforcing robust control guarantees within neural network policies
  ☆54Updated 4 years ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆132Updated last month
• oxford-oxcav / fossil
  ☆24Updated 7 months ago
• JuliaGameTheoreticPlanning / iLQGames.jl
  Rapidly designing and solving differential games in Julia.
  ☆39Updated 4 months ago
• Benny44 / QPALM
  Augmented Lagrangian method for solving Quadratic Programs
  ☆21Updated 4 years ago
• FilippoAiraldi / casadi-neural-nets
  Neural Networks with CasADi
  ☆10Updated 4 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆68Updated last month
• giorgosmamakoukas / MemoryEfficientStableLDS
  Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"
  ☆24Updated 4 years ago
• StanfordASL / AA203-Homework
  Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
  ☆25Updated 2 months ago
• PREDICT-EPFL / evanqp
  EPFL Verifier for Approximate Neural Networks and QPs
  ☆9Updated last year
• thowell / optimization_dynamics
  Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928
  ☆63Updated 2 years ago
• StanfordMSL / RATiLQR.jl
  Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia
  ☆21Updated 4 years ago
• williamedwards / autompc
  Automatic Tuning for Data-driven Model Predictive Control
  ☆67Updated 2 years ago
• yuanchenyang / SumOfSquares.py
  Python implementation of Sum-of-Squares optimization built on picos
  ☆37Updated 10 months ago
• rkcosner / cyberpod_sim_ros
  Segway Simulation Environment
  ☆10Updated 4 years ago
• StanfordASL / neural-network-lyapunov
  Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
  ☆165Updated 2 months ago
• adbuerger / pycombina
  pycombina - Solving binary approximation problems in Python
  ☆22Updated last year
• nosnoc / LCQPow
  LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints
  ☆29Updated 3 months ago