Pith. sign in

REVIEW 2 cited by

Towards Open-Source and Modular Space Systems with ATMOS

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 2501.16973 v2 pith:3LMVKVOX submitted 2025-01-28 cs.RO

Towards Open-Source and Modular Space Systems with ATMOS

classification cs.RO
keywords resultsspaceautonomoushardwaresoftwarecontrolmodularopen-source
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

In the near future, autonomous space systems will compose many of the deployed spacecraft. Their tasks will involve autonomous rendezvous and proximity operations with large structures, such as inspections, assembly, and maintenance of orbiting space stations, as well as human-assistance tasks over shared workspaces. To promote replicable and reliable scientific results for autonomous control of spacecraft, we present the design of a space robotics laboratory based on open-source and modular software and hardware. The simulation software provides a software-in-the-loop architecture that seamlessly transfers simulated results to the hardware. Our results provide an insight into such a system, including comparisons of hardware and software results, as well as control and planning methodologies for controlling free-flying platforms.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

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

  1. Marinarium: A Modular Experimental Facility for Reproducible Maritime and Space-Analog Field Robotics

    cs.RO 2026-02 conditional novelty 6.0

    A modular indoor water tank with dual motion capture, a digital twin, and a space-lab link demonstrates four experiments bridging maritime and space field robotics.

  2. Temporal logics and formal synthesis for robot planning and control

    cs.RO 2026-06 unverdicted novelty 2.0

    This survey presents temporal logics as expressive specification languages and outlines formal synthesis techniques from discrete to continuous methods for robot planning and control, while noting real-world deploymen...