An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Bajcsy, Andrea, Bansal, Somil, Bronstein, Eli, Tolani, Varun, Tomlin, Claire J. |
|---|---|
| Format: | Preprint |
| Publié: |
2019
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
par: Lin, Albert, et autres
Publié: (2024)
par: Lin, Albert, et autres
Publié: (2024)
A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
par: Tayal, Manan, et autres
Publié: (2025)
par: Tayal, Manan, et autres
Publié: (2025)
Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
par: Wang, Hao, et autres
Publié: (2025)
par: Wang, Hao, et autres
Publié: (2025)
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
par: Lin, Albert, et autres
Publié: (2023)
par: Lin, Albert, et autres
Publié: (2023)
DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
par: Borquez, Javier, et autres
Publié: (2025)
par: Borquez, Javier, et autres
Publié: (2025)
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
par: Chakraborty, Kaustav, et autres
Publié: (2022)
par: Chakraborty, Kaustav, et autres
Publié: (2022)
Competency-Aware Planning for Probabilistically Safe Navigation Under Perception Uncertainty
par: Pohland, Sara, et autres
Publié: (2024)
par: Pohland, Sara, et autres
Publié: (2024)
Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
par: Xia, Xingpeng, et autres
Publié: (2024)
par: Xia, Xingpeng, et autres
Publié: (2024)
Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
par: Singh, Aditya, et autres
Publié: (2024)
par: Singh, Aditya, et autres
Publié: (2024)
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
par: Borquez, Javier, et autres
Publié: (2022)
par: Borquez, Javier, et autres
Publié: (2022)
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
par: Feng, Zeyuan, et autres
Publié: (2025)
par: Feng, Zeyuan, et autres
Publié: (2025)
Providing Safety Assurances for Systems with Unknown Dynamics
par: Wang, Hao, et autres
Publié: (2024)
par: Wang, Hao, et autres
Publié: (2024)
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
par: Borquez, Javier, et autres
Publié: (2023)
par: Borquez, Javier, et autres
Publié: (2023)
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
par: Lin, Albert, et autres
Publié: (2025)
par: Lin, Albert, et autres
Publié: (2025)
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
par: Borquez, Javier, et autres
Publié: (2023)
par: Borquez, Javier, et autres
Publié: (2023)
Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
par: Killer, Matthias, et autres
Publié: (2023)
par: Killer, Matthias, et autres
Publié: (2023)
Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
par: Jeong, Hyun Joe, et autres
Publié: (2024)
par: Jeong, Hyun Joe, et autres
Publié: (2024)
Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
par: Thorup, Santiago, et autres
Publié: (2026)
par: Thorup, Santiago, et autres
Publié: (2026)
Provably Safe Motion Planning Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2026)
par: Gracia, Ibon, et autres
Publié: (2026)
DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
par: Yang, Rui, et autres
Publié: (2026)
par: Yang, Rui, et autres
Publié: (2026)
EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
par: Jang, Inkyu, et autres
Publié: (2025)
par: Jang, Inkyu, et autres
Publié: (2025)
Cooptimizing Safety and Performance with a Control-Constrained Formulation
par: Wang, Hao, et autres
Publié: (2024)
par: Wang, Hao, et autres
Publié: (2024)
Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
par: Chakraborty, Kaustav, et autres
Publié: (2025)
par: Chakraborty, Kaustav, et autres
Publié: (2025)
Safe Navigation using Neural Radiance Fields via Reachable Sets
par: Thapliyal, Omanshu, et autres
Publié: (2026)
par: Thapliyal, Omanshu, et autres
Publié: (2026)
Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
par: Yang, Rui, et autres
Publié: (2025)
par: Yang, Rui, et autres
Publié: (2025)
An Intent Modeling and Inference Framework for Autonomous and Remotely Piloted Aerial Systems
par: Kaza, Kesav, et autres
Publié: (2024)
par: Kaza, Kesav, et autres
Publié: (2024)
Egocentric Conformal Prediction for Safe and Efficient Navigation in Dynamic Cluttered Environments
par: Shin, Jaeuk, et autres
Publié: (2025)
par: Shin, Jaeuk, et autres
Publié: (2025)
LLM-Enhanced Path Planning: Safe and Efficient Autonomous Navigation with Instructional Inputs
par: Doma, Pranav, et autres
Publié: (2024)
par: Doma, Pranav, et autres
Publié: (2024)
TRG-planner: Traversal Risk Graph-Based Path Planning in Unstructured Environments for Safe and Efficient Navigation
par: Lee, Dongkyu, et autres
Publié: (2025)
par: Lee, Dongkyu, et autres
Publié: (2025)
Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
par: Cherenson, Daniel M., et autres
Publié: (2025)
par: Cherenson, Daniel M., et autres
Publié: (2025)
Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
par: Fang, Jeffrey, et autres
Publié: (2026)
par: Fang, Jeffrey, et autres
Publié: (2026)
Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
par: Long, Kehan, et autres
Publié: (2024)
par: Long, Kehan, et autres
Publié: (2024)
Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control
par: Wang, Hao, et autres
Publié: (2026)
par: Wang, Hao, et autres
Publié: (2026)
Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
par: Doering, Andreas, et autres
Publié: (2023)
par: Doering, Andreas, et autres
Publié: (2023)
Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
par: Zhang, Zhiquan, et autres
Publié: (2025)
par: Zhang, Zhiquan, et autres
Publié: (2025)
Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
par: Safari, Amirsaeid, et autres
Publié: (2024)
par: Safari, Amirsaeid, et autres
Publié: (2024)
ManeuverGPT Agentic Control for Safe Autonomous Stunt Maneuvers
par: Azdam, Shawn, et autres
Publié: (2025)
par: Azdam, Shawn, et autres
Publié: (2025)
SwordRiding: A Unified Navigation Framework for Quadrotors in Unknown Complex Environments via Online Guiding Vector Fields
par: Liu, Xuchen, et autres
Publié: (2025)
par: Liu, Xuchen, et autres
Publié: (2025)
Disentangling Uncertainty for Safe Social Navigation using Deep Reinforcement Learning
par: Flögel, Daniel, et autres
Publié: (2024)
par: Flögel, Daniel, et autres
Publié: (2024)
Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers
par: Gupta, Aryaman, et autres
Publié: (2023)
par: Gupta, Aryaman, et autres
Publié: (2023)
Documents similaires
-
One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
par: Lin, Albert, et autres
Publié: (2024) -
A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
par: Tayal, Manan, et autres
Publié: (2025) -
Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
par: Wang, Hao, et autres
Publié: (2025) -
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
par: Lin, Albert, et autres
Publié: (2023) -
DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
par: Borquez, Javier, et autres
Publié: (2025)