Alternatives and similar repositories for cLTL-synth

Users that are interested in cLTL-synth are comparing it to the libraries listed below

• StanfordASL / RobustMP
  Robust Online Motion Planning using Contraction Theory
  ☆59Updated 6 years ago
• carlosluis / multiagent_planning
  Implementation of several multiagent trajectory generation algorithms
  ☆94Updated 6 years ago
• HybridRobotics / MPC-CBF
  "Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function" by J. Zeng, B. Zhang and K. Sreenath https://arxiv…
  ☆282Updated 3 years ago
• HybridRobotics / CBF-Pointwise-Feasibility
  "Safety-Critical Control using Optimal-decay Control Barrier Functions with Guaranteed Point-wise Feasibility" by J. Zeng, B. Zhang, Z. L…
  ☆31Updated 4 years ago
• HybridRobotics / cbf
  An open source repository for control, planning and navigation about control barrier functions.
  ☆200Updated last year
• carlosluis / online_dmpc
  Code accompanying the RA-L / ICRA 2020 paper: "Online Trajectory Generation with Distributed Model Predictive Control for Multi-Robot Mot…
  ☆107Updated 4 years ago
• gtfactslab / TRO_CBFs-LTL_Robotarium_Experiment
  Control Of Mobile Robotics Using Barrier Functions And Temporal Logic
  ☆21Updated 5 years ago
• HybridRobotics / NMPC-DCLF-DCBF
  A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control bar…
  ☆283Updated last year
• pedramrabiee / cbftorch
  ☆11Updated last week
• skousik / RTD_tutorial
  Get started with Reachability-based Trajectory Design for static obstacles
  ☆61Updated 3 years ago
• mit-acl / aclswarm
  MIT ACL distributed formation flying using multirotors
  ☆71Updated 4 years ago
• tomcattiger1230 / CasADi_MPC_MHE_Python
  This repository is an implementation of the work from Mohamed W. Mehrez. I convert the original code in MATLAB to the Python
  ☆166Updated 5 months ago
• hocherie / cbf_quadrotor
  Control Barrier Functions for Quadrotors, standalone with dynamics simulator, nominal controllers.
  ☆65Updated 2 years ago
• urosolia / LMPC
  This repo collets few LMPC examples coded in Python
  ☆84Updated last year
• MohamadSayegh / MPC_Quadrotor
  Model Predictive Control for a quadrotor in static and dynamic environments
  ☆69Updated 3 years ago
• devsonni / MPC-Implementation
  This repository has the code for the nonlinear model predictive controller for target tracking problems with the use of Casadi framework …
  ☆71Updated last year
• HybridRobotics / CBF-CLF-Helper
  Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.
  ☆327Updated last year
• rcheng805 / robust_cbf
  ☆33Updated 4 years ago
• rahul-sb / RRTx
  Real-Time Path Replanning in Unexplored Environments with Unpredictable Obstacles
  ☆57Updated 6 years ago
• bermeom / MPC-mobile-robot-Path-following
  Design and simulation model predictive control for path following with mobile robot.
  ☆91Updated 6 years ago
• icsl-Jeon / traj_gen-matlab
  Optimal trajectory generation
  ☆59Updated 5 years ago
• elena-ecn / mpc-cbf
  Model Predictive Control with discrete-time Control Barrier Functions (MPC-CBF) for a wheeled mobile robot.
  ☆159Updated 2 years ago
• The-SS / quadrotor_trajectory
  Generating minimum snap trajectories between waypoints for quadrotors
  ☆14Updated 11 months ago
• jbreeden-um / phd-code
  ☆48Updated last year
• qwerty35 / swarm_simulator
  Trajectory generation and simulation for multi-agent swarm
  ☆126Updated last year
• tud-amr / mrca-mav
  Collision avoidance for mavs in dynamic environments using model predictive control
  ☆92Updated 5 years ago
• uzh-rpg / data_driven_mpc
  ☆307Updated 4 years ago
• HJReachability / helperOC
  ☆87Updated 2 years ago
• linqingbh / MPC-quadcopter
  Model Predictive Control for an autonomous quadcopter (UAV)
  ☆82Updated 4 years ago
• mit-acl / multiagent_planning
  Implementation of several multiagent trajectory generation algorithms
  ☆12Updated 5 years ago