:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Thapliyal, Omanshu, Sankaranarayanasamy, Malarvizhi, Vennelakanti, Ravigopal
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Robotics
Online Access:	https://arxiv.org/abs/2604.26899
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Algorithm for Distributed Computation of Reachable Sets for Multi-Agent Systems
by: Thapliyal, Omanshu, et al.
Published: (2024)

Direct Data-Driven Discrete-time Bilinear Biquadratic Regulator
by: Clarke, Shanelle G., et al.
Published: (2022)

Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
by: Yang, Rui, et al.
Published: (2025)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

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

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

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

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

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)

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

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

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)

Reachable Sets-based Trajectory Planning Combining Reinforcement Learning and iLQR
by: Huang, Wenjie, et al.
Published: (2025)

DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
by: Yang, Rui, et al.
Published: (2026)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
by: Fang, Jeffrey, et al.
Published: (2026)

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

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
by: Singh, Aditya, et al.
Published: (2024)

Safe Navigation in Dynamic Environments using Density Functions
by: Narayanan, Sriram S. K. S, et al.
Published: (2024)

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

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

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes
by: Shen, Henghua, et al.
Published: (2025)

Stochastic COLREGs Evaluation for Safe Navigation under Uncertainty
by: Hansen, Peter Nicholas, et al.
Published: (2024)

Real-Time Safe Bipedal Robot Navigation using Linear Discrete Control Barrier Functions
by: Peng, Chengyang, et al.
Published: (2024)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
by: Safari, Amirsaeid, et al.
Published: (2024)

Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
by: Agrawal, Devansh R., et al.
Published: (2025)

Disentangling Uncertainty for Safe Social Navigation using Deep Reinforcement Learning
by: Flögel, Daniel, et al.
Published: (2024)

Digital Twin for Autonomous Surface Vessels: Enabler for Safe Maritime Navigation
by: Menges, Daniel, et al.
Published: (2024)

Egocentric Conformal Prediction for Safe and Efficient Navigation in Dynamic Cluttered Environments
by: Shin, Jaeuk, et al.
Published: (2025)

Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
by: Long, Kehan, et al.
Published: (2024)

Dynamically Feasible Path Planning in Cluttered Environments via Reachable Bezier Polytopes
by: Csomay-Shanklin, Noel, et al.
Published: (2024)

LLM-Enhanced Path Planning: Safe and Efficient Autonomous Navigation with Instructional Inputs
by: Doma, Pranav, et al.
Published: (2024)

Gaussian Process Implicit Surfaces as Control Barrier Functions for Safe Robot Navigation
by: Khan, Mouhyemen, et al.
Published: (2025)

CN-CBF: Composite Neural Control Barrier Function for Safe Robot Navigation in Dynamic Environments
by: Derajić, Bojan, et al.
Published: (2026)

Decentralized Contingency MPC based on Safe Sets for Nonlinear Multi-agent Collision Avoidance
by: Studt, Max, et al.
Published: (2026)

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2026)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

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

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

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

Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
by: Kim, Joonkyung, et al.
Published: (2026)