Abstract

Ship-to-shore delivery provides a useful test of mission assurance because route choice, model inference, cargo receipt, and recovery have different evidence requirements. Public MissionOS studies progressed from PX4/Gazebo wait-versus-detour comparisons to image-based uncertainty gates and native AeroVLA/ANWM integration. A synthetic uncertainty study gained eight successful conditions among 7,560 without losing baseline successes, but the corresponding six-flight onboard comparison showed no additional completions. Native integration subsequently completed a targeted 1 km mission and three separately declared 100 m conditions on the same final implementation, following multiple preserved failures. This article treats these results as distinct studies rather than a pooled measure of AI superiority or operational reliability.

Keywords / maritime robotics · mission assurance · VLA · world models · comparators · PX4 · simulation

1. Research design and authority

The mission begins on a stationary ship, crosses water, chooses how to pass an urban obstacle, delivers a synthetic parcel, and returns. The research question has two parts: can a decision method improve a well-defined comparator, and can native models participate correctly in the execution chain? A system may satisfy the second without demonstrating the first. MissionOS keeps prior approval, model proposal, Rules admission, execution acknowledgement, observed movement, receipt, and recovery as separate facts. [1] [5]

Early experiments used simulator obstacle positions; later studies used captured RGB and onboard images. These are different observation contracts. Route lengths, timing conventions, implementation versions, and candidate sets also change between studies, so their denominators must remain local to each protocol.

2. Establishing useful comparators

Four final-implementation PX4/Gazebo trials compared waiting and detouring under short and long blockage. Waiting took 57.3 wall seconds under short blockage versus 86.2 for detouring; under long blockage, waiting took 142.2 versus 105.7 for detouring. All four completed separately verified delivery and recovery. The comparison interval ran from urban-entry hold to low-altitude destination hold, excluding cargo contact and return. There was one trial per candidate, so the differences are observations, not statistical superiority. A simple speed rule selected the faster option in both conditions. [1]

A camera diagnostic then used twenty-one Gazebo RGB images across three motion conditions. Five past images per condition were supplied equally to four rules. A deceleration-aware rule selected the analytically best candidate in all three, while a constant-speed rule incorrectly favored waiting when the obstacle slowed to a stop. These were offline proposals and analytical route costs, not dispatched flights. [2]

A separate 192-condition headroom screen found that a simple remaining-time rule and a zero-latency future-knowing oracle both reached 134 conditions. The other fifty-eight remained in the denominator. Assuming 41.19 seconds of processing wait reduced even the oracle to 56/192. No model ran in this screen; it is a sensitivity analysis showing why prediction latency and available outcome headroom belong in experiment admission. [3]

3. Uncertainty gates: benefit and non-transfer

With two dynamic routes, a conservative departure-only gate improved synthetic success from 7,092/7,560 to 7,100/7,560: eight gains and no lost baseline successes, approximately 0.106 percentage points. Gains occurred only when observed motion continued; unexpected changes yielded no added successes. The common-success subset was approximately 0.039 s slower on average. Allowing later replanning yielded the same eight gains but lost three successes, exposing the cost of incomplete motion hypotheses and route-switching delays. [4]

The onboard follow-up used three conditions and two methods, six flights in total. Every flight verified delivery and recovery, and all three route choices matched the ordinary rule when rescored on the same candidate-side images. The eight synthetic gains therefore did not transfer into an observed completion gain. A separate return to the original 1 km offshore distance first failed camera/heading calibration; after a distinct repair, one full mission completed. That pair remains one completion in two attempts, separate from the six-flight comparison. VLA and WAM were absent from these uncertainty flights. [6]

4. Native-model integration and preserved cohorts

Native AeroVLA and ANWM were then connected sequentially. The final role was a short level-inspection segment, with vertical proposals limited to about ±0.204 m. A repaired image reader associates the target with its projected pre-inference RGBD cross-section rather than globally ranking warm-colored regions. Independent bounds remained 5 m position error, 75 s WAM exchange, and 2 s dispatch freshness. The waypoint named urban entry was thirty metres before the coastline, and models ran on a cloud GPU with VLA warmup before takeoff. [5]

Separate frozen implementation cohorts; attempted and planned counts are retained
CohortAttempted / plannedVerified integration
Original4 / 43
Association repair3 / 42
Acknowledgement repair4 / 43
Action syntax1 / 40
Level inspection3 / 42
Canonical numbers; targeted 1 km1 / 11
Same final code; 100 m follow-up3 / 33

Failures included ambiguous target association, an acknowledgement arriving 1.779 ms after the selected state sample, malformed native output, an independently vetoed descent, and cross-platform permit differences as small as 1.11 × 10−16 m. Each repair changed the tested implementation; unattempted conditions were never counted as passes. Generation-time constraints changed permissible outputs without rewriting returned values. Canonical numerical serialization repaired reproducibility without relaxing exact permit verification. [5]

The targeted final 1 km flight recorded 2.905 m VLA movement, 0.659 m WAM position error, a 50.146 s WAM exchange, and 685.140 s elapsed time. Three subsequent 100 m conditions on unchanged code verified integration, delivery, and recovery separately. Their WAM errors were 0.630, 0.205, and 2.333 m. These constitute two cohorts, not one four-flight experiment. [5]

5. Interpretation and unresolved boundaries

The studies demonstrate why integration success and comparative value need separate tests. A conservative synthetic gate produced a small bounded gain; an onboard comparison found equal outcomes; native models then participated in verified simulated missions under a constrained task. None implies general perception or superiority over a conventional controller.

A subsequent urban-only loop exercised seventeen CPU process/HTTP conditions, with one expected normal completion and sixteen expected refusals. It did not connect native VLA/WAM and PX4, so the earlier coastal decision cannot certify repeated in-city inference. All delivery evidence remains one aircraft, a stationary ship, mapped geometry, and synthetic obstacles. Moving decks, general image perception, calibrated strong winds, ten-aircraft operation, physical delivery, and energy savings remain unverified. Public summaries and hashes support inspection, but private raw archives are required for full record-level reproduction. [5] [7]

References & evidence

  1. Ship-to-shore wait-versus-detour flightsFour matched candidate flights; worker wall-time comparison and separate delivery/recovery verification.
  2. RGB obstacle-motion diagnosticTwenty-one fixed-camera images, common-input rules, analytical costs, no dispatch.
  3. CPU headroom screen before WAM evaluation192 evaluation conditions, saturated baseline, and processing-wait sensitivity.
  4. Uncertainty-aware route decisions7,560 new synthetic conditions; eight gains, no losses for departure-only gate; later replanning failures.
  5. Native VLA and WAM integrationSeven preserved cohorts, exact final measurements, decoder/ACK/grammar/numeric repairs.
  6. Onboard uncertainty gate and 1 km repairSix-flight comparison with equal outcomes and separate failed/successful original-distance attempts.
  7. Urban-only repeated-decision controllerSeventeen CPU fixture cases; no native-model/PX4 repeated urban flight.
Published as part of the Astropome AI research collection. Article source · Browse all research ↗