Pith. sign in

REVIEW 1 cited by

Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2505.06787 v5 pith:YMOFOJLC submitted 2025-05-10 cs.RO cs.SYeess.SY

classification cs.ROcs.SYeess.SY
keywords environmentlaboratorytestbedtestingvalidationvesselalgorithmsbasin
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

The algorithms developed for Maritime Autonomous Surface Ships (MASS) are often challenging to test on actual vessels due to high operational costs and safety considerations. Simulations offer a cost-effective alternative and eliminate risks, but they may not accurately represent real-world dynamics for the given tasks. Utilizing small-scale model ships and robotic vessels in conjunction with a laboratory basin provides an accessible testing environment for the early stages of validation processes. However, designing and developing a model vessel for a single test can be costly and cumbersome, and researchers often lack access to such infrastructure. To address these challenges and enable streamlined testing, we have developed an in-house testbed that facilitates the development, testing, verification, and validation of MASS algorithms in a digital-physical laboratory. This infrastructure includes a set of small-scale model vessels, a simulation environment for each vessel, a comprehensive testbed environment, and a digital twin in Unity. With this, we aim to establish a full design and verification pipeline that starts from low-fidelity and moves up to high-fidelity simulation models of each vessel, and thereby to the model-scale testing of the vessel in the laboratory basin. Further advancement allows moving towards semi-full-scale validation with R/V milliAmpere1 and full-scale validation with R/V Gunnerus. In this work, we present our progress on the development of this testbed environment and its components, demonstrating its effectiveness in enabling ship autonomy guidance, navigation, and control (GNC) algorithms.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

    cs.LO 2025-11 conditional novelty 6.0 of 10

    pacSTL composes PAC-bounded reachable sets with interval STL to compute spec-level robustness intervals that contain an unseen trajectory's robustness with probability ≥ 1−ε.

Pith tools