Alternatives and similar repositories for zonoLAB

Users that are interested in zonoLAB 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…
  ☆18Updated 4 months ago
• oxford-oxcav / fossil
  ☆24Updated 6 months ago
• boranzhao / cbf-sos
  Synthesis of control barrier functions with SOS
  ☆13Updated last year
• droste89 / SOStab
  A sum-of-squares toolbox for stability analysis
  ☆10Updated 7 months ago
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆33Updated 4 years ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆65Updated 3 weeks ago
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆16Updated 6 months ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated 2 years ago
• StanfordASL / Adaptive-Control-Oriented-Meta-Learning
  Adaptive control-oriented meta-learning for nonlinear systems
  ☆64Updated 4 years ago
• nMPyC / nmpyc
  MPC package for solving optimal control problems
  ☆14Updated last month
• williamedwards / autompc
  Automatic Tuning for Data-driven Model Predictive Control
  ☆67Updated 2 years ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆128Updated last month
• locuslab / robust-nn-control
  Enforcing robust control guarantees within neural network policies
  ☆54Updated 4 years ago
• bjack205 / BilinearControl.jl
  ☆27Updated 2 years ago
• iFR-ACSO / casos
  CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
  ☆11Updated last week
• Cemempamoi / simba
  SIMBa
  ☆12Updated 5 months ago
• GTLIDAR / RobustContactERM
  Repository for Robust Trajectory Optimization with Stochastic Complementarity
  ☆12Updated 4 years ago
• thowell / optimization_dynamics
  Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928
  ☆63Updated 2 years ago
• rkcosner / cyberpod_sim_ros
  Segway Simulation Environment
  ☆10Updated 4 years ago
• pnnl / DPC_for_robotics
  ☆9Updated last year
• StanfordASL / AA203-Homework
  Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
  ☆25Updated last month
• i-abr / active-learning-koopman
  ☆24Updated 4 years ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆50Updated last month
• utiasDSL / fmpc_socp
  Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"
  ☆20Updated 2 years ago
• Vrushabh27 / Neural-Koopman-Lyapunov-Control
  Neural Koopman Lyapunov Control
  ☆25Updated 2 years ago
• i-abr / mpc-koopman
  Model-based Control using Koopman Operators
  ☆51Updated 5 years ago
• mayataka / maafa
  A PyTorch implementation of MPC as a Function Approximator
  ☆18Updated 3 years ago
• meco-group / dynamic_optimization_inventory
  A curated list of solvers/software/frameworksrelevant for dynamic optimiation
  ☆33Updated 3 weeks ago
• StanfordASL / GuSTO.jl
  Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…
  ☆61Updated last year
• Verified-Intelligence / Lyapunov_Stable_NN_Controllers
  Lyapunov-stable Neural Control for State and Output Feedback
  ☆69Updated last year