ArXiv

Retriever: Composing Closed-Loop Asynchronous Robot Programs

Authors
Linfeng Zhao, Haojie Huang, Jiayuan Mao...
Categories
cs.RO
arXiv
https://arxiv.org/abs/2607.17213v1
PDF
https://arxiv.org/pdf/2607.17213v1

Brief

Retriever presents a full-stack approach to composing closed-loop asynchronous robot programs by representing perception, belief update, planning, and control as graphs of stateful causal stream functions on explicit run clocks. The authors formalize an asynchronous environment–agent loop over continuous-time streams, implement a compiler/runtime with multiple backends that enables deterministic replay and debugging, and validate the system on a real-robot case study and controlled runtime/replay experiments.

Why it matters

Retriever (Zhao et al., 2026) models closed-loop robot agents as graphs of stateful causal stream functions executed on explicit run clocks and formalizes an asynchronous environment–agent loop over continuous-time streams, showing that finite-memory causal policies can be represented by compositions of these operators.

Key details

  • Retriever compiles these graphs to a runtime with multiple backends that supports deterministic replay from logged asynchronous data, systematic debugging, and was evaluated via a real-robot case study plus controlled studies of runtime overhead and replay behavior; paper on arXiv:2607.17213v1 (2026-07-19) and code at retriever.systems / openretriever.org.
Source evidence

Abstract

Building long-horizon robot agents requires composing closed-loop pipelines -- perception, belief update, planning, and control -- whose components run at different clocks and with variable latency. Today, these systems are often assembled with ad-hoc concurrency and pub/sub conventions that make timing and input-consumption semantics implicit, yielding schedule-dependent behavior that is hard to reproduce, debug, and reuse. Current solutions typically solve parts of this problem at either the algorithmic or the systems layer, but not both. In this work, we propose Retriever, which spans the entire stack: an asynchronous decision model, a programming model, a runtime, and an example closed-loop agent pipeline. Retriever represents an agent as a graph of stateful causal stream functions executed on explicit run clocks. We formalize this view via an asynchronous environment-agent loop over continuous-time streams and show that finite-memory causal policies can be represented by compositions of these operators. Retriever compiles these graphs into a runtime that supports multiple backends, enabling systematic debugging across running environments and deterministic replay from logged asynchronous data. We evaluate Retriever through a real-robot case study together with controlled studies of runtime overhead and deterministic replay behavior.

Comment: Project website: http://retriever.systems; Package open-source website: http://openretriever.org