Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency

πŸ“… 2026-02-28
πŸ“ˆ Citations: 0
✨ Influential: 0
πŸ“„ PDF
πŸ€– AI Summary
This work proposes a dynamic mapping approach based on disturbance robustness equivalence to address validation discrepancies between underwater testing and actual space missions caused by dynamical differences. By simulating microgravity conditions in a near-neutral buoyancy underwater environment, the method integrates signal temporal logic task specifications, disturbance robustness optimization, closed-loop spacecraft dynamics control, and online disturbance estimation to construct underwater validation tasks that exhibit equivalent robustness to their space counterparts. The framework is experimentally validated using both an underwater robotic platform and a high-fidelity planar spacecraft/CubeSat simulator. Results demonstrate that the proposed approach effectively reproduces the behavioral characteristics of real space missions, thereby ensuring the fidelity and validity of ground-based verification for on-orbit operations.

Technology Category

Application Category

πŸ“ Abstract
We present an experimental validation framework for space robotics that leverages underwater environments to approximate microgravity dynamics. While neutral buoyancy conditions make underwater robotics an excellent platform for space robotics validation, there are still dynamical and environmental differences that need to be overcome. Given a high-level space mission specification, expressed in terms of a Signal Temporal Logic specification, we overcome these differences via the notion of maximal disturbance robustness of the mission. We formulate the motion planning problem such that the original space mission and the validation mission achieve the same disturbance robustness degree. The validation platform then executes its mission plan using a near-identical control strategy to the space mission where the closed-loop controller considers the spacecraft dynamics. Evaluating our validation framework relies on estimating disturbances during execution and comparing them to the disturbance robustness degree, providing practical evidence of operation in the space environment. Our evaluation features a dual-experiment setup: an underwater robot operating under near-neutral buoyancy conditions to validate the planning and control strategy of either an experimental planar spacecraft platform or a CubeSat in a high-fidelity space dynamics simulator.
Problem

Research questions and friction points this paper is trying to address.

space robotics
underwater validation
disturbance robustness
microgravity simulation
mission validation
Innovation

Methods, ideas, or system contributions that make the work stand out.

disturbance robustness
underwater validation
space robotics
Signal Temporal Logic
motion planning
πŸ”Ž Similar Papers
No similar papers found.
Joris Verhagen
Joris Verhagen
Ph.D. candidate, KTH
Motion-planningMulti-Agent SystemsFormal Methods
E
Elias Krantz
School of Engineering Sciences, KTH Royal Institute of Technology, Stockholm, Sweden
Chelsea Sidrane
Chelsea Sidrane
Postdoc, KTH
artificial intelligencemachine learningroboticsverificationcontrol theory
D
David DΓΆrner
School of Engineering Sciences, KTH Royal Institute of Technology, Stockholm, Sweden
Nicola De Carli
Nicola De Carli
KTH Royal Institute of Technology
Multi-robot systemsnonlinear controlobserver design
Pedro Roque
Pedro Roque
Caltech, EAS - Burdick Lab
RoboticsControlMulti-Agent Systems
H
Huina Mao
School of Engineering Sciences, KTH Royal Institute of Technology, Stockholm, Sweden
G
Gunnar Tibert
School of Engineering Sciences, KTH Royal Institute of Technology, Stockholm, Sweden
Ivan Stenius
Ivan Stenius
Associate professor Naval Architecture, KTH
maritime roboticshydrobaticsfluid-structure interactionunderwater technologyunder actuated dynamical systems
C
Christer Fuglesang
School of Engineering Sciences, KTH Royal Institute of Technology, Stockholm, Sweden
Dimos Dimarogonas
Dimos Dimarogonas
KTH Royal Institute of Technology
ControlRoboticsAutonomous Systems
Jana Tumova
Jana Tumova
KTH
formal methodsrobotics