UW-CTRL / stljaxLinks
stlcg implemented with jax
☆14Updated last week
Alternatives and similar repositories for stljax
Users that are interested in stljax are comparing it to the libraries listed below
Sorting:
- ☆71Updated last year
- Mobile Robot Control via Goal-Conditioned Reinforcement Learning☆21Updated last year
- The reimplementation of Model Predictive Path Integral (MPPI) from the paper "Information Theoretic MPC for Model-Based Reinforcement Lea…☆100Updated 2 weeks ago
- Automated Robust Co-design for Cyberphysical Systems☆29Updated 2 years ago
- A toolbox for trajectory optimization of dynamical systems☆53Updated 3 years ago
- Optimizing Dynamic Programming-Based Algorithms☆118Updated last week
- Iterative Linearized Control Toolbox☆37Updated 11 months ago
- Hamilton-Jacobi reachability analysis in JAX.☆138Updated 8 months ago
- A python library for control from Signal Temporal Logic (STL) specifications☆46Updated last month
- Control Synthesis from Formal Specifications using Reinforcement Learning☆25Updated last month
- ☆24Updated 3 years ago
- ☆63Updated last week
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆9Updated last week
- GPU-friendly, auto-differentiable LQR solver with JAX.☆172Updated last month
- A brief JAX tutorial with examples from control theory☆12Updated 2 years ago
- Differentiable collision detection for capsules in JAX.☆47Updated last year
- Toolbox for solving CBFs in Python☆13Updated last year
- improved Cross Entropy Method for trajectory optimization☆78Updated 3 years ago
- ☆73Updated 2 months ago
- A JAX library for Sequential Convex Programming (SCP) Model Predictive Control (MPC) path planning☆25Updated last year
- A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function…☆10Updated 2 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆70Updated last year
- ☆40Updated 2 months ago
- Rex is a JAX-powered framework for sim-to-real robotics.☆39Updated last month
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆163Updated last month
- Direct Trajectory Optimization in JAX☆22Updated 8 months ago
- Iterative LQG for a couple of MuJoCo models☆61Updated 2 years ago
- ☆75Updated 6 years ago
- ☆36Updated 2 years ago
- ☆21Updated last year