Search papers, labs, and topics across Lattice.
The paper introduces CORAL, a hierarchical framework for autonomous underwater vehicle (AUV) navigation that combines vision-language models (VLMs) for high-level semantic reasoning with a dynamics-based planner for low-level reactive control. CORAL addresses limitations of end-to-end VLM-driven systems by decoupling waypoint selection (VLM) from collision-free execution (planner), incorporating a geometric verification module for replanning. Experiments demonstrate that CORAL significantly improves coverage (14.28%), eliminates collisions, and reduces VLM calls (57%) compared to state-of-the-art methods in underwater monitoring scenarios.
Autonomous underwater vehicles can now navigate complex environments more effectively by combining the reasoning of vision-language models with dynamics-aware planning, achieving better coverage and zero collisions.
Oyster reefs are critical ecosystem species that sustain biodiversity, filter water, and protect coastlines, yet they continue to decline globally. Restoring these ecosystems requires regular underwater monitoring to assess reef health, a task that remains costly, hazardous, and limited when performed by human divers. Autonomous underwater vehicles (AUVs) offer a promising alternative, but existing AUVs rely on geometry-based navigation that cannot interpret scene semantics. Recent vision-language models (VLMs) enable semantic reasoning for intelligent exploration, but existing VLM-driven systems adopt an end-to-end paradigm, introducing three key limitations. First, these systems require the VLM to generate every navigation decision, forcing frequent waits for inference. Second, VLMs cannot model robot dynamics, causing collisions in cluttered environments. Third, limited self-correction allows small deviations to accumulate into large path errors. To address these limitations, we propose CORAL, a framework that decouples high-level semantic reasoning from low-level reactive control. The VLM provides high-level exploration guidance by selecting waypoints, while a dynamics-based planner handles low-level collision-free execution. A geometric verification module validates waypoints and triggers replanning when needed. Compared with the previous state-of-the-art, CORAL improves coverage by 14.28% percentage points, or 17.85% relatively, reduces collisions by 100%, and requires 57% fewer VLM calls.
