MIT-REALM / architect_rss_22Links
Automated Robust Co-design for Cyberphysical Systems
☆30Updated 2 years ago
Alternatives and similar repositories for architect_rss_22
Users that are interested in architect_rss_22 are comparing it to the libraries listed below
Sorting:
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆64Updated 2 years ago
- Algorithm and model experiments for robot motion planning. Implemented in Julia.☆93Updated 3 years ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆37Updated 3 months ago
- Fast QP Solver in JAX☆21Updated last year
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆20Updated last month
- Differentiable collision detection for capsules in JAX.☆49Updated last year
- A brief JAX tutorial with examples from control theory☆12Updated 2 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆47Updated 3 months ago
- Non-Gaussian Risk Bounded Trajectory Optimization for StochasticNonlinear Systems in Uncertain Environments☆33Updated 3 years ago
- ☆29Updated 2 years ago
- Simple Linear Algebra Protocols☆23Updated 2 years ago
- stlcg implemented with jax☆20Updated 2 months ago
- Repository Associated with the Paper☆15Updated 3 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆72Updated 2 years ago
- Linear Temporal Logic Motion Planning with Graphs of Convex Sets☆51Updated 2 years ago
- CppADCodeGen with an easy Eigen interface and Python bindings.☆15Updated 3 years ago
- Iterative Linearized Control Toolbox☆38Updated last year
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆17Updated last year
- Accelerating Quadratic Optimization with Reinforcement Learning☆93Updated 3 years ago
- ☆70Updated 2 weeks ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆165Updated 4 months ago
- A fast algorithm for finding an optimal path in a collection of safe boxes☆66Updated 7 months ago
- Model predictive control in Python based on quadratic programming☆47Updated 4 months ago
- Safe guaranteed exploration for non-linear systems☆18Updated last year
- Optimal Control Tutorials☆15Updated 5 years ago
- Implementations of QP/QCQP solvers using ADMM algorithm☆50Updated 2 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Segway Simulation Environment☆11Updated 4 years ago
- Differentiable Gaussian Process Motion Planning☆52Updated 4 years ago
- ☆18Updated last month