Alternatives and similar repositories for cis2m

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

• sreachtools / SReachTools
  MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
  ☆12Updated 5 years ago
• rcpsl / SMC-LTL
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner
  ☆14Updated 2 years ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆82Updated last year
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated last year
• acxz / mppi
  A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.
  ☆18Updated 6 years ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆48Updated 5 years ago
• TUMcps / CORA
  A Tool for Continuous Reachability Analysis.
  ☆146Updated 2 months ago
• StanfordASL / AA203-Examples
  Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
  ☆53Updated 8 months ago
• Eric-Bradford / UKF-SNMPC
  This repository contains the source code for “Unscented Kalman filter stochastic nonlinear model predictive control” (UKF-SNMPC).
  ☆61Updated 2 years ago
• BerkeleyAutomation / rlqp
  Accelerating Quadratic Optimization with Reinforcement Learning
  ☆94Updated 4 years ago
• ajthor / socks
  Stochastic Optimal Control and Reachability Toolbox Written in Python
  ☆15Updated 2 years ago
• sadraddini / pypolycontain
  A Toolbox For Polytopic Objects, Operations, and Containment Problems
  ☆25Updated last year
• osqp / osqp-matlab
  Matlab interface for OSQP
  ☆54Updated 3 months ago
• xiang-yin / DPO-SYNT
  DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
  ☆12Updated 7 years ago
• giaf / hpmpc
  Library for High-Performance implementation of solvers for MPC.
  ☆60Updated 6 months ago
• wanxinjin / Safe-PDP
  Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…
  ☆71Updated 3 years ago
• arlk / SafeFeedbackMotionPlanning.jl
  Safe Control for Nonlinear Systems
  ☆18Updated 5 years ago
• learning-and-control / core
  Python simulation and hardware library for learning and control
  ☆20Updated 2 years ago
• ossamaAhmed / blackbox_mpc
  Sampling based Model Predictive Control package for Model-Based RL research
  ☆56Updated 5 years ago
• vvrs / MPPIController
  Robot Controls Course Project
  ☆62Updated 4 years ago
• StanfordASL / ccscp
  Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization
  ☆34Updated 5 years ago
• jainachin / bayesrace
  Learning based control for autonomous racing
  ☆78Updated last year
• RoboticExplorationLab / Algames.jl
  ALGAMES: Game Theoretic Solver for Trajectory Optimization
  ☆116Updated 2 years ago
• urosolia / LMPC
  This repo collets few LMPC examples coded in Python
  ☆85Updated last year
• jasour / rarnop19
  MIT 16.S498 Graduate Course: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour
  ☆65Updated 8 months ago
• StanfordASL / AA203-Homework
  Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.
  ☆27Updated 7 months ago
• Eric-Bradford / Nominal_NMPC
  A basic nonlinear model predictive control implementation using Casadi with Unscented Kalman filter state estimation
  ☆52Updated 4 years ago
• HarvardAgileRoboticsLab / unscented-dynamic-programming
  A trajectory optimization algorithm that doesn't require dynamics derivatives
  ☆36Updated 9 years ago
• StanfordASL / CoCo
  ☆38Updated 2 years ago
• befelix / lyapunov-learning
  Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes
  ☆39Updated 6 years ago