xiang-yin / DPO-SYNT

Related projects ⓘ

Alternatives and complementary repositories for DPO-SYNT

• gtfactslab / TRO_CBFs-LTL_Robotarium_Experiment
  Control Of Mobile Robotics Using Barrier Functions And Temporal Logic
  ☆18Updated 4 years ago
• boranzhao / robust_ccm_tube
  Tube-certified nonlinear tracking with robust control contraction metrics
  ☆23Updated 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…
  ☆12Updated 3 years ago
• boranzhao / cbf-sos
  Synthesis of control barrier functions with SOS
  ☆11Updated last year
• StanfordASL / ccscp
  Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization
  ☆23Updated 3 years ago
• befelix / lyapunov-learning
  Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes
  ☆38Updated 4 years ago
• ramvasudevan / GlobOptBernstein
  ☆9Updated 3 years ago
• HanyuWu / Control
  ☆14Updated 3 years ago
• Alescontrela / DDP_Examples
  Using Differential Dynamic Programming (DDP) to control various dynamical systems.
  ☆22Updated 4 years ago
• saadejazz / mpc-trust-cbf
  MPC with trust-based CBF constraints for safe robot navigation of autonmous systems
  ☆10Updated 7 months ago
• utiasDSL / fmpc_socp
  Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"
  ☆20Updated last year
• buntonj / CLF-CBF-QP
  Matlab class/functions to simulate a system implementing a control Lyapunov-control barrier function quadratic program controller.
  ☆31Updated last year
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆13Updated last year
• preguica00 / MPC_drone_flight_constraints
  MPC drone with flight constraints
  ☆10Updated 4 years ago
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆42Updated 7 months ago
• sreachtools / SReachTools
  MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
  ☆11Updated 4 years 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
• yiwenlu66 / learning-qp
  ☆37Updated 5 months ago
• ShockLeo / Iterative-MPC-DHOCBF
  "Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions" by S. Liu, J. Zeng, …
  ☆29Updated last year
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆28Updated 6 years ago
• bevanda / MPPIControl
  Stochastic Optimal Control in Robotics Project
  ☆13Updated 5 years ago
• torrisig / FalcOpt
  First-order Algorithm via Linearization of Constraints for OPTimization
  ☆16Updated 2 years ago
• yotakayama / STLCCP
  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
  ☆14Updated last year
• HarvardAgileRoboticsLab / unscented-dynamic-programming
  A trajectory optimization algorithm that doesn't require dynamics derivatives
  ☆35Updated 7 years ago
• teguhSL / optimal_control_distribution
  Repository for computing the probability distribution of an optimal control problem
  ☆11Updated 3 years ago
• kimukook / CLF-CBF-python
  This is a python repo that implements control barrier function quadratic programming method.
  ☆11Updated 2 years ago
• Xinyi-Yu / MPC4STL-TID
  Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition
  ☆12Updated 5 months ago
• mohitsrinivasan / Barrier_MotionPlanning
  Control barrier function based motion planning
  ☆16Updated 4 years ago
• YeongJunKim / MPC-simulation
  Simulation of MPC control with Matlab code and ROS Python code.
  ☆15Updated 4 years ago
• RuikunZhou / Unknown_Neural_Lyapunov
  Neural Lyapunov control of unknown nonlinear systems with stability guarantees
  ☆12Updated last year