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 4 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 11 months ago
- 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
- Multi-agent coordination using game theory and nonlinear opinion dynamics - CDC 2023☆14Nov 29, 2023Updated 2 years ago
- DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.☆21Jul 28, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Finite-state machine behavioural planner for autonomous vehicle.☆13Oct 13, 2020Updated 5 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
- ☆17May 2, 2022Updated 4 years ago
- Code release for RDF (Reachability-based Trajectory Design with Neural Implicit Safety Constraints)☆37Jun 26, 2024Updated last year
- ☆37May 1, 2022Updated 4 years ago
- Safety Critical Control of Autonomous Vehicles by Control Barrier Functions☆16Sep 9, 2022Updated 3 years ago
- Implementation of Hierarchical MPC with RAID-Net☆17Jan 22, 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
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆23Jun 2, 2021Updated 5 years ago
- Toolbox for Automated Controller Synthesis☆17May 31, 2026Updated 2 weeks ago
- ☆34Oct 16, 2021Updated 4 years ago
- Repository for "Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception" - RSS 2021☆37Jul 22, 2022Updated 3 years ago
- Robust adaptive control of LPV systems☆16Sep 21, 2023Updated 2 years ago
- Official open-source implementation of ICML 2022 paper: Reachability Constrainted Reinforcement Learning.☆42Jul 28, 2022Updated 3 years ago
- Bi-Level Optimization Augmented with Conditional Variational Autoencoder for Autonomous Driving in Dense Traffic☆16Jun 27, 2023Updated 2 years ago
- Introduction to the paper "Efficient Speed Planning for Autonomous Driving in Dynamic Environment with Interaction Point Model"☆55Sep 28, 2022Updated 3 years ago
- A Python implmentation of the Dynamic Game SQP algorithm☆37May 30, 2024Updated 2 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.
- Repository for "Blending Data-Driven Priors in Dynamic Games" - RSS 2024