StanfordASL / hj_reachability
Hamilton-Jacobi reachability analysis in JAX.
☆126Updated 4 months ago
Alternatives and similar repositories for hj_reachability:
Users that are interested in hj_reachability are comparing it to the libraries listed below
- Optimizing Dynamic Programming-Based Algorithms☆114Updated last week
- ☆69Updated 4 months ago
- ☆84Updated last year
- Safe robot learning☆87Updated 4 months ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated 2 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 3 weeks ago
- ☆66Updated last year
- Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad…☆70Updated 2 years ago
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆105Updated last year
- Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.☆24Updated 10 months ago
- ☆20Updated 10 months ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆159Updated 8 months ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆63Updated last year
- Automatic Tuning for Data-driven Model Predictive Control☆62Updated last year
- Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling☆11Updated 4 years ago
- ☆27Updated this week
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆154Updated last week
- Soure code for Deep Koopman with Control☆75Updated 2 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆41Updated 2 years ago
- ☆19Updated 3 months ago
- Model-based Control using Koopman Operators☆52Updated 4 years ago
- Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.☆52Updated 10 months ago
- constraint differential dynamical programming☆29Updated 2 years ago
- Lyapunov-stable Neural Control for State and Output Feedback☆67Updated 8 months ago
- Various Control Barrier Functions realized on cartpole.☆24Updated 9 months ago
- ☆14Updated 5 months ago
- This repo collets few LMPC examples coded in Python☆82Updated 9 months ago
- A Python implmentation of the Dynamic Game SQP algorithm☆25Updated 10 months ago
- ☆18Updated 2 years ago
- Sampling based Model Predictive Control package for Model-Based RL research☆54Updated 4 years ago