StanfordMSL / Neural-Network-Reach

Related projects ⓘ

Alternatives and complementary repositories for Neural-Network-Reach

• dawsonc / jax_controls_tutorial
  A brief JAX tutorial with examples from control theory
  ☆12Updated last year
• AstroHiro / ncm
  Codes for designing Neural Contraction Metrics (NCMs)
  ☆32Updated 4 years ago
• vincekurtz / stlpy
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆35Updated 2 years ago
• stanleybak / quickzonoreach
  Quick reachability using zonotopes.
  ☆9Updated 4 years ago
• hallfjonas / LCQPow
  LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints
  ☆22Updated 2 months ago
• neu-autonomy / nfl_veripy
  Formal Verification of Neural Feedback Loops (NFLs)
  ☆77Updated 2 months 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
• StanfordASL / stlcg
  ☆62Updated 8 months ago
• vroulet / ilqc
  Iterative Linearized Control Toolbox
  ☆35Updated 3 months ago
• schmrlng / MotionPlanning.jl
  Robotic motion planning in Julia
  ☆41Updated 4 years ago
• jasour / Non-Gaussian_Risk-Bounded_TrajOpt
  Non-Gaussian Risk Bounded Trajectory Optimization for StochasticNonlinear Systems in Uncertain Environments
  ☆33Updated 2 years ago
• TobiaMarcucci / pympc
  ☆54Updated 3 months ago
• kevin-tracy / dpax
  Differentiable collision detection for capsules in JAX.
  ☆34Updated 11 months ago
• TUMcps / AROC
  Toolbox for Automated Controller Synthesis
  ☆17Updated 9 months ago
• heirung / pytope
  Minimal package for operations on polytopes, zonotopes, and invariant sets.
  ☆43Updated 4 years ago
• gtfactslab / immrax
  Interval Analysis and Mixed Monotone Reachability in JAX
  ☆12Updated this week
• sundw2014 / C3M
  Learning Certified Control Using Contraction Metric (CoRL 2020)
  ☆30Updated last year
• ivandariojr / NeuralGaits
  Repository Associated with the Paper
  ☆11Updated 2 years ago
• StanfordMSL / SACBP.jl
  Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia
  ☆15Updated 2 years ago
• TobiaMarcucci / gcspy
  ☆30Updated 4 months ago
• MIT-REALM / architect_rss_22
  Automated Robust Co-design for Cyberphysical Systems
  ☆28Updated last year
• sliu2019 / input_limit_cbf
  ☆15Updated last year
• meco-group / dynamic_optimization_inventory
  A curated list of solvers/software/frameworksrelevant for dynamic optimiation
  ☆28Updated 3 weeks ago
• tud-amr / localPlannerBench
  Local Planner Bench
  ☆50Updated last year
• yotakayama / STLCCP
  An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications
  ☆14Updated last year
• StanfordASL / GuSTO.jl
  Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…
  ☆57Updated 8 months ago
• PRX-Kinodynamic / ML4KP
  A library for integrating machine learning tools with state-of-the-art sampling-based kinodynamic planning algorithms.
  ☆16Updated 2 years ago
• HJReachability / beacls
  ☆40Updated last year
• 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…
  ☆56Updated last year
• arlk / SafeFeedbackMotionPlanning.jl
  Safe Control for Nonlinear Systems
  ☆18Updated 4 years ago