:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Faraci, Tommaso, Lampariello, Roberto
Format:	Preprint
Published:	2025
Subjects:	Robotics Systems and Control
Online Access:	https://arxiv.org/abs/2503.16935
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cooperative Integrated Estimation-Guidance for Simultaneous Interception of Moving Targets
by: Gopikannan, Lohitvel, et al.
Published: (2025)

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

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

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

Predefined-time One-Shot Cooperative Estimation, Guidance, and Control for Simultaneous Target Interception
by: Gopikannan, Lohitvel, et al.
Published: (2026)

Variable Time-Step MPC for Agile Multi-Rotor UAV Interception of Dynamic Targets
by: Ghotavadekar, Atharva, et al.
Published: (2025)

Self-organizing Multiagent Target Enclosing under Limited Information and Safety Guarantees
by: Ranjan, Praveen Kumar, et al.
Published: (2024)

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

Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2025)

Engagement-Zone-Aware Input-Constrained Guidance for Safe Target Interception in Contested Environments
by: Ranjan, Praveen Kumar, et al.
Published: (2026)

NMPC-based Motion Planning with Adaptive Weighting for Dynamic Object Interception
by: Cai, Chen, 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)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
by: Lee, Kooktae
Published: (2026)

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

PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
by: Fronda, Nicole, et al.
Published: (2025)

Scenario-aware Uncertainty Quantification for Trajectory Prediction with Statistical Guarantees
by: Shu, Yiming, et al.
Published: (2025)

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

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

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

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

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

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

Learning Robust Agile Flight Control with Stability Guarantees
by: Pries, Lukas, et al.
Published: (2025)

Robustified Time-optimal Point-to-point Motion Planning and Control under Uncertainty
by: Zhang, Shuhao, et al.
Published: (2025)

Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
by: Enwerem, Clinton, et al.
Published: (2026)

Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
by: Xuan, Zetong, et al.
Published: (2024)

Guaranteed Rejection-free Sampling Method Using Past Behaviours for Motion Planning of Autonomous Systems
by: Enevoldsen, Thomas T., et al.
Published: (2021)

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)

Safe Navigation under State Uncertainty: Online Adaptation for Robust Control Barrier Functions
by: Das, Ersin, 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)

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

Safety-Critical Input-Constrained Nonlinear Intercept Guidance in Multiple Engagement Zones
by: Ranjan, Praveen Kumar, et al.
Published: (2025)

Real-Time Sampling-based Online Planning for Drone Interception
by: Ryou, Gilhyun, et al.
Published: (2025)

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

Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds
by: Schitz, Philipp, et al.
Published: (2026)

Consensus-driven Deviated Pursuit for Guaranteed Simultaneous Interception of Moving Targets
by: Sinha, Abhinav, et al.
Published: (2024)

Safe and Near-Optimal Control with Online Dynamics Learning
by: Prajapat, Manish, et al.
Published: (2025)

A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception
by: Ke, Chenxu, et al.
Published: (2025)