☆100Jun 13, 2023Updated 3 years ago
Alternatives and similar repositories for helperOC
Users that are interested in helperOC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆45May 11, 2025Updated last year
- Optimizing Dynamic Programming-Based Algorithms☆141Jul 11, 2026Updated last month
- Hamilton-Jacobi reachability analysis in JAX.☆192Nov 8, 2024Updated last year
- ☆105May 13, 2026Updated 3 months ago
- Clone of Ian M. Mitchell's ToolboxLS repository. (https://bitbucket.org/ian_mitchell/toolboxls)☆15Jan 18, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A ROS implementation of Fast and Safe Tracking (FaSTrack).☆80Aug 3, 2020Updated 6 years ago
- Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Living…☆16Sep 19, 2018Updated 7 years ago
- A repository for enforcing CBF constraints between strictly convex sets.☆15Feb 6, 2025Updated last year
- "Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions" by S. Liu, J. Zeng, …☆12Mar 11, 2023Updated 3 years ago
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Aug 21, 2026Updated last week
- ☆26Jan 20, 2022Updated 4 years ago
- A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.☆17Feb 23, 2024Updated 2 years ago
- Iterative Linear-Quadratic Games!☆194Jul 21, 2026Updated last month
- ROS implementation of meta planning + FaSTrack!☆16Sep 23, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆76Apr 16, 2024Updated 2 years ago
- A Tool for Continuous Reachability Analysis.☆163Jul 7, 2026Updated last month
- ☆15Nov 22, 2022Updated 3 years ago
- For the paper "Prediction-Based Reachability for Collision Avoidance in Autonomous Driving"☆23Dec 16, 2020Updated 5 years ago
- An open source repository for control, planning and navigation about control barrier functions.☆216Feb 22, 2024Updated 2 years ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆197Jul 10, 2024Updated 2 years ago
- Rapidly designing and solving differential games in Julia.☆49Jun 29, 2026Updated 2 months ago
- HyP-DESPOT: A Hybrid Parallel Algorithm for Online Planning under Uncertainty☆56Jan 4, 2024Updated 2 years ago
- A modified version of the level-set-methods-toolbox developed by Ian M. Mitchell☆13Nov 14, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆35Dec 12, 2022Updated 3 years ago
- ☆12Oct 18, 2022Updated 3 years ago
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆22Jul 3, 2020Updated 6 years ago
- Library for simulation of nonlinear control systems, control design, and Lyapunov-based learning.☆40Nov 21, 2022Updated 3 years ago
- A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control bar…☆321Nov 9, 2023Updated 2 years ago
- Contains a number of useful functions for diealing with Lie groups☆16Aug 17, 2019Updated 7 years ago
- RSS 2021: Convex Risk Bounded Continuous-Time Trajectory Planning in Uncertain Nonconvex Environments☆30Aug 12, 2022Updated 4 years ago
- Safety-critical control for autonomous systems☆30Aug 11, 2023Updated 3 years ago
- Computing reachable states of dynamical systems in Julia☆216Aug 14, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Dec 21, 2023Updated 2 years ago
- Safe Model Predictive Diffusion: Training-free diffusion planner for provably safe and kinodynamically feasible trajectory☆33Feb 1, 2026Updated 7 months ago
- MIT 16.S498 Graduate Course: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆65Apr 29, 2025Updated last year
- ☆17Oct 25, 2024Updated last year
- ReSonate: A framework for runtime risk assessment of autonomous cyber-physical systems☆11Jul 4, 2021Updated 5 years ago
- C Code generation for NMPC☆30Sep 18, 2020Updated 5 years ago
- ☆36Jul 10, 2026Updated last month