We use reachability to ensure the safety of a decision agent acting on a dynamic system in real-time. We compute the Forward Reachable Set offline and use it online to adjust any potentially unsafe decisions that cause a collision with an obstacle.
☆34Jun 19, 2021Updated 5 years ago
Alternatives and similar repositories for reachability-based_trajectory_safeguard
Users that are interested in reachability-based_trajectory_safeguard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Jul 18, 2025Updated last year
- For the paper "Prediction-Based Reachability for Collision Avoidance in Autonomous Driving"☆23Dec 16, 2020Updated 5 years ago
- Get started with Reachability-based Trajectory Design for static obstacles☆61May 1, 2022Updated 4 years ago
- Finite-state machine behavioural planner for autonomous vehicle.☆13Oct 13, 2020Updated 5 years ago
- Multi-agent coordination using game theory and nonlinear opinion dynamics - CDC 2023☆15Nov 29, 2023Updated 2 years 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.
- DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.☆22Jul 28, 2022Updated 4 years ago
- Implementation of DDP algorithm for Optimal Control on a Bicycle Model for optimal lane change maneuvering and Skidpad track following.☆21Aug 14, 2022Updated 3 years ago
- Code release for RDF (Reachability-based Trajectory Design with Neural Implicit Safety Constraints)☆37Jun 26, 2024Updated 2 years ago
- ☆17May 2, 2022Updated 4 years ago
- This is the source code for IV'23 'Safety-critical Decision-making and Control for Autonomous Vehicles with Highest Priority'.☆24May 9, 2025Updated last year
- This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST…☆10Aug 2, 2023Updated 2 years ago
- ☆37May 1, 2022Updated 4 years ago
- Safety Critical Control of Autonomous Vehicles by Control Barrier Functions☆16Sep 9, 2022Updated 3 years ago
- ☆23Jun 2, 2021Updated 5 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.
- Toolbox for Automated Controller Synthesis☆18May 31, 2026Updated last month
- Official open-source implementation of ICML 2022 paper: Reachability Constrainted Reinforcement Learning.☆43Jul 28, 2022Updated 4 years ago
- Repository for "Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception" - RSS 2021☆37Jul 22, 2022Updated 4 years ago
- Introduction to the paper "Efficient Speed Planning for Autonomous Driving in Dynamic Environment with Interaction Point Model"☆56Sep 28, 2022Updated 3 years ago
- Bi-Level Optimization Augmented with Conditional Variational Autoencoder for Autonomous Driving in Dense Traffic☆16Jun 27, 2023Updated 3 years ago
- Repository for "Blending Data-Driven Priors in Dynamic Games" - RSS 2024☆19Jun 25, 2024Updated 2 years ago
- An inverse game solver for inferring objectives from noise-corrupted partial state observations of non-cooperative multi-agent interactio…☆28Apr 5, 2023Updated 3 years ago
- A Python implmentation of the Dynamic Game SQP algorithm☆38May 30, 2024Updated 2 years ago
- This repository contains the code for designing risk bounded motion plans for car-like robot using Carla Simulator.☆25Apr 27, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Imitation Learning with the INTERACTION Dataset☆39Apr 1, 2024Updated 2 years ago
- To guarantee safe and efficient driving for automated vehicles in complicated traffic conditions, the motion planning module of automated…☆71Oct 30, 2021Updated 4 years ago
- A Real-Time Reachability-based Motion Planning Algorithm for Risk-Aware Motion Planning in Uncertain Environments.☆35Dec 13, 2023Updated 2 years ago
- Contains the code for "BaRC: Backward Reachability Curriculum for Robotic Reinforcement Learning" by Boris Ivanovic, James Harrison, Apoo…☆12Jun 20, 2018Updated 8 years ago
- Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing☆14Aug 8, 2024Updated last year
- A collection of examples for Stochastic MPC applied to Autonomous Vehicle Scenarios☆17Oct 21, 2023Updated 2 years ago
- Motion Planning for Autonomous Driving using Model Predictive Control based on CommonRoad Framework.☆72Mar 9, 2026Updated 4 months 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
- Hamilton-Jacobi reachability analysis in JAX.☆191Nov 8, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Aug 7, 2025Updated 11 months ago
- Implementation of interaction and safety-aware motion planning☆34Oct 17, 2023Updated 2 years ago
- RSS 2021: Convex Risk Bounded Continuous-Time Trajectory Planning in Uncertain Nonconvex Environments☆30Aug 12, 2022Updated 3 years ago
- Implementation of Hierarchical MPC with RAID-Net☆17Jan 22, 2025Updated last year
- A lightweight C++ library for Gaussian processes (GPs).☆15Apr 16, 2017Updated 9 years ago
- ☆21Dec 16, 2022Updated 3 years ago
- Reachability-based Trajectory Design☆14Aug 24, 2020Updated 5 years ago