Copertina

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Singh, Aditya, Feng, Zeyuan, Bansal, Somil
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Robotics Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
di: Feng, Zeyuan, et al.
Pubblicazione: (2025)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
di: Borquez, Javier, et al.
Pubblicazione: (2022)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
di: Lin, Albert, et al.
Pubblicazione: (2023)

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
di: Thorup, Santiago, et al.
Pubblicazione: (2026)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
di: Borquez, Javier, et al.
Pubblicazione: (2023)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
di: Chakraborty, Kaustav, et al.
Pubblicazione: (2025)

Reachability Analysis for Black-Box Dynamical Systems
di: Chilakamarri, Vamsi Krishna, et al.
Pubblicazione: (2024)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
di: Lin, Albert, et al.
Pubblicazione: (2025)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
di: Wang, Hao, et al.
Pubblicazione: (2025)

Providing Safety Assurances for Systems with Unknown Dynamics
di: Wang, Hao, et al.
Pubblicazione: (2024)

Cooptimizing Safety and Performance with a Control-Constrained Formulation
di: Wang, Hao, et al.
Pubblicazione: (2024)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
di: Borquez, Javier, et al.
Pubblicazione: (2023)

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
di: Borquez, Javier, et al.
Pubblicazione: (2025)

Boundary Sampling to Learn Predictive Safety Filters via Pontryagin's Maximum Principle
di: Dallas, James, et al.
Pubblicazione: (2026)

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
di: Tayal, Manan, et al.
Pubblicazione: (2025)

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
di: Chakraborty, Kaustav, et al.
Pubblicazione: (2022)

Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control
di: Wang, Hao, et al.
Pubblicazione: (2026)

SAFE-GIL: SAFEty Guided Imitation Learning for Robotic Systems
di: Ciftci, Yusuf Umut, et al.
Pubblicazione: (2024)

MADR: MPC-guided Adversarial DeepReach
di: Teoh, Ryan, et al.
Pubblicazione: (2025)

From Words to Safety: Language-Conditioned Safety Filtering for Robot Navigation
di: Feng, Zeyuan, et al.
Pubblicazione: (2025)

One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
di: Lin, Albert, et al.
Pubblicazione: (2024)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
di: Bajcsy, Andrea, et al.
Pubblicazione: (2019)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
di: Sharpless, William, et al.
Pubblicazione: (2024)

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
di: Xia, Xingpeng, et al.
Pubblicazione: (2024)

Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
di: Jeong, Hyun Joe, et al.
Pubblicazione: (2024)

Deep QP Safety Filter: Model-free Learning for Reachability-based Safety Filter
di: Kim, Byeongjun, et al.
Pubblicazione: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
di: Arfvidsson, Kaj Munhoz, et al.
Pubblicazione: (2024)

Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers
di: Gupta, Aryaman, et al.
Pubblicazione: (2023)

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
di: Chakraborty, Kaustav, et al.
Pubblicazione: (2024)

Safe Navigation using Neural Radiance Fields via Reachable Sets
di: Thapliyal, Omanshu, et al.
Pubblicazione: (2026)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
di: Muenprasitivej, Kasidit, et al.
Pubblicazione: (2026)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
di: Parameshwaran, Aditya, et al.
Pubblicazione: (2024)

Dynamic Tube MPC: Learning Tube Dynamics with Massively Parallel Simulation for Robust Safety in Practice
di: Compton, William D., et al.
Pubblicazione: (2024)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
di: Chung, Long Kiu, et al.
Pubblicazione: (2024)

Goal-Conditioned Neural ODEs with Guaranteed Safety and Stability for Learning-Based All-Pairs Motion Planning
di: Liu, Dechuan, et al.
Pubblicazione: (2026)

NeuroHJR: Hamilton-Jacobi Reachability-based Obstacle Avoidance in Complex Environments with Physics-Informed Neural Networks
di: Halder, Granthik, et al.
Pubblicazione: (2025)

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
di: Hui, Larry, et al.
Pubblicazione: (2026)

Reachability-Aware Time Scaling for Path Tracking
di: Gholampour, Hossein, et al.
Pubblicazione: (2026)

Neural Control Barrier Functions from Physics Informed Neural Networks
di: Agrawal, Shreenabh, et al.
Pubblicazione: (2025)

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
di: Makkapati, Venkata Ramana, et al.
Pubblicazione: (2025)