ESCL-at-UTD / zonoLAB

Related projects ⓘ

Alternatives and complementary repositories for zonoLAB

• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆13Updated last week
• boranzhao / cbf-sos
  Synthesis of control barrier functions with SOS
  ☆11Updated last year
• oxford-oxcav / fossil
  ☆16Updated last year
• meco-group / dynamic_optimization_inventory
  A curated list of solvers/software/frameworksrelevant for dynamic optimiation
  ☆28Updated last month
• utiasDSL / fmpc_socp
  Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"
  ☆20Updated last year
• gtfactslab / immrax
  Interval Analysis and Mixed Monotone Reachability in JAX
  ☆12Updated this week
• RuikunZhou / Unknown_Neural_Lyapunov
  Neural Lyapunov control of unknown nonlinear systems with stability guarantees
  ☆12Updated last year
• hespanha / tenscalc
  A Matlab toolbox for nonlinear optimization using symbolic tensor calculus
  ☆15Updated 11 months ago
• TUMcps / CORA
  Toolbox for Reachability Analysis
  ☆109Updated last week
• StanfordASL / Adaptive-Control-Oriented-Meta-Learning
  Adaptive control-oriented meta-learning for nonlinear systems
  ☆55Updated 3 years ago
• StanfordASL / Pigeon.jl
  MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions
  ☆17Updated 4 years ago
• meco-group / rockit
  Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit
  ☆42Updated last month
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated last year
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated 10 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆55Updated 3 weeks ago
• FreyJo / casados-integrators
  A CasADi Python wrapper for the acados integrators.
  ☆20Updated 6 months ago
• williamedwards / autompc
  Automatic Tuning for Data-driven Model Predictive Control
  ☆58Updated last year
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆35Updated 2 years ago
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆32Updated 4 years ago
• wecacuee / Bayesian_CBF
  Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"
  ☆25Updated 2 years ago
• yotakayama / STLCCP
  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
  ☆14Updated last year
• bjack205 / BilinearControl.jl
  ☆26Updated last year
• AlexandreAmice / drake
  A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at
  ☆10Updated this week
• jdeschut / tunempc
  Economic tuning of tracking (N)MPC problems.
  ☆30Updated 2 years ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆44Updated 4 years ago
• StanfordASL / GuSTO.jl
  Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…
  ☆57Updated 9 months ago
• Cafolkes / koopman_learning_and_control
  Repository for Koopman based learning and nonlinear control
  ☆37Updated last year
• thowell / IterativeLQR.jl
  A Julia package for constrained iterative LQR (iLQR)
  ☆42Updated last year
• nMPyC / nmpyc
  MPC package for solving optimal control problems
  ☆14Updated last month
• teguhSL / optimal_control_distribution
  Repository for computing the probability distribution of an optimal control problem
  ☆11Updated 3 years ago