A Layered Framework for Formation Control of Multiple Underactuated Autonomous Underwater Vehicles (IET Control Theory & Applications, 2026)