Alternatives and similar repositories for DeepSDP

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

• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆79Updated 8 months ago
• harwiltz / stable-dynamics-models
  PyTorch implementation of "Learning Stable Deep Dynamics Models" (https://papers.nips.cc/paper/9292-learning-stable-deep-dynamics-models)…
  ☆16Updated 5 years ago
• vmartinezalvarez / DyNODE
  DyNODE: Neural Ordinary Differential Equations for Dynamics Modeling in Continuous Control
  ☆23Updated 4 years ago
• locuslab / stable_dynamics
  Companion code to "Learning Stable Deep Dynamics Models" (Manek and Kolter, 2019)
  ☆33Updated 5 years ago
• StanfordASL / CoCo
  ☆36Updated 2 years ago
• vroulet / ilqc
  Iterative Linearized Control Toolbox
  ☆37Updated 10 months ago
• rkcosner / cyberpod_sim_ros
  Segway Simulation Environment
  ☆10Updated 4 years ago
• sundw2014 / C3M
  Learning Certified Control Using Contraction Metric (CoRL 2020)
  ☆30Updated 2 years ago
• ajthor / socks
  Stochastic Optimal Control and Reachability Toolbox Written in Python
  ☆14Updated last year
• locuslab / robust-nn-control
  Enforcing robust control guarantees within neural network policies
  ☆53Updated 4 years ago
• stellatogrp / l2ws_qp
  ☆14Updated last year
• dawsonc / jax_controls_tutorial
  A brief JAX tutorial with examples from control theory
  ☆12Updated 2 years ago
• NoemieJaquier / GaBOtorch
  This repository contains the source code to perform Geometry-aware Bayesian Optimization (GaBO) on Riemannian manifolds.
  ☆52Updated 3 years ago
• yuanchenyang / SumOfSquares.py
  Python implementation of Sum-of-Squares optimization built on picos
  ☆36Updated 8 months ago
• oxford-oxcav / fossil
  ☆20Updated 5 months ago
• ASAG-ISCAS / PyBDR
  Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
  ☆17Updated last month
• lubaroli / dust
  This is the code repository for the DuSt-MPC paper, published at Robotics: Science and Systems (RSS) 2021.
  ☆25Updated 3 years ago
• befelix / SafeMDP
  Safe exploration in Markov Decision Processes
  ☆37Updated 7 years ago
• modestyachts / robust-adaptive-lqr
  Implementation of robust adaptive control methods for the linear quadratic regulator
  ☆38Updated 3 years ago
• unstable-zeros / learning-cbfs
  Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…
  ☆65Updated last year
• UCSD-SASLab / HopfReachability
  Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…
  ☆18Updated 2 months ago
• Verified-Intelligence / Lyapunov_Stable_NN_Controllers
  Lyapunov-stable Neural Control for State and Output Feedback
  ☆67Updated 10 months ago
• Yusufma03 / DPFRL
  Discriminative Particle Filter Reinforcement Learning for Complex Partial Observations (ICLR 2020)
  ☆25Updated 3 years ago
• YaChienChang / Neural-Lyapunov-Control
  Learning Lyapunov functions and control policies of nonlinear dynamical systems
  ☆133Updated 4 years ago
• anassinator / pddp
  WIP implementation of Probabilistic Differential Dynamic Programming in PyTorch
  ☆15Updated 10 months ago
• ZikangXiong / MFNLC
  [IROS 22'] Model-free Neural Lyapunov Control
  ☆23Updated 2 years ago
• donken / NeuralOC
  A Neural Network Approach for Real-Time High-Dimensional Optimal Control
  ☆26Updated 2 years ago
• YunzhuLi / CompositionalKoopmanOperators
  [ICLR 2020] Learning Compositional Koopman Operators for Model-Based Control
  ☆90Updated 4 years ago
• rcheng805 / CORE-RL
  Code implementing the CORE-RL algorithm with DDPG, PPO, and TRPO. See the paper "Control Regularization for Reduced Variance Reinforcemen…
  ☆32Updated 4 years ago
• young-j-park / 18-NeurIPS-APIAE
  ☆21Updated 6 years ago