Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimization
☆22Aug 14, 2025Updated 6 months ago
Alternatives and similar repositories for HopfReachability
Users that are interested in HopfReachability are comparing it to the libraries listed below
Sorting:
- Hamilton-Jacobi reachability analysis in JAX.☆170Nov 8, 2024Updated last year
- ☆15Updated this week
- LAMPOS, a strategy-based solution approach for mp-MILPs for real-time mixed-integer MPC with sub-optimality quantification☆11Jun 25, 2023Updated 2 years ago
- ☆13Nov 5, 2025Updated 3 months ago
- ☆18May 14, 2024Updated last year
- Convex hulls of reachable sets☆14Feb 29, 2024Updated 2 years ago
- ☆11Dec 6, 2022Updated 3 years ago
- MISO: Learning Multiple Initial Solutions to Optimization Problems☆16Nov 8, 2024Updated last year
- A GPU-accelerated toolbox for hyperbolic PDEs in a weaker (viscosity) sense. It leverages the integral to the solution of the conservatio…☆11Updated this week
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆17Oct 30, 2023Updated 2 years ago
- Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling☆13Jan 4, 2021Updated 5 years ago
- Synthesis of control barrier functions with SOS☆15Sep 9, 2023Updated 2 years ago
- alfonso: ALgorithm For Non-Symmetric Optimization☆18Aug 4, 2024Updated last year
- Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations☆18Mar 4, 2022Updated 3 years ago
- Optimal Control Tutorials☆15Aug 20, 2020Updated 5 years ago
- A clean, extensible toolbox for running experiments on the Crazyflie 2.0 quadrotor.☆18Feb 23, 2024Updated 2 years ago
- Lyapunov-stable Neural Control for State and Output Feedback☆81Jul 15, 2024Updated last year
- TaskMet Task-driven Metric Learning for Model Learning☆20Feb 9, 2024Updated 2 years ago
- Risk-averse trajectory optimization☆20Sep 27, 2023Updated 2 years ago
- ☆90May 5, 2025Updated 9 months ago
- ☆20Dec 2, 2024Updated last year
- Code accompanying "Sketching Curvature for Efficient Out-of-Distribution Detection for Deep Neural Networks"☆22Aug 13, 2021Updated 4 years ago
- ☆29Feb 19, 2026Updated last week
- ☆29Jul 29, 2025Updated 7 months ago
- Obstacle avoidance around linear and nonlinear dynamics.☆23Dec 14, 2024Updated last year
- Jax version of F16 dynamics☆26Aug 18, 2024Updated last year
- Sequential motion planning algorithm for problems defined as a sequence of manifolds.☆27Jun 28, 2021Updated 4 years ago
- PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power a…☆34Feb 17, 2026Updated last week
- ☆19Sep 22, 2025Updated 5 months ago
- AI4Science: Efficient data-driven Online Model Learning (OML) / system identification and control☆33Oct 20, 2022Updated 3 years ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Oct 6, 2022Updated 3 years ago
- ☆36Nov 5, 2024Updated last year
- Official code for "Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability"☆30Aug 1, 2023Updated 2 years ago
- UKF over generalized manifold in Matlab☆32Jun 10, 2018Updated 7 years ago
- Toolbox for Robotics Control☆86Feb 17, 2026Updated last week
- Medium fidelity aircraft-propulsion system design and optimization.☆42Updated this week
- Library for modeling, simulation, and verification of interacting autonomous agents☆37Aug 10, 2025Updated 6 months ago
- This repository contains CartPole simulator with its GUI, implemented controller (LQR) and generator of random desired position trace. It…☆40Sep 23, 2025Updated 5 months ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆36Jun 26, 2025Updated 8 months ago