sadraddini / pypolycontain

Related projects ⓘ

Alternatives and complementary repositories for pypolycontain

• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆44Updated 4 years ago
• TUMcps / CORA
  Toolbox for Reachability Analysis
  ☆109Updated last week
• HJReachability / helperOC
  ☆82Updated last year
• heyinUCB / Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers
  ☆13Updated 2 years ago
• oxford-oxcav / fossil
  ☆16Updated last year
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated 10 months ago
• fmesserer / ofsmpc
  A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints
  ☆14Updated last year
• sundw2014 / C3M
  Learning Certified Control Using Contraction Metric (CoRL 2020)
  ☆31Updated last year
• spot-toolbox / spotless
  A fork of the Systems Polynomial Optimization Toolbox.
  ☆28Updated 6 years ago
• befelix / safe-exploration
  Safe Exploration with MPC and Gaussian process models
  ☆89Updated 4 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…
  ☆57Updated last year
• chenyutao36 / MATMPC
  ☆70Updated 7 months ago
• oxfordcontrol / SOSTOOLS
  A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
  ☆55Updated 3 weeks ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆77Updated 2 months ago
• StanfordASL / stlcg
  ☆63Updated 8 months ago
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆35Updated 2 years ago
• SafeRoboticsLab / Dual_Control_HRI
  Implementation of implicit dual control-based active uncertainty learning for human-robot interaction - WAFR 2022 & IJRR 2023
  ☆28Updated 4 months ago
• giorgosmamakoukas / MemoryEfficientStableLDS
  Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"
  ☆22Updated 3 years ago
• StanfordASL / Adaptive-Control-Oriented-Meta-Learning
  Adaptive control-oriented meta-learning for nonlinear systems
  ☆55Updated 3 years ago
• SFU-MARS / optimized_dp
  Optimizing Dynamic Programming-Based Algorithms
  ☆103Updated this week
• wecacuee / Bayesian_CBF
  Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"
  ☆25Updated 2 years ago
• befelix / lyapunov-learning
  Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes
  ☆38Updated 4 years ago
• Verified-Intelligence / Lyapunov_Stable_NN_Controllers
  Lyapunov-stable Neural Control for State and Output Feedback
  ☆57Updated 4 months ago
• aalanwar / Data-Driven-Reachability-Analysis
  Data Driven Reachability Analysis from Noisy Data
  ☆21Updated 7 months ago
• StanfordASL / hj_reachability
  Hamilton-Jacobi reachability analysis in JAX.
  ☆113Updated 2 weeks ago
• urosolia / LMPC_SimpleExample
  MATLAB LMPC implementation for a double integrator system
  ☆57Updated 3 years ago
• lassepe / iLQGames.jl
  Rapidly designing and solving differential games in Julia.
  ☆35Updated 3 weeks ago
• TobiaMarcucci / pympc
  ☆54Updated 3 months ago
• MIT-REALM / neural_clbf
  Toolkit for learning controllers based on robust control Lyapunov barrier functions
  ☆138Updated 4 months ago
• Cafolkes / koopman_learning_and_control
  Repository for Koopman based learning and nonlinear control
  ☆37Updated last year