Alternatives and similar repositories for SOStab

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

• boranzhao / cbf-sos
  Synthesis of control barrier functions with SOS
  ☆15Updated 2 years ago
• RuikunZhou / Unknown_Neural_Lyapunov
  Neural Lyapunov control of unknown nonlinear systems with stability guarantees
  ☆15Updated 2 years ago
• molnartamasg / CBFs-for-complex-safety-specs
  Matlab codes for safety-critical control based on a single CBF constructed from a complex combination of safety specifications. They cont…
  ☆16Updated 10 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆73Updated 3 months ago
• Cemempamoi / simba
  SIMBa
  ☆14Updated 11 months ago
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆30Updated 7 years ago
• MilanKorda / KoopmanMPC
  ☆80Updated 7 years ago
• ESCL-at-UTD / zonoLAB
  ☆17Updated 3 months ago
• oxford-oxcav / fossil
  ☆28Updated last year
• nwilliterate / RBF-based-control-for-robot-maniupulator
  rbf network based control for robot manipulator
  ☆15Updated 3 years ago
• UW-ACL / pipg-demo
  Demonstration of the PIPG algorithm for trajectory optimization
  ☆25Updated 3 years ago
• eurika-kaiser / koopman-mpc-comparison
  ☆22Updated 4 years ago
• aalanwar / Data-Driven-Reachability-Analysis
  Data Driven Reachability Analysis from Noisy Data
  ☆35Updated last year
• MilanKorda / KoopmanMPC_for_flowcontrol
  A data-driven framework for control of nonlinear flows with Koopman Model Predictive Control
  ☆10Updated 7 years ago
• TUDelft-DataDrivenControl / Predictor-Based-Subspace-IDentification-toolbox
  In this toolbox you find a family of PBSID algorithms for LTI, LPV and other model structures.
  ☆16Updated 8 years ago
• HanyuWu / Control
  ☆17Updated 5 years ago
• UW-ACL / SCPToolbox_tutorial
  Tutorials for SCPToolbox.jl
  ☆33Updated 3 years ago
• guidoca / scopt2
  Successive Convexification OPtimal conTrol 2.0
  ☆11Updated 5 years ago
• rubindan / LMIcontrol
  Library of LMI methods for Robust Control
  ☆17Updated 6 years ago
• arbabiha / KoopmanMPC_for_flowcontrol
  A data-driven framework for control of nonlinear flows with Koopman Model Predictive Control
  ☆157Updated 5 years ago
• umenberger / robust-deepc
  Code to reproduce examples in 'Closed-loop data-enabled predictive control' submitted to CDC 2020
  ☆23Updated 5 years ago
• sriram-2502 / KoopmanMPC_Quadrotor
  Develop a Koopman operator based MPC for controlling a quadrotor
  ☆73Updated 4 months ago
• StanfordASL / stochasticSCP
  Sequential Convex Programming For Non-Linear Stochastic Optimal Control
  ☆14Updated 3 years ago
• bruderd / KoopmanMPC_sysid
  All the code needed to learn models from data using Koopman operator approach.
  ☆13Updated 6 years ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆56Updated 3 months ago
• EthanJamesLew / AutoKoopman
  AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.
  ☆81Updated last year
• maxhcohen / ReducedOrderModelCBFs.jl
  Control barrier functions via reduced-order models.
  ☆16Updated last year
• yemam3 / robustCBFs-GP
  Matlab Code base for T-RO 20 paper on robust Control Barrier Functions (CBFs) with Gaussian Process Regression for estimating the disturb…
  ☆18Updated 4 years ago
• boranzhao / robust_ccm_tube
  Tube-certified nonlinear tracking with robust control contraction metrics
  ☆29Updated 2 years ago
• Cafolkes / koopman_learning_and_control
  Repository for Koopman based learning and nonlinear control
  ☆52Updated 3 years ago